2291 search results - page 147 / 459 » Logic Programming and Model Checking |
140
click to vote
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
145
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
136
Voted
TSE
2008
15 years 2 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
120
Voted
AAAI
1990
15 years 3 months ago
1990
An equational approach to the synthesis of functional and logic programs is taken. Typically, a target program contains equations that are only true in the standard model of the g...
123
Voted
ICALP
2000
Springer
15 years 6 months ago
2000
Springer
Lax logical relations are a categorical generalisation of logical relations; though they preserve product types, they need not preserve exponential types. But, like logical relatio...