8132 search results - page 361 / 1627 » Dependability, Abstraction, and Programming |
214
click to vote
MFCS
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We provide concise abstract code for running the Java Virtual Machine (JVM) to execute compiled Java programs, and define a general compilation scheme of Java programs to...
171
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
We present a framework for defining abstract interpreters for liveness properties, in particular program termination. The framework makes use of the theory of metric spaces to defi...
181
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
145
click to vote
ROMAN
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— This paper describes a technical education program for high school students that comprises an image information processing system, stereo vision technology and control ...
148
click to vote
IWPC
2006
IEEE
16 years 25 days ago
2006
IEEE
Gaining an overview of the concepts represented in large programs is very demanding as multiple dimensions of knowledge appear at different abstraction levels throughout the sourc...