Sciweavers

947 search results - page 35 / 190
» Declarative Programming in Prolog
Sort
View
80
Voted
LOPSTR
2004
Springer
15 years 3 months ago
Declarative Semantics of Input Consuming Logic Programs
Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been i...
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sa...
64
Voted
ENTCS
2006
111views more  ENTCS 2006»
14 years 9 months ago
A Verified Compiler for Synchronous Programs with Local Declarations
In addition to efficient code generation, causality cycles and schizophrenic statements are major problems for the compilation of synchronous programs. Although these problems are ...
Klaus Schneider, Jens Brandt, Tobias Schüle
ICEIS
2007
IEEE
15 years 4 months ago
Architectural Design via Declarative Programming
Luís Moniz Pereira, Ruben Duarte Viegas