Sökning: onr:"swepub:oai:DiVA.org:ltu-24943" >
Positive supercompi...
Positive supercompilation for a higher order call-by-value language : extended proofs
-
- Jonsson, Peter A. (författare)
- Luleå tekniska universitet,EISLAB
-
- Nordlander, Johan (författare)
- Luleå tekniska universitet,Datavetenskap
-
(creator_code:org_t)
- Luleå : Luleå tekniska universitet, 2008
- Engelska 19 s.
- Relaterad länk:
-
https://ltu.diva-por... (primary) (Raw object)
-
visa fler...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- Previous deforestation and supercompilation algorithms may introduce accidental termination when applied to call-by-value programs. This hides looping bugs from the programmer, and changes the behavior of a program depending on whether it is optimized or not. We present a supercompilation algorithm for a higher-order call-by-value language and we prove that the algorithm both terminates and preserves termination properties. This algorithm utilizes strictness information for deciding whether to substitute or not and compares favorably with previous call-by-name transformations.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Dependable Communication and Computation Systems
- Kommunikations- och beräkningssystem
Publikations- och innehållstyp
- vet (ämneskategori)
- rap (ämneskategori)