1145 search results - page 149 / 229 » The Correctness of an Optimized Code Generation |
103
click to vote
TPHOL
2007
IEEE
15 years 6 months ago
2007
IEEE
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
GI
2004
Springer
15 years 5 months ago
2004
Springer
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
PLILP
1994
Springer
15 years 3 months ago
1994
Springer
We present a strategy to derive an efficient reference count garbage collector for any applicative program by only modifying it on the source code level. The key to the approach is...
125
click to vote
SANSKRIT
2010
14 years 9 months ago
2010
Sanskrit is very rich in compound formation. Typically a compound does not code the relation between its components explicitly. To understand the meaning of a compound, it is neces...
112
click to vote
FATES
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...