558 search results - page 42 / 112 » Compiling Resources in a Linear Logic Programming Language |
ICMT
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on pattern...
POPL
2008
ACM
14 years 11 months ago
2008
ACM
We propose a characterization of PSPACE by means of a type assignment for an extension of lambda calculus with a conditional construction. The type assignment STAB is an extension...
LICS
2009
IEEE
14 years 5 months ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
SEFM
2005
IEEE
14 years 4 months ago
2005
IEEE
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...
AMAST
2008
Springer
14 years 23 days ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...