The following pages link to Hans Langmaack (Q1013083):
Displaying 29 items.
- On an algorithm determining direct superclasses in Java and similar languages with inner classes-its correctness, completeness and uniqueness of solutions (Q1013086) (← links)
- The formal termination problem for programs with finite ALGOL 68-modes (Q1133312) (← links)
- On termination problems for finitely interpreted ALGOL-like programs (Q1161274) (← links)
- On procedures as open subroutines. II (Q1216944) (← links)
- (Q2550457) (redirect page) (← links)
- Verbandstheoretische Einbettung von Klassen unwesentlich verschiedener Ableitungen in die Zopfgruppe. (Lattice theoretical embedding of classes of unessentially different derivations into the braid group) (Q2550458) (← links)
- On correct procedure parameter transmission in higher programming languages (Q2561483) (← links)
- Application of regular canonical systems to grammars translatable from left to right (Q2562695) (← links)
- (Q3276789) (← links)
- (Q3347253) (← links)
- On Revival of Algol-Concepts in Modern Programming and Specification Languages (Q3526940) (← links)
- (Q3707369) (← links)
- (Q3709858) (← links)
- (Q3883459) (← links)
- (Q3907053) (← links)
- (Q3914407) (← links)
- (Q4077435) (← links)
- (Q4079022) (← links)
- (Q4463169) (← links)
- Some Methodological Remarks Inspired by the Paper “On inner classes” by A. Igarashi and B. Pierce (Q4914299) (← links)
- (Q5184382) (← links)
- On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention (Q5187821) (← links)
- Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding (Q5390277) (← links)
- (Q5506379) (← links)
- (Q5509959) (← links)
- (Q5549778) (← links)
- (Q5561966) (← links)
- (Q5611010) (← links)
- Abstract State Machines 2004. Advances in Theory and Practice (Q5901595) (← links)
