A Structured Approach to Static Semantics Correctness.

Roberto Barbuti Alberto Martelli

Published in: Sci. Comput. Program. (1983)

Keyphrases

formal semantics
structured data
real time
logic programming
semantic information
conceptual graphs
correctness criterion
dynamic constraints
database
neural network
artificial intelligence
case study
default reasoning
argumentation semantics
intended meaning