Filters








3 Hits in 12.5 sec

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

Dines Bjørner
1978 Lecture Notes in Computer Science  
Tools, techniques and examples are presented for, respectively of, each of the eight principles.  ...  Four groups of two, either complementing or contrasting abstraction principles are isolated: REPRESENTATIONAL and OPERATIONAL abstraction; CONFIGURATIONAL versus HIERAR= CHICAL abstraction; STATE-MACHINE-versus  ...  EXAMPLE I_~I: A PL/I-like On-Condition Language We begin by listing and annotating formulae. Then we end by discussing abstraction principles. A.  ... 
doi:10.1007/3-540-08766-4_13 fatcat:3m3my6ddorb6nktltaywkramme

Page 27 of Journal of Research and Practice in Information Technology Vol. 12, Issue 1 [page]

1980 Journal of Research and Practice in Information Technology  
Jones SOFTWARE ABSTRACTION PRINCIPLES: Tutorial Examples of: an operating system command language specification, and a PL/I-like ON-condition language definition Dines Bjgrner The volume is printed from  ...  J.L. (1979): “On the Specification of Software Sub- systems”, Australian Computer Journal, 11, 4.  ... 

References & bibliography [chapter]

1978 Lecture Notes in Computer Science  
and a PL/I-like On-Condition Language Definition", in: [Bj~rner 78a] ,pp. 337-374.  ...  D.Bj~rner: "Programming in the Meta-Language: A Tutorial", in: [Bj~rner 78a] pp. 24-217. ......... : "Software Abstraction Principles: Tutor= ial Examples of an Operating System Command Language Specification  ... 
doi:10.1007/3-540-08766-4_14 fatcat:axryqtlzh5bmpdm4ljtivsc4a4