Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Temporal constraint functional programming

A declarative framework for concurrency and interaction
 
: Graham, N.T.C.

Darlington, J.:
Declarative programming : PHOENIX Seminar and Workshop on Declarative Programming. Sasbachwalden, Black Forest, Germany 18-22 November 1991
London: Springer, 1992 (Workshops in computing)
ISBN: 3-540-19735-4
ISBN: 0-387-19735-4
S.83-100
Phoenix Seminar and Workshop on Declarative Programming <1991, Sasbachwalden>
Englisch
Konferenzbeitrag
Fraunhofer GMD
temporal logic; constraint programming

: http://publica.fraunhofer.de/dokumente/N-40927.html