Page 1. B R IC S R S -99 -56 P .D .M o sses: A M o d u la r S O S for A ction N otation BRICS Bas... more Page 1. B R IC S R S -99 -56 P .D .M o sses: A M o d u la r S O S for A ction N otation BRICS Basic Research in Computer Science A Modular SOS for Action Notation Peter D. Mosses BRICS Report Series RS-99-56 ISSN 0909-0878 December 1999 Page 2. ...
Recent Trends in Algebraic Development Techniques, 1999
Abstract. Casl is an expressive language for the specification of func-tional requirements and mo... more Abstract. Casl is an expressive language for the specification of func-tional requirements and modular design of software. It has been designed by CoFI, the international Common Framework Initiative for algebraic specification and development. It is based on a critical selection of ...
Mathematical Foundations of Computer Science 1996, 1996
Abstract. Action Semantics is a framework for the formal description of programming languages. It... more Abstract. Action Semantics is a framework for the formal description of programming languages. Its main advantage over other frameworks is pragmatic: action-semantic descriptions (ASDs) scale up smoothly to realistic programming languages. This is due to the inherent ...
Fourth Annual Symposium on Logic in Computer …, 1989
Page 1. Unified Algebras and Institutions Peter D. Mosses* Computer Science Department Aarhus Uni... more Page 1. Unified Algebras and Institutions Peter D. Mosses* Computer Science Department Aarhus University DK-8000 Aarhus C, Denmark Abstract A novel framework for algebraic specification of ab-stract data types is introduced. ...
Abstract. Formal descriptions of syntax are quite popular: regular and context-free grammars have... more Abstract. Formal descriptions of syntax are quite popular: regular and context-free grammars have become accepted as useful for document-ing the syntax of programming languages, as well as for generating effi-cient parsers; attribute grammars allow parsing to be linked ...
this report started working on denotational semantics in collaborationwith Christopher Strachey. ... more this report started working on denotational semantics in collaborationwith Christopher Strachey. In order to fix some mathematical precision, he took over some definitionsof recursion theorists such as Kleene, Nerode, Davis, and Platek and gave an approach to asimple type theory of higher-type functionals. It was only after giving an abstract characterizationof the spaces obtained (through the construction of bases) that he realized that recursive definitionsof types could be accommodated...
Casl is an expressive language for the formal specification of functional requirementsand modular... more Casl is an expressive language for the formal specification of functional requirementsand modular design of software. It has been designed by CoFI, the international Common Framework Initiative for algebraic specification and development. Itis based on a critical selection of features that have already been explored in variouscontexts, including subsorts, partial functions, first-order logic, and structured andarchitectural specifications. Casl should facilitate
A variation of the Communicative Action Notation is presented, in order to allow the sharing of s... more A variation of the Communicative Action Notation is presented, in order to allow the sharing of storage among agents. Examples of use of the new notation are given by means of the description of semaphores, monitors and RPC mechanisms. The operational semantics of the new notation is also presented.
This part of the Casl Reference Manual defines the formal semantics of the language Casl, as info... more This part of the Casl Reference Manual defines the formal semantics of the language Casl, as informally presented in the Casl Summary (Part I). Apart from this Introduction, which is partly devoted to defining some basic notation and explaining the style of the semantics, the structure of this document is deliberately almost identical to the structure of the Casl Summary
Page 1. B R IC S R S -99 -56 P .D .M o sses: A M o d u la r S O S for A ction N otation BRICS Bas... more Page 1. B R IC S R S -99 -56 P .D .M o sses: A M o d u la r S O S for A ction N otation BRICS Basic Research in Computer Science A Modular SOS for Action Notation Peter D. Mosses BRICS Report Series RS-99-56 ISSN 0909-0878 December 1999 Page 2. ...
Recent Trends in Algebraic Development Techniques, 1999
Abstract. Casl is an expressive language for the specification of func-tional requirements and mo... more Abstract. Casl is an expressive language for the specification of func-tional requirements and modular design of software. It has been designed by CoFI, the international Common Framework Initiative for algebraic specification and development. It is based on a critical selection of ...
Mathematical Foundations of Computer Science 1996, 1996
Abstract. Action Semantics is a framework for the formal description of programming languages. It... more Abstract. Action Semantics is a framework for the formal description of programming languages. Its main advantage over other frameworks is pragmatic: action-semantic descriptions (ASDs) scale up smoothly to realistic programming languages. This is due to the inherent ...
Fourth Annual Symposium on Logic in Computer …, 1989
Page 1. Unified Algebras and Institutions Peter D. Mosses* Computer Science Department Aarhus Uni... more Page 1. Unified Algebras and Institutions Peter D. Mosses* Computer Science Department Aarhus University DK-8000 Aarhus C, Denmark Abstract A novel framework for algebraic specification of ab-stract data types is introduced. ...
Abstract. Formal descriptions of syntax are quite popular: regular and context-free grammars have... more Abstract. Formal descriptions of syntax are quite popular: regular and context-free grammars have become accepted as useful for document-ing the syntax of programming languages, as well as for generating effi-cient parsers; attribute grammars allow parsing to be linked ...
this report started working on denotational semantics in collaborationwith Christopher Strachey. ... more this report started working on denotational semantics in collaborationwith Christopher Strachey. In order to fix some mathematical precision, he took over some definitionsof recursion theorists such as Kleene, Nerode, Davis, and Platek and gave an approach to asimple type theory of higher-type functionals. It was only after giving an abstract characterizationof the spaces obtained (through the construction of bases) that he realized that recursive definitionsof types could be accommodated...
Casl is an expressive language for the formal specification of functional requirementsand modular... more Casl is an expressive language for the formal specification of functional requirementsand modular design of software. It has been designed by CoFI, the international Common Framework Initiative for algebraic specification and development. Itis based on a critical selection of features that have already been explored in variouscontexts, including subsorts, partial functions, first-order logic, and structured andarchitectural specifications. Casl should facilitate
A variation of the Communicative Action Notation is presented, in order to allow the sharing of s... more A variation of the Communicative Action Notation is presented, in order to allow the sharing of storage among agents. Examples of use of the new notation are given by means of the description of semaphores, monitors and RPC mechanisms. The operational semantics of the new notation is also presented.
This part of the Casl Reference Manual defines the formal semantics of the language Casl, as info... more This part of the Casl Reference Manual defines the formal semantics of the language Casl, as informally presented in the Casl Summary (Part I). Apart from this Introduction, which is partly devoted to defining some basic notation and explaining the style of the semantics, the structure of this document is deliberately almost identical to the structure of the Casl Summary
Uploads
Papers by Peter D Mosses