 | 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) |
