Wolfgang Henhapl

According to our database, Wolfgang Henhapl authored at least 10 papers between 1971 and 1991.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1991

Utilizing Fifth Generation Technology in Software Development Tools.

Wolfgang Henhapl, Stefan Kaes, Gregor Snelting

Proceedings of the Software Development Environments and CASE Technology, 1991

1987

VDM - Vienna Development Method.

Wolfgang Henhapl, Thomas Letschert

it Inf. Technol., 1987

1986

Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis.

Gregor Snelting, Wolfgang Henhapl

Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

1984

Context Relations - a Concept for Incremental Context Analysis in Program Fragments.

Wolfgang Henhapl, Gregor Snelting

Proceedings of the Programmiersprachen und Programmentwicklung, 1984

On the Formal Definition of a PL/I Subset (Selected parts).

Hans Bekic, Dines Bjørner, Wolfgang Henhapl, Cliff B. Jones, Peter Lucas

Proceedings of the Programming Languages and Their Definition - Hans Bekic (1936-1982), 1984

Industrieprogramm: PSG.

M. Jäger, Rolf Bahlke, Wolfgang Henhapl, M. Hunkel, Thomas Letschert, Gregor Snelting

Proceedings of the Programmierumgebungen und Compiler, 1984

1980

A Critical Review of PASCAL on a Formal Storage Model.

Burkhard Austermühl, Wolfgang Henhapl

Proceedings of the Programmiersprachen und Programmentwicklung, 1980

1978

A Formal Definition of Algol 60 as Described in the 1975 Modified Report.

Wolfgang Henhapl, Cliff B. Jones

Proceedings of the Vienna Development Method: The Meta-Language, 1978

1973

A Transformation of Marked Graphs.

Wolfgang Henhapl

Inf. Process. Lett., 1973

1971

A Run-Time Mechanism for Referencing Variables.

Wolfgang Henhapl, Cliff B. Jones

Inf. Process. Lett., 1971