From Functional Specifications to Logic Programms.

Michael Gelfond Alfredo Gabaldon

Published in: ILPS (1997)

Keyphrases

deontic logic
delay insensitive
formal specification
high level
real time
knowledge representation
formal semantics
functional requirements
formal language
model checker
asynchronous circuits
functional analysis