Apt, K.R., Schaerf, A.: The Alma project, or how first order logic can help us in imperative programming. In: Correct System Design. Number 1710 in LNCS, Springer (1999) 89--113 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Turtle: A Constraint Imperative Programming Language - Grabmüller, Hofstedt (2003) (Correct)
No context found.
Apt, K.R., Schaerf, A.: The Alma project, or how first order logic can help us in imperative programming. In: Correct System Design. Number 1710 in LNCS, Springer (1999) 89--113
Constraint Imperative Programming with Higher-Order Functions - Grabmüller (2003) (Correct)
No context found.
Apt, K.R., Schaerf, A.: The Alma project, or how first order logic can help us in imperative programming. In: Correct System Design. Number 1710 in LNCS, Springer (1999) 89--113
Implementing Constraint Imperative Languages with Higher-Order.. - Grabmüller (2003) (Correct)
No context found.
Apt, K.R., Schaerf, A.: The Alma project, or how first order logic can help us in imperative programming. In: Correct System Design. Number 1710 in LNCS, Springer (1999) 89--113
The Constraint Imperative Programming Language Turtle - Grabmüller (2003) (Correct)
No context found.
Apt, K.R., Schaerf, A.: The Alma project, or how first order logic can help us in imperative programming. In: Correct System Design. Number 1710 in LNCS, Springer (1999) 89--113
Turtle: A Constraint Imperative Programming Language - Grabmüller, Hofstedt (2003) (Correct)
No context found.
K. R. Apt and A. Schaerf. The Alma project, or how first order logic can help us in imperative programming. In Correct System Design, number 1710 in LNCS, pages 89--113. Springer, 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC