| Publication | Date of Publication | Type |
|---|
Some methodological remarks inspired by the paper ``On inner classes by A. Igarashi and B. Pierce
Fundamenta Informaticae | 2013-04-18 | Paper |
Consistency of inheritance in object-oriented languages and of static, ALGOL-like binding
From Object-Orientation to Formal Methods | 2011-04-01 | Paper |
On Trojan horses of Thompson-Goerigk-type, their generation, intrusion, detection and prevention
Concurrency, Compositionality, and Correctness | 2010-03-09 | Paper |
Abstract State Machines 2004. Advances in Theory and Practice
Lecture Notes in Computer Science | 2009-04-30 | Paper |
On an algorithm determining direct superclasses in Java and similar languages with inner classes-its correctness, completeness and uniqueness of solutions
Information and Computation | 2009-04-16 | Paper |
| A deterministic algorithm for identifying direct superclasses in Java | 2009-01-28 | Paper |
On Revival of Algol-Concepts in Modern Programming and Specification Languages
Formal Methods and Hybrid Real-Time Systems | 2008-09-25 | Paper |
| scientific article; zbMATH DE number 2069263 (Why is no real title available?) | 2004-05-27 | Paper |
| scientific article; zbMATH DE number 3938532 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3892562 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3890697 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3936483 (Why is no real title available?) | 1983-01-01 | Paper |
On termination problems for finitely interpreted ALGOL-like programs
Acta Informatica | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3688676 (Why is no real title available?) | 1980-01-01 | Paper |
The formal termination problem for programs with finite ALGOL 68-modes
Information Processing Letters | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3725674 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3716765 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3495582 (Why is no real title available?) | 1975-01-01 | Paper |
On procedures as open subroutines. II
Acta Informatica | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3497320 (Why is no real title available?) | 1974-01-01 | Paper |
On correct procedure parameter transmission in higher programming languages
Acta Informatica | 1973-01-01 | Paper |
Application of regular canonical systems to grammars translatable from left to right
Acta Informatica | 1971-01-01 | Paper |
Verbandstheoretische Einbettung von Klassen unwesentlich verschiedener Ableitungen in die Zopfgruppe. (Lattice theoretical embedding of classes of unessentially different derivations into the braid group)
Computing | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3333285 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3264034 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3277497 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3222399 (Why is no real title available?) | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3158900 (Why is no real title available?) | 1960-01-01 | Paper |
