Duality in Specification Languages: A Lattice-Theoretical Approach.

Ralph-Johan Back Joakim von Wright

Published in: Acta Informatica (1990)

Keyphrases

specification languages
formal specification
object oriented programs
linear programming
first order logic
theoretical analysis
data sets
machine learning
model checking
dual formulation
knowledge base
lattice structure
theoretical issues