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