Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 5 of 5 for “"Declarative semantics"”.
-
ULTRA - A Logic Transaction Programming Language
… Formal treatment of the syntax and the declarative semantics
-
Specification, execution and verification of interaction protocols: an approach based on computational logic
… effectively adopted to address such issues: its declarative nature can be exploited for a protocol specification language, while its operational counterpart can be used to reason upon such specifications. In this thesis we propose a proof-theoretic framework, called SCIFF, together with its …
-
Constraint handling rules. Compositional semantics and program transformation
… Rules (CHR). It proposes a compositional semantics and a technique for program transformation. CHR is a concurrent committed-choice constraint logic programming language consisting of guarded rules, which transform multi-sets of atomic formulas (constraints) into simpler ones until …
-
Diseño, semántica y especificación de Babel : un lenguaje que integra la programación funcional y lógica
… ABSTRACT The non purely academic interest for declarative (that is, functional and logical) programming languages has greatly increased since VLSI technology has opened the realistic possibility to built parallel machines capable to execute declarative programs efficiently. Current progress in …