H. Kirchner and P.E. Moreau "Non-deterministic Computations in ELAN" Recent Developements in Algebraic Specification Techniques, Proc. 13th WADT'98, Selected Papers. J.L. Fiadeiro editor, LNCS 1589, pp. 168-182, 1999.
(1999) |
Languages mentioned
- Elan {1998} Constraint logic program
|
|