5 search results - page 1 / 1 » A Type Theory for Krivine-Style Evaluation and Compilation |
APLAS
2004
ACM
13 years 10 months ago
2004
ACM
POPL
2010
ACM
14 years 2 months ago
2010
ACM
Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and per...
PEPM
2010
ACM
14 years 1 months ago
2010
ACM
Adapting a strictness analyser to have it take into account explicit strictness annotations can be a tricky business. Straightforward extensions of analyses based on relevance typ...
POPL
2006
ACM
14 years 5 months ago
2006
ACM
Web applications typically interact with a back-end database to retrieve persistent data and then present the data to the user as dynamically generated output, such as HTML web pa...
POPL
2004
ACM
14 years 5 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...