Jacques Loeckx

1931

• Computability and decidability
• Foundations of programming languages
• Specification of abstract data types
• The foundations of program verification
• Algorithmentheorie
• Mechanical construction of bounded-context parsers for Chomsky O-type languages