Size-based termination of higher-order rewriting. (19th April 2018)
- Record Type:
- Journal Article
- Title:
- Size-based termination of higher-order rewriting. (19th April 2018)
- Main Title:
- Size-based termination of higher-order rewriting
- Authors:
- BLANQUI, FRÉDÉRIC
- Abstract:
- Abstract: We provide a general and modular criterion for the termination of simply typed λ-calculus extended with function symbols defined by user-defined rewrite rules. Following a work of Hughes, Pareto and Sabry for functions defined with a fixpoint operator and pattern matching, several criteria use typing rules for bounding the height of arguments in function calls. In this paper, we extend this approach to rewriting-based function definitions and more general user-defined notions of size.
- Is Part Of:
- Journal of functional programming. Volume 28(2018)
- Journal:
- Journal of functional programming
- Issue:
- Volume 28(2018)
- Issue Display:
- Volume 28, Issue 2018 (2018)
- Year:
- 2018
- Volume:
- 28
- Issue:
- 2018
- Issue Sort Value:
- 2018-0028-2018-0000
- Page Start:
- Page End:
- Publication Date:
- 2018-04-19
- Subjects:
- Functional programming (Computer science) -- Periodicals
- Journal URLs:
- http://journals.cambridge.org/action/displayJournal?jid=JFP ↗
http://firstsearch.oclc.org ↗ - DOI:
- 10.1017/S0956796818000072 ↗
- Languages:
- English
- ISSNs:
- 0956-7968
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library STI - ELD Digital store
- Ingest File:
- 6204.xml