39 search results - page 4 / 8 » Semantics of Higher-Order Recursion Schemes |
PICS
2003
13 years 10 months ago
2003
We propose a level-successive encoding scheme for the compression of continuous tone images. The compressed bit stream is partitioned into individual segments corresponding to suc...
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...
LREC
2010
13 years 10 months ago
2010
We provide a robust and detailed annotation scheme for information status, which is easy to use, follows a semantic rather than cognitive motivation, and achieves reasonable inter...
LICS
2008
IEEE
14 years 3 months ago
2008
IEEE
Collapsible pushdown automata (CPDA) are a new kind of higher-order pushdown automata in which every symbol in the stack has a link to a stack situated somewhere below it. In addi...
TPHOL
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...