Login / Signup
Compiling (for Validating) Explicit Specifications into Recursive Specifications in Linear Stratified Theories.
Francisco José Galán
José Miguel Cañete
Published in:
APPIA-GULP-PRODE (2002)
Keyphrases
</>
delay insensitive
formal specification
recursive programs
high level
machine learning
social networks
information systems
database
control flow
data structure
formal descriptions
reduced order
linear model
logic programs
face recognition
real world
real time