Advertisement

The SMoLCS approach to the formal semantics of programming languages

A tutorial introduction
  • Egidio Astesiano
  • Gianna Reggio
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 275)

Keywords

Transition System Operational Semantic Parallel Composition Label Transition System Concurrent System 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [A]
    E.Astesiano, Combining an operational with an algebraic approach to the specification of concurrency, to appear in Proc. Workshop on Combining Methods (Nyborg, Denmark, 1984), also in Quaderni Cnet n.127, ETS Pisa, December 1984.Google Scholar
  2. [AGMRZ]
    E. Astesiano, A. Giovini, F. Mazzanti, G. Reggio, E. Zucca, The Ada challenge for new formal semantic techniques, in Proc. of the 1986 Ada International Conference, Edinburgh, Cambridge University Press, UK, 1986.Google Scholar
  3. [AMRW]
    E.Astesiano, G.F.Mascari, G.Reggio, M.Wirsing, On the parameterized algebraic specification of concurrent systems, Proc. CAAP '85-TAPSOFT Conference, LNCS 185 Lecture Notes in Computer Science n. 185, Springer Verlag, 1985.Google Scholar
  4. [AMRZ]
    E. Astesiano, F. Mazzanti, G. Reggio, E. Zucca, Applying the SMoLCS specification methodology to the CNET architecture, CNET — Distribute Systems on Local Network, vol 2, pp. 255–267, ETS Pisa, 1985.Google Scholar
  5. [AMRZ1]
    E.Astesiano, F.Mazzanti, G.Reggio, E.Zucca, Formal specification of a concurrent architecture in a real project, Proc. of ACM-ICS'85, North Holland, 1985.Google Scholar
  6. [AR]
    E.Astesiano, G.Reggio, A syntax-directed approach to the semantics of concurrent languages. Proc.'86 IFIP World Congress, (H.J.Kugler ed.),p. 571–576, North Holland, 1986.Google Scholar
  7. [AR1]
    E.Astesiano, G.Reggio, Comparing direct and continuation styles for concurrent languages, to appear in Proc. STACS 87' LNCS... Lecture Notes in Computer Science n. ..., Springer Verlag, 1987.Google Scholar
  8. [AR2]
    E. Astesiano, G. Reggio, The SMoLCS approach to the specification of concurrent systems, CNET — Distributed Systems on Local Network, vol. 2, pp. 237–254, ETS Pisa, 1985.Google Scholar
  9. [AR3]
    E.Astesiano, G.Reggio, SMoLCS driven concurrent calculi, to appear in Proc. TAP SOFT'87, LNCS... Lecture Notes in Computer Science n. ..., Springer Verlag, 1987.Google Scholar
  10. [ARW]
    E.Astesiano, G.Reggio, M.Wirsing, Relational specifications and observational semantics. in Proc. MFCS'86 (Bratislava), LNCS 233 Lecture Notes in Computer Science n. x, Springer Verlag, 1986.Google Scholar
  11. [ARW1]
    E.Astesiano, G.Reggio, M.Wirsing, A modular parameterized algebraic approach to the specification of concurrent systems, technical report, 1986.Google Scholar
  12. [ARW2]
    E.Astesiano, G.Reggio, M.Wirsing, On the algebraic specification of function spaces, in preparation.Google Scholar
  13. [AW]
    E.Astesiano, M.Wirsing, An introduction to ASL, to appear in Proc. of IFIP TC2 Working Conference on Program Specification and Transformation (Bad Tolz, FRG) North Holland, April 1986.Google Scholar
  14. [ASP]
    E.Astesiano, J. Storbank Pedersen, An introduction to the draft formal definition of Ada, in Proc. 3rd Workshop on ADA Verification, Triangle Park, USA, 1986.Google Scholar
  15. [B]
    D.Bjørner, The role and the scope of the formal definition of Ada, AdaFD 4 Deliverable 4 of the CEC MAP project: The Draft Formal Definition of ANSI/MIL-STD 1815A Ada, 1985.Google Scholar
  16. [BJ]
    D.Bjørner, C.B.Jones, The Vienna Development Method: The Meta-Language, LNCS 61 Lecture Notes in Computer Science n. 61, Springer Verlag, 1978.Google Scholar
  17. [BO]
    D.Bjørner, O.Oest, Towards a formal description of Ada, LNCS 98 Lecture Notes in Computer Science n. 98, Springer Verlag, 1980.Google Scholar
  18. [BW1]
    M.Broy, M.Wirsing, On the algebraic specification of finitary infinite communicating sequential processes, in Proc. IFIP TC2 Working Conference on "Formal Description of Programming Concepts II", Garmish, 1982.Google Scholar
  19. [BW2]
    M. Broy, M. Wirsing, Partial abstract types, Acta Informatica 18, 47–64, 1982.CrossRefGoogle Scholar
  20. [BW3]
    M. Broy, M. Wirsing, Algebraic definition of a functional programming language and its semantic models, RAIRO Informatique Theorique 17,2, pp.137–161, 1983.Google Scholar
  21. [CIP]
    CIP Language Group, The Munich Project CIP, LNCS n. 183 Lecture Notes in Computer Science n. 183, Springer Verlag, 1985.Google Scholar
  22. [CRAI-DDC]
    E.Astesiano, C.Bendix Nielsen, N.Botta, A.Fantechi, A.Giovini, P.Inverardi, E. Karlsen, F.Mazzanti, J. Storbank Pedersen, G.Reggio, E.Zucca, AdaFD 7 Deliverable 7 of the CEC MAP project: The Draft Formal Definition of ANSI/MIL-STD 1815A Ada, 1986.Google Scholar
  23. [H]
    H.Hussmann, Rapid prototyping for Algebraic specifications RAP system user's manual, MIP 8502, Universitat Passau, 1985.Google Scholar
  24. [M1]
    R.Milner, A calculus of communicating systems, LNCS 92 Lecture Notes in Computer Science n. 92, Springer Verlag, 1980.Google Scholar
  25. [M2]
    R. Milner, Calculi for synchrony and asynchrony, TCS 25, 267–310, 1983.CrossRefGoogle Scholar
  26. [Mo]
    F. Morando, An interpreter for concurrent systems SMoLCS specifications, Thesis (in italian) University of Genova, Italy, 1986.Google Scholar
  27. [P]
    G.Plotkin, A structural approach to operational semantics, Lecture notes, Aarhus University, 1981.Google Scholar
  28. [S]
    J.E. Stoy, Denotational semantics: the Scott-Strachey approach to programming language theory, The MIT Press, London, 1977.Google Scholar
  29. [SW]
    D.T. Sannella, M. Wirsing, A kernel language for algebraic specification and implementation, In Proc. Int. Conf. on Foundations of Computation Theory, Borgholm, Sweden, LNCS 158 Lecture Notes in Computer Science n. 158, Springer Verlag, 1983.Google Scholar
  30. [W]
    M.Wirsing, Structured algebraic specifications: a kernel language, habilitation thesis, Technische University Munchen, 1983.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Egidio Astesiano
    • 1
  • Gianna Reggio
    • 1
  1. 1.Dept. of MathematicsUniversity of GenoaItaly

Personalised recommendations