Login / Signup
Translating Algebraic Specifications to Prolog Programs: A Comparative Study.
Klaus Drosten
Published in:
ALP (1988)
Keyphrases
</>
prolog programs
logic programs
control flow
logic programming
data flow
formal specification
high level
comparative study
delay insensitive
case study
operational semantics
information retrieval
website
specification language
concurrent systems
algebraic expressions