106 search results - page 14 / 22 » Verification of Hybrid Systems via Mathematical Programming |
80
Voted
SEFM
2007
IEEE
15 years 6 months ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
ESOP
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
Software construction has typically drawn on engineering metaphors like building bridges or cathedrals, which emphasize architecture, specification, central planning, and determin...
130
Voted
SCP
1998
14 years 11 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
103
Voted
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
We explore partial type-inference for System F based on type-containment. We consider both cases of a purely functional semantics and a call-by-value stateful semantics. To enable...