Software abstraction principles: Tutorial examples of an operating system command language specification and a PL/I-like on-condition language definition

  • Dines Bjørner
Part of the Lecture Notes in Computer Science book series (LNCS, volume 61)


Four groups of two, either complementing or contrasting abstraction principles are isolated: REPRESENTATIONAL and OPERATIONAL abstraction; CONFIGURATIONAL versus HIERARCHICAL abstraction; STATE-MACHINE- versus REFERENTIALLY TRANSPARENT, FUNCTIONAL- abstraction; and DENOTATIONAL versus MECHANICAL specification. Tools, techniques and examples are presented for, respectively of, each of the eight principles.


Abstract Syntax Denotational Semantic Semantic Domain Abstract State Machine Object Module 

Copyright information

© Springer-Verlag Berlin Heidelberg 1978

Authors and Affiliations

  • Dines Bjørner

There are no affiliations available

Personalised recommendations