Exploiting Labels in Structural Operational Semantics

• Autorzy: Mosses P.D.
• Języki publikacji: EN

Abstrakty

EN

Structural Operational Semantics (SOS) allows transitions to be labelled. This is fully exploited in SOS descriptions of concurrent systems, but usually not at all in conventional descriptions of sequential programming languages. This paper shows how the use of labels can provide significantly simpler and more modular descriptions of programming languages. However, the full power of labels is obtained only when the set of labels is made into a category, as in the recently-proposed MSOS variant of SOS.

Słowa kluczowe

EN

structural operational semantics; SOS; modularity; MSOS; natural semantics

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2004
• Tom: Vol. 60, nr 1-4
• Strony: 17--31
• Opis fizyczny: Bibliogr. 27 poz.

Twórcy

autor

Mosses P.D.

• BRICS & Department on Computer Science, University of Aarhus, IT-parken, Aabogade 34, DK-8200 Aarhus N, Denmark,

Bibliografia

• [1] Aceto, L., Fokkink, W., Verhoef, C.: Structural Operational Semantics, in: Handbook of Process Algebra (J. A. Bergstra, A. Ponse, S. A. Smolka. Eds.), chapter 3. Elsevier Science, 2001, 197-292.
• [2] de O. Braga, C.: Rewriting Ligie as a Semantic Framework for Modular Structural Operational Semantics, Ph.D. Thesis. Pontificia Universidade Católica do Rio de Janeiro. Brazil. 2001.
• [3] de О. Braga, C., Haeusler. E. H., Meseguer. J., Mosses. P. D.: Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic. AM AST 2000. LNCS 1816. Springer. 2000.
• [4] de О. Braga, C., Haeusler. E. H., Meseguer. J., Mosses, P. D.: Mapping Modular SOS to Rewriting Logic. LOPSTR 2002, LNCS 2664, Springer, 2003.
• [5] Doh. K.-G., Mosses. P. D.: Composing Programming Languages by Combining Action-Semantics Modules. Science of Computer Programming, 47( 1), 2003, 3-36.
• [6] Hennessy, M.: The Semantics of Programming Languages: An Elementary Introduction Using Structural Operational Semantics, Wiley, New York. 1990.
• [7] Kahn, G.: Natural Semantics. STACS'87, LNCS 247. Springer. 1987.
• [8] Liang, S., Hudak. P.: Modular Denotational Semantics for Compiler Construction, ESOP'96. LNCS 1058. Springer, 1996.
• [9] Meseguer. J., de О. Braga. C.: Modular Rewriting Semantics of Programming Languages, AMAST 04, LNCS, Springer, 2004, To appear.
• [10] Milner, R.: Communication und Concurrency, Prentice-Hall. 1989.
• [11] Milner, R.: Operational and Algebraic Semantics of Concurrent Processes, in: Handbook of Theoretical Computer Science (J. van Leeuwen. Ed.), vol. B. chapter 19, Elsevier Science Publishers. Amsterdam; and MIT Press. 1990.
• [12] Milner, R., Tofte. M., Harper. R., MacQueen, D.: The Definition of Standard ML (Revised), The MIT Press, 1997.
• [13] Moggi, E.: An Abstract View of Programming Languages, Technical Report ECS-LFCS-90-113, Computer Science Dept., Univ. of Edinburgh, 1990.
• [14] Mosses, P. D.: Action Semantics, Cambridge Tracts in Theoretical Computer Science 26, Cambridge University Press, 1992.
• [15] Mosses. P. D.: Foundations of Modular SOS, BRICS RS-99-54, Dept, of Computer Science. Univ. of Aarhus, 1999, Full version of [16].
• [16] Mosses, P. D.: Foundations of Modular SOS (Extended Abstract), MFCS'99. LNCS 1672, Springer, 1999.
• [17] Mosses. P. D.: A Modular SOS for Action Notation, BRICS RS-99-56, Dept, of Computer Science. Univ. of Aarhus, 1999, Full version of [18].
• [18] Mosses. P. D.: A Modular SOS for Action Notation (Extended Abstract), AS'99. BRICS NS-99-3. Dept, of Computer Science, Univ. of Aarhus, 1999.
• [19] Mosses, P. D.: A Modular SOS for ML Concurrency Primitives, BRICS RS-99-57, Dept, of Computer Science, Univ. of Aarhus, 1999.
• [20] Mosses, P. D.: Pragmatics of Modular SOS, AMAST 02, LNCS 2422, Springer, 2002.
• [21] Mosses. P. D.: Modular Structural Operational Semantics, JLAP. 2004, To appear, special issue on SOS.
• [22] Mosses. P. D., Watt, D. A.: The Use of Action Semantics, Formal Description of Programming Concepts III, North-Holland, 1987.
• [23] Nielson, H. R., Nielson, F.: Semantics with Applications: A Formal Introduction, Wiley, Chichester, UK, 1992.
• [24] Plotkin. G. D.: A Structural Approach to Operational Semantics, DAIMI FN-19, Dept, of Computer Science, Univ. of Aarhus. 1981. To appear in JLAP, special issue on SOS, 2004.
• [25] Slonneger. K., Kurtz, B. L.: Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach, Addison-Wesley. 1995.
• [26] Watt. D. A.: Programming Language Syntax and Semantics. Prentice-Hall, 1991.
• [27] Winskel, G.: The Formal Semantics of Programming Languages: An Introduction. MIT Press, 1993.