Generating a compiler for SDL from the formal language definition

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

Volumn 2708, Issue , 2003, Pages 150-165

  Prinz, Andreas ^a   V Löwis, Martin ^b  

^a DResearch Digital Media Systems GmbH   (Germany)

^b HUMBOLDT UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTATIONAL LINGUISTICS; FORMAL LANGUAGES; FORMAL METHODS; SEMANTICS; SPECIFICATIONS;

ABSTRACT STATE MACHINES; DYNAMIC SEMANTIC; FORMAL CALCULI; FORMAL DEFINITION; FORMAL SEMANTICS; MATHEMATICAL FOUNDATIONS; SDL; TEXTUAL REPRESENTATION;

PROGRAM COMPILERS;

EID: 35248847970     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45075-0_9     Document Type: Article

References (13)

1. A. Prinz. Formal Semantics for SDL - Definition and Implementation. Humboldt-Universität zu Berlin, 2001.
2. ITU-T. Recommendation Z.100 (08/02), Specification and Description Language (SDL). International Telecommunication Union, Geneva.
3. ITU-T. Recommendation T.50 (1992)Interaational Reference Alphabet (IRA) (Formerly International Alphabet No. 5 or IA5) - Information technology - 7-bit coded character set for information interchange. International Telecommunication Union, Geneva.
4. M. Piefel. Kimwitu++.http://site.informatik.hu-berlin.de/kimwitu++.
5. Y. Gurevich. Evolving Algebras 1993: Lipari Guide. Specification and Validation Methods, pages 9-36, Oxford University Press, 1995
6. R. Eschbach, U. Glässer, R. Gotzhein, M. von Löwis, A. Prinz. Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models. Journal of Universal Computer Science 7 (11), 2001, Springer, pp. 1025-1050
7. Microsoft Research. AsmL. http://research.microsoft.com/foundations/AsmL/
8. th World Conference on Systemics, Cybernetics, and Informatics, Orlando, 2002.
9. P. van Eÿk. Tools for LOTOS, a Lotosphere overview. Tutorial proceedings of 11th Symposium on Protocol Specification, Testing and Verification, Sydney, 1991.
10. U. Kastens. Executable Specifications for Language Implementation. Fifth International Symposium on Programming Language Implementations and Logic Programming, Tallinn, 1993, Springer LNCS 714, pp. 1-11.
11. Y. Gurevich, J. K. Huggins. The Semantics of the C Programming Language. Springer LNCS 702, Springer, 1993.
12. C. Wallace. The Semantics of the C++ Programming Language. Specification and Validation Methods, Oxford University Press, 1995.
13. J. Grosch, H. Emmelmann. Werkzeuge für den Übersetzerbau. Achern, 1995.