7892 search results - page 27 / 1579 » Programming with Models |
107
Voted
ESOP
2003
Springer
15 years 7 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
222
click to vote
Book
"This book is about data structures and algorithms, intermediate programming in Python, complexity science and the philosophy of science"
118
Voted
PADL
2004
Springer
15 years 7 months ago
2004
Springer
ECOOP
2003
Springer
15 years 7 months ago
2003
Springer
