Concepts, Techniques, and Models of Computer Programming

By Peter Van Roy, Seif Haridi. 2004

486 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/0c4c84c0cd8080264e2e43029dca366fe33be3ea

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Emina Torlak
2. Daniel Jackson
3. Jasmin Christian Blanchette
4. Darko Marinov
5. J. Kramer
6. Tobias Nipkow
7. Oleksandr Polozov
8. Sarfraz Khurshid

Citations in the corpus

• Kodkod: A Relational Model Finder (2007, background): “Logic programming languages such as Prolog [25] and Oz [26] provide mechanisms for taking advantage of partial knowledge to speed up constraint solving, but they lack quantifiers, relational operators, and transitive closure.”