1073 search results - page 113 / 215 » Formal Program Development with Approximations |
130
click to vote
SAS
1997
Springer
15 years 6 months ago
1997
Springer
We present a type-based flow analysis for simply typed lambda calculus with booleans, data-structures and recursion. The analysis is exact in the following sense: if the analysis ...
124
click to vote
FMCO
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
142
Voted
AAAI
2007
15 years 4 months ago
2007
General Game Playing (GGP) is the art of designing programs that are capable of playing previously unknown games of a wide variety by being told nothing but the rules of the game....
168
Voted
CORR
2010
Springer
15 years 26 days ago
2010
Springer
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
115
click to vote
SBMF
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. In the context of the EU project Mobius on Proof Carrying Code for Java programs (midlets) on mobile devices, we present a way to express midlet navigation graphs in JML....