An outline of the SMoLCS approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 280 LNCS, Issue , 1987, Pages 81-113

  Astesiano, Egidio ^a   Reggio, Gianna ^a  

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; PARAMETERIZATION; SEMANTICS; SPECIFICATIONS;

ALGEBRAIC SPECIFICATIONS; ALGEBRAIC STRUCTURES; CONCURRENT SYSTEMS; DATA TYPE; PARAMETERIZED; PROCESS SPECIFICATION;

ABSTRACT DATA TYPES;

EID: 85034641240     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-18419-8_11     Document Type: Conference Paper

References (27)

1. E. Astesiano, A. Giovini, F. Mazzanti, G. Reggio, E. Zucca, The Ada challenge for new formal semantic techniques, in Ada: managing the transition, Proc. of the 1986 Ada International Conference, Edinburgh, Cambridge University Press, UK, 1986.
2. E. Astesiano, G.F. Mascari, G. Reggio, M. Wirsing, On the parameterized, algebraic specification of concurrent systems, Proc. CAAP ’85 - TAPSOFT Conference, LNCS 185, 1985.
3. E. Astesiano, F. Mazzanti, G. Reggio, E. Zucca, Applying the SMoLCS specification methodology to the CNET architecture, CNET - Distributed Systems on Local Network, vol 2, pp. 255-267, ETS Pisa,1985.
4. E. Astesiano, F. Mazzanti, G. Reggio, E. Zucca, Formal specification of a concurrent architecture in a real project, in A broad prospective of current developments, Proc. Of ACM-ICS’85, North Holland, 1985.
5. E. Astesiano, G. Reggio, A syntax-directed approach to the semantics of concurrent languages. Proc.’86 EFIP World Congress, (H.J.Kugler ed.), North Holland, 1986.
6. E. Astesiano, G. Reggio, Comparing direct and continuation styles for concurrent languages, in Proc. STACS 87’ LNCS 247, 1987.
7. E. Astesiano, G. Reggio, SMoLCS driven concurrent calculi, in Proc. TAP SOFT’87, LNCS 249, 1987.
8. E. Astesiano, G. Reggio, Direct semantics of concurrent languages in the SMoLCS approach, to appear in IBM Journal of Research and Development, 1987.
9. E. Astesiano, G. Reggio, The SMoLCS approach to the formal semantics of programming languages - A tutorial introduction to appear in Proc. CRAI Spring International Conference: Innovative software factories and Ada, LNCS, 1986.
10. E. Astesiano, G. Reggio, M. Wirsing, Relational specifications and observational semantics. in Proc. MFCS’86 (Bratislava), LNCS 233, 1986.
11. E. Astesiano, G. Reggio, M. Wirsing, A modular parameterized algebraic approach to the specification of concurrent systems, final version in preparation, 1986.
12. E. Astesiano, G. Reggio, M. Wirsing, On the algebraic specification of function spaces, in preparation.
13. 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, April 1986) North Holland.
14. D. Bjørner, C.B. Jones, The Vienna Development Method: The Meta-Language, LNCS 61, 1978.
15. 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.
16. M. Broy, M. Wirsing, Partial abstract types, Acta Informatica 18,1982.
17. M. Broy, M. Wirsing, Algebraic definition of a functional programming language and its semantic models, RAIRO Informatique Theorique 17, 2, 1983.
18. E. Astesiano, C. Bendix Nielsen, N. Botta, A. Fantechi, A. Giovini, P. Inverardi, E. Karlsen, F. Mazzanti, J. Storbank Pedersen, G. Reggio, E. Zucca, Deliverable 7 of the CEC MAP project: The Draft Formal Definition of ANSI/MEL-STD 1815A Ada, 1986.
19. R. De Nicola, M. Hennessy, Testing equivalence for processes, Theoret. Comput. Sci., Vol 34, North Holland, 1984.
20. H. Hussmann, Rapid prototyping for Algebraic specifications RAP system user’s manual, MEP 8504, Universitat Passau, 1985.
21. R. Milner, A calculus of communicating systems, LNCS 92,1980.
22. R. Milner, Calculi for synchrony and asynchrony, Theoret. Comput. Sci., Vol 25,1983.
23. F. Morando, An interpreter for concurrent systems SMoLCS specifications, Thesis (in italian) University of Genova, Italy, 1986.
24. G. Plotkin, A structural approach to operational semantics, Lecture notes, Aarhus University, 1981.
25. J.E. Stoy, Denotational semantics: the Scott-Strachey approach to programming language theory, The MIT Press, London, 1977.
26. 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, 1983.
27. M. Wirsing, Structured algebraic specifications: a kernel language, Habilitation thesis, Technische University Munchen, 1983.