Search the dblp DataBase

Publications of Author

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