10048 search results - page 96 / 2010 » The Structure and Performance of Interpreters |
CALCO
2005
Springer
14 years 2 months ago
2005
Springer
This paper provides a general account of the notion of recursive program schemes, studying both uninterpreted and interpreted solutions. It can be regarded as the category-theoret...
LICS
2009
IEEE
14 years 3 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. ...
CAD
2005
Springer
13 years 9 months ago
2005
Springer
Current methods for recognition and interpretation of architectural drawings are limited to either low-level analysis of paper drawings or interpretation of electronic drawings th...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
This paper presents the architecture and characteristics of a memory database intended to be used as a cache engine for web applications. Primary goals of this database are speed a...
ISSTA
1993
ACM
14 years 1 months ago
1993
ACM
Mutation analysis is a powerful technique for assessing and improving the quality of test data used to unit test software. Unfortunately, current automated mutation analysis syste...