Wolfgang Henhapl

Publication Activity (10 Years)

Years Active: 1971-1991
Publications (10 Years): 0

Publications

Wolfgang Henhapl, Stefan Kaes, Gregor Snelting
Utilizing Fifth Generation Technology in Software Development Tools. Software Development Environments and CASE Technology (1991)
Wolfgang Henhapl, Thomas Letschert
VDM - Vienna Development Method. it Inf. Technol. 29 (4) (1987)
Gregor Snelting, Wolfgang Henhapl
Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis. POPL (1986)
M. Jäger, Rolf Bahlke, Wolfgang Henhapl, M. Hunkel, Thomas Letschert, Gregor Snelting
Industrieprogramm: PSG. Programmierumgebungen und Compiler (1984)
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)
Wolfgang Henhapl, Gregor Snelting
Context Relations - a Concept for Incremental Context Analysis in Program Fragments. Fachtagung über Programmiersprachen (1984)
Burkhard Austermühl, Wolfgang Henhapl
A Critical Review of PASCAL on a Formal Storage Model. Fachtagung über Programmiersprachen (1980)
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)
Wolfgang Henhapl
A Transformation of Marked Graphs. Inf. Process. Lett. 2 (1) (1973)
Wolfgang Henhapl, Cliff B. Jones
A Run-Time Mechanism for Referencing Variables. Inf. Process. Lett. 1 (1) (1971)