4690 search results - page 44 / 938 » An operational semantics for Scheme |
AMAST
2008
Springer
14 years 2 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 ...
ENTCS
2006
13 years 10 months ago
2006
We develop a domain theory for treating recursive types with respect to contextual equivalence. The principal approach taken here deviates from classical domain theory in that we ...
IDEAS
2003
IEEE
14 years 3 months ago
2003
IEEE
In the context of information system engineering, we propose a four-layer metamodeling architecture with a comprehensive set of operations on metamodels. Our architecture enables ...
TPHOL
2007
IEEE
14 years 4 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...
ICIP
1999
IEEE
14 years 2 months ago
1999
IEEE
This paper proposes two DSs to describe the visual information of an AV document. The first one, is devoted to still images. It describes the image visual appearance and its struc...