Login / Signup
Higher-Order Implementation of Program Transformations using Algebraic Specification.
Francesca Arcelli
Ferrante Formato
Published in:
ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)
Keyphrases
</>
higher order
natural images
specification language
high level programming language
artificial intelligence
expert systems
high order
implementation details
conditional random fields
high level programming
highly modular
program execution
low order
programming language
multiscale
high level
information systems