1416 search results - page 28 / 284 » An Exact Interpretation of While |
WSCG
2000
13 years 10 months ago
2000
Computer assisted image fusion provides an easy and accurate way to interpret and compare medical image pairs. Subjective expectations of human interpretator become less important...
BSL
2007
13 years 8 months ago
2007
We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions (dssi). As our ...
JLP
2006
13 years 8 months ago
2006
We investigate the connections between the process algebra for hybrid systems of Bergstra and Middelburg and the formalism of hybrid automata of Henzinger et al. We give interpreta...
TRIER
2002
13 years 8 months ago
2002
Constant propagation aims at identifying expressions that always yield a unique constant value at run-time. It is well-known that constant propagation is undecidable for programs w...
CIE
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. We study a realisability interpretation for inductive and coinductive definitions and discuss its application to program extraction from proofs. A speciality of this inte...