SCOPUS 정보 검색 플랫폼

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

Volumn 1755, Issue , 2000, Pages 40-53

Enhanced control flow graphs in montages

(3) Anlauff, Matthias a Kutter, Philipp W b Pierantonio, Alfonso c

a FRAUNHOFER FIRST (Germany)

b ETH ZURICH (Switzerland)

c UNIVERSITY OF L'AQUILA (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FLOW GRAPHS; PROBLEM ORIENTED LANGUAGES; SEMANTICS; SPECIFICATIONS;

ASSOCIATED TOOL; CASE-STUDIES; CONTROL FLOW GRAPHS; DESIGN DECISIONS; DOMAIN SPECIFIC LANGUAGES; IMPERATIVE PROGRAMMING LANGUAGES; LANGUAGE DESIGN; PRAGMATIC QUALITIES;

VISUAL LANGUAGES;

EID: 23144462588 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: 10.1007/3-540-46562-6_4 Document Type: Conference Paper

Times cited : (9)

References (26)

1
- 84943305791
- Part of the Aslan distribution
- The Aslan Language Manual
- Anlauff, M.¹

2
- 77952994323
- Formal Aspects of and Development Environments for Montages
- In M. Sellink, editor, Spec., Workshops in Computing. Springer
- (1997) 2Nd Int. Workshop on the Theory and Practice of Alg
- Anlauff, M.¹ Kutter, P.W.² Pierantonio, A.³

3
- 84896806974
- (1997) The Gem-Mex Tool Homepage
- Anlauff, M.¹ Kutter, P.W.² Pierantonio, A.³

4
- 84943305793
- (1997) The Montages Project Web Page
- Anlauff, M.¹ Kutter, P.W.² Pierantonio, A.³

5
- 0003942269
- Abstract state machines 1988-1998: Commented ASM bibliography
- In H. Ehrig, editor, EATCS, February
- (1998) EATCS Bulletin, Formal Specification Column , Issue.64 , pp. 105-127
- Börger, E.¹ Huggins, J.²

6
- 0029321188
- A Mathematical Definition of Full Prolog
- North-Holland
- (1994) Science of Computer Programming , vol.24 , pp. 249-286
- Börger, E.¹ Rosenzweig, D.²

7
- 0347107466
- Technical Report 777, INRIA, Sophia Antipolis
- (1987) CENTAUR: The System
- Borra, P.¹ Clement, D.² Despeyroux, T.³ Incerpi, J.⁴ Kahn, G.⁵ Lang, B.⁶ Pascual, V.⁷

8
- 0002041360
- Logic and the Challenge of Computer Science
- In E. Börger, editor, CS Press
- (1988) Theory and Practice of Software Engineering , pp. 1-57
- Gurevich, Y.¹

9
- 0002017107
- Evolving Algebras 1993: Lipari Guide
- In E. Börger, editor, Oxford University Press
- (1995) Speci-Fication and Validation Methods
- Gurevich, Y.¹

10
- 84975806836
- Springer
- (1993) The Semantics of the C Programming Language, Volume 702 of LNCS , pp. 274-308
- Gurevich, Y.¹ Huggins, J.K.²

11
- 84943305795
- Safe reuse of source to intermediate language compilations
- (1998) 9Th Int. Symposium on Software Reliability Engineering
- Heberle, A.¹ Löwe, W.² Trapp, M.³

12
- 0742329998
- Reference attribute grammars
- (1999) Second Workshop on Attribute Gram-Mars and Their Applications , pp. 153
- Hedin, G.¹

13
- 35248830461
- Abstract State Machines Web Page
- Huggins, J.¹

14
- 0002740432
- Natural Semantics
- Passau, Germany
- Proceedings of the Symp. on Theoretical Aspects of Computer Science , pp. 1987
- Kahn, G.¹

15
- 84943305797
- Executable Specification of Oberon Using Natural Semantics. Term Work, ETH Zürich
- (1996) Implementation on the Centaur System [7]
- Kutter, P.W.¹

16
- 84867289188
- Term work, ETH Zürich, July 1995. A revised version appeared as technical report of Institut TIK, ETH, number 27
- (1997) Dynamic Semantics of the Programming Language Oberon
- Kutter, P.W.¹ Haussmann, F.²

17
- 0011589605
- Montages: Specifications of Realistic Programming Languages
- (1997) JUCS, Springer , vol.3 , Issue.5 , pp. 416-442
- Kutter, P.W.¹ Pierantonio, A.²

18
- 19044369919
- The Formal Specification of Oberon
- (1997) JUCS, Springer , vol.3 , Issue.5 , pp. 443-503
- Kutter, P.W.¹ Pierantonio, A.²

19
- 84889576038
- Integrating Formal Domain-Specific Language Design in the Software Life Cycle
- Springer, October
- (1998) Current Trends in Applied Formal Methods, LNCS
- Kutter, P.W.¹ Schweizer, D.² Thiele, L.³

20
- 84947911592
- Theory and Practice of Action Semantics
- Springer Verlag
- (1996) MFCS'96, 21St International Symposium, Volume 1113 of LNCS , pp. 37-61
- Mosses, P.D.¹

21
- 84867289623
- PhD thesis, ETH Zürich
- (1989) A New Approach to Formal Language Definition and Its Application to Oberon
- Odersky, M.¹

22
- 0032293609
- Prototyping realistic programming languages based on formal specifications
- 1997
- (1997) Acta Informatica , vol.34 , pp. 737-772
- Poetzsch-Héter, A.¹

23
- 0004136282
- Allyn & Bacon
- (1986) Denotational Semantics: A Methodology for Language Develop-Ment
- Schmidt, D.A.¹

24
- 0007387282
- editors, World Scientific
- (1996) Language Prototyping-An Algebraic Approach, Volume 5 of AMAST Series in Computing
- Van Deursen, A.¹ Heering, J.² Klint, P.³

25
- 35248897798
- Technical Report CSE-TR-355-97, University of Michigan EECS Department Technical Report
- (1997) The Semantics of the Java Programming Language: Preliminary Version
- Wallace, C.¹

26
- 0024048067
- The Programming Language Oberon
- (1988) Software-Practice and Experi-Ence , vol.18 , Issue.7 , pp. 671-690
- Wirth, N.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.