Refinement of a Typed WAM Extension by Polymorphic Order-Sorted Types.

Christoph Beierle Egon Börger

Published in: Formal Aspects Comput. (1996)

Keyphrases

higher order
order sorted
data mining
refinement process
real world
programming language
predicate logic