283 search results - page 45 / 57 » Extracting Program Logics From Abstract Interpretations Defi... |
117
click to vote
JFP
2000
15 years 1 months ago
2000
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...
113
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The paper investigates a novel approach, based on Constraint Logic Programming (CLP), to predict the 3D conformation of a protein via fragments assembly. The fragments ar...
125
click to vote
FMCAD
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
112
click to vote
CAEPIA
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. The following problem will be considered: from scattered examples on the behavior of a dynamic system induce a description of the system. For the induced description to b...
106
click to vote
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...