Johan Lewi

Eric Steegmans

Proceedings of the TOOLS 1994: 13th International Conference on Technology of Object-Oriented Languages and Systems, 1994

Efficient FixPoint Computation.

[BibT_eX]

[DOI]

J. Wauman

Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

Efficient Computation of Nested Fix-Points, with Applications to Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Temporal Logic, First International Conference, 1994

Efficient Local Correctness Checking for Single and Alternating Boolean Equation Systems.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 21st International Colloquium, 1994

1993

Proving Termination of (Conditional) Rewrite Systems. A Semantic Approach.

[BibT_eX]

[DOI]

Eddy Bevers

Acta Informatica, 1993

Constraints in Object-Oriented Analysis.

[BibT_eX]

[DOI]

Proceedings of the Object Technologies for Advanced Software, 1993

A Linear Local Model Checking Algorithm for CTL.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '93, 1993

1992

Generation of Interactive Parsers With Error Handling.

[BibT_eX]

[DOI]

Eric Steegmans

Ivo Van Horebeek

IEEE Trans. Software Eng., 1992

EROOS: An Entity-Relationship Based OO Specification Method.

[BibT_eX]

Proceedings of the TOOLS 1992: 7th International Conference on Technology of Object-Oriented Languages and Systems, 1992

Linear Local and Global Model Checking Algorithms for a Kernel Temporal Logic Language.

[BibT_eX]

Proceedings of the Computing and Information, 1992

A Linear Algorithm for Solving Fixed-Point Equations on Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the CAAP '92, 1992

1990

Are constructive formal specifications less abstract?

[BibT_eX]

[DOI]

Ivo Van Horebeek

ACM SIGPLAN Notices, 1990

Proof by Consistency in Conditional Equational Theories.

[BibT_eX]

[DOI]

Eddy Bevers

Proceedings of the Conditional and Typed Rewriting Systems, 1990

1988

An Exception Handling Method for Constructive Algebraic Specifications.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1988

1987

The algebraic data type specification language.

[BibT_eX]

[DOI]

Microprocess. Microprogramming, 1987

1984

Construction of an ELL(1) syntax analyser for Ada with the compiler-generator LILA.

[BibT_eX]

[DOI]

Dirk Craeynest

Geert Vansteenkiste

ACM SIGPLAN Notices, 1984

1978

The ELL(1) Parser Generator and the Error Recovery Mechanism.

[BibT_eX]

[DOI]

Acta Informatica, 1978

1977

Project LILA. The ELL(1) Generator of LILA, an Introduction.

[BibT_eX]

Proceedings of the International Computing Symposium 1977, 1977

1976

An Optimized Translation Process and Its Application to ALGOL 68

[BibT_eX]

[DOI]

Jean-Paul Delescaille

Michael Van Begin

Lecture Notes in Computer Science 38, Springer, ISBN: 3-540-07545-3, 1976

1975

SLS/1: A Translator Writing System.

[BibT_eX]

[DOI]

Proceedings of the GI - 5. Jahrestagung, Dortmund, 8.-10. Oktober 1975, 1975

A simple translation automaton allowing the generation of optimized code.

[BibT_eX]

[DOI]

Jean-Paul Delescaille

Michael Van Begin

Proceedings of the Methods of Algorithmic Language Implementation [Symposium, 1975

1972

A Context-Free Syntax of ALGOL 68.

[BibT_eX]

[DOI]

Jean-Paul Delescaille

Inf. Process. Lett., 1972

1971

The Composition of Semantics in Algol 68.

[BibT_eX]

[DOI]

Commun. ACM, 1971

1970

Analysis of the Parenthesis Structure of Algol 68.

[BibT_eX]

Proceedings of the ALGOL 68 Implementation: Proceedings of the IFIP Working Conference on ALGOL 68 Implementation, 1970

A Scheme of Storage Allocation and Garbage Collection for Algol 68.

[BibT_eX]