dblp.uni-trier.dewww.uni-trier.de

Wolfgang Henhapl

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1991
9 Wolfgang Henhapl, Stefan Kaes, Gregor Snelting: Utilizing Fifth Generation Technology in Software Development Tools. Software Development Environments and CASE Technology 1991: 153-166
1986
8 Gregor Snelting, Wolfgang Henhapl: Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis. POPL 1986: 229-235
1984
7 Wolfgang Henhapl, Gregor Snelting: Context Relations - a Concept for Incremental Context Analysis in Program Fragments. Fachtagung über Programmiersprachen 1984: 128-143
6 M. Jäger, Rolf Bahlke, Wolfgang Henhapl, M. Hunkel, Thomas Letschert, Gregor Snelting: Industrieprogramm: PSG. Programmierumgebungen und Compiler 1984: 285-291
5 Hans Bekic, Dines Bjørner, Wolfgang Henhapl, Cliff B. Jones, Peter Lucas: On the Formal Definition of a PL/I Subset (Selected parts). Programming Languages and Their Definition 1984: 107-155
1980
4 Burkhard Austermühl, Wolfgang Henhapl: A Critical Review of PASCAL on a Formal Storage Model. Fachtagung über Programmiersprachen 1980: 57-69
1978
3 Wolfgang Henhapl, Cliff B. Jones: A Formal Definition of Algol 60 as Described in the 1975 Modified Report. The Vienna Development Method: The Meta-Language 1978: 305-336
1973
2 Wolfgang Henhapl: A Transformation of Marked Graphs. Inf. Process. Lett. 2(1): 26-29 (1973)
1971
1 Wolfgang Henhapl, Cliff B. Jones: A Run-Time Mechanism for Referencing Variables. Inf. Process. Lett. 1(1): 14-16 (1971)

Coauthor Index

1Burkhard Austermühl [4]
2Rolf Bahlke [6]
3Hans Bekic [5]
4Dines Bjørner [5]
5M. Hunkel [6]
6M. Jäger [6]
7Cliff B. Jones [1] [3] [5]
8Stefan Kaes [9]
9Thomas Letschert [6]
10Peter Lucas [5]
11Gregor Snelting [6] [7] [8] [9]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)