7892 search results - page 27 / 1579 » Programming with Models |
ESOP
2003
Springer
14 years 1 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 ...
Book
"This book is about data structures and algorithms, intermediate programming in Python, complexity science and the philosophy of science"
POPL
2006
ACM
14 years 8 months ago
2006
ACM
PADL
2004
Springer
14 years 1 months ago
2004
Springer
ECOOP
2003
Springer
14 years 1 months ago
2003
Springer
