A new model semantics for a program with negation.

Jean-Paul Delahaye V. Thibau

Published in: SPLT (1990)

Keyphrases

mathematical model
probabilistic model
process model
specification language
semantic information
conceptual model
neural network
genetic algorithm
high level
probability distribution
computational model
theoretical framework
statistical model