Computable Stack Functions for Semantics of Stack Programs.

Giorgio Germano Andrea Maggiolo-Schettini

Published in: J. Comput. Syst. Sci. (1979)

Keyphrases

logic programming
information systems
conceptual model
formal semantics
dynamic logic
functional programs
neural network
case study
computer programs
control program
functional language