A New Criterion for Safe Program Transformations

DOI10.1016/S1571-0661(04)80871-5zbMath1262.68101MaRDI QIDQ4921507

Yasuhiko Minamide, Presto

Publication date: 10 May 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55)

Uses Software

• NESL
• TIL

Cites Work

• Unnamed Item
• Unnamed Item
• TIL
• A provable time and space efficient implementation of NESL
• Type inference with rank 1 polymorphism for type-directed compilation of ML
• Representing Control: a Study of the CPS Transformation
• Flexible representation analysis
• On the runtime complexity of type-directed unboxing

This page was built for publication: A New Criterion for Safe Program Transformations