Initial Behaviour Semantics for Algebraic Specifications.

Pilar Nivela Fernando Orejas

Published in: ADT (1987)

Keyphrases

specification language
algebraic structure
logic programming
formal semantics
operational semantics
formal language
control flow
attribute grammars
case study
high level
semantic information
description language
semantic constraints
data sets
programming language
metadata
artificial intelligence