Termination Conventions and Comparative Semantics
Part of the NATO ASI Series book series (volume 36)
The notion of termination is examined, first for its physical observability, then for its part in six semantic formalisms, with emphasis on predicative semantics.
KeywordsUnstable State Semantic Formalism Proof Theory Predicate Transformer Termination Convention
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
© Springer-Verlag Berlin Heidelberg 1987