7892 search results - page 27 / 1579 » Programming with Models |
105
click to vote
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
Voted
Book
"This book is about data structures and algorithms, intermediate programming in Python, complexity science and the philosophy of science"
167
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
ECOOP
2003
Springer
15 years 7 months ago
2003
Springer
