Johan Lewi

25 papers A* 1B 2C 1Journal 9Unranked 11
YearRankTypeTitle / Venue / Authors
1994 — conf
Constraints in Object-Oriented Analysis and Design.
TOOLS (13)
Stefan Van Baelen, Johan Lewi, Eric Steegmans
1994 — conf
Efficient Computation of Nested Fix-Points, with Applications to Model Checking.
ICTL
Bart Vergauwen, Johan Lewi, I. Avau, A. Poté
1994 B conf
Efficient FixPoint Computation.
SAS
Bart Vergauwen, J. Wauman, Johan Lewi
1994 A* conf
Efficient Local Correctness Checking for Single and Alternating Boolean Equation Systems.
ICALP
Bart Vergauwen, Johan Lewi
1993 B conf
A Linear Local Model Checking Algorithm for CTL.
CONCUR
Bart Vergauwen, Johan Lewi
1993 — conf
Constraints in Object-Oriented Analysis.
ISOTAS
Stefan Van Baelen, Johan Lewi, Eric Steegmans, Bart Swennen
1993 J jnl
Proving Termination of (Conditional) Rewrite Systems. A Semantic Approach.
Acta Informatica
Eddy Bevers, Johan Lewi
1992 — conf
A Linear Algorithm for Solving Fixed-Point Equations on Transition Systems.
CAAP
Bart Vergauwen, Johan Lewi
1992 — conf
EROOS: An Entity-Relationship Based OO Specification Method.
TOOLS (7)
Stefan Van Baelen, Johan Lewi, Eric Steegmans, Helena Van Riel
1992 J jnl
Generation of Interactive Parsers With Error Handling.
IEEE Trans. Software Eng.
Eric Steegmans, Johan Lewi, Ivo Van Horebeek
1992 C conf
Linear Local and Global Model Checking Algorithms for a Kernel Temporal Logic Language.
ICCI
Bart Vergauwen, Johan Lewi
1990 J jnl
Are constructive formal specifications less abstract?
ACM SIGPLAN Notices
Ivo Van Horebeek, Johan Lewi
1990 — conf
Proof by Consistency in Conditional Equational Theories.
CTRS
Eddy Bevers, Johan Lewi
1988 J jnl
An Exception Handling Method for Constructive Algebraic Specifications.
Softw. Pract. Exp.
Ivo Van Horebeek, Johan Lewi, Eddi Bevers, Luc Duponcheel, Willy Van Puymbroeck
1987 J jnl
The algebraic data type specification language.
Microprocess. Microprogramming
Luc Duponcheel, Jurgen Heyman, Willy Van Puymbroeck, Johan Lewi, Ivo Van Horebeek
1984 J jnl
Construction of an ELL(1) syntax analyser for Ada with the compiler-generator LILA.
ACM SIGPLAN Notices
Dirk Craeynest, Geert Vansteenkiste, Johan Lewi
1978 J jnl
The ELL(1) Parser Generator and the Error Recovery Mechanism.
Acta Informatica
Johan Lewi, Karel De Vlaminck, J. Huens, M. Huybrechts
1977 — conf
Project LILA. The ELL(1) Generator of LILA, an Introduction.
International Computing Symposium
Johan Lewi, Karel De Vlaminck, J. Huens, M. Huybrechts
1976 — book
An Optimized Translation Process and Its Application to ALGOL 68
Paul Branquart, Jean-Pierre Cardinael, Johan Lewi, Jean-Paul Delescaille, Michael Van Begin
1975 — conf
A simple translation automaton allowing the generation of optimized code.
Methods of Algorithmic Language Implementation
Paul Branquart, Jean-Pierre Cardinael, Johan Lewi, Jean-Paul Delescaille, Michael Van Begin
1975 — conf
SLS/1: A Translator Writing System.
GI Jahrestagung
Johan Lewi, Karel De Vlaminck, J. Huens, Peter Mertens
1972 J jnl
A Context-Free Syntax of ALGOL 68.
Inf. Process. Lett.
Paul Branquart, Jean-Pierre Cardinael, Jean-Paul Delescaille, Johan Lewi
1971 J jnl
The Composition of Semantics in Algol 68.
Commun. ACM
Paul Branquart, Johan Lewi, Michel Sintzoff, Pierre L. Wodon
1970 — conf
A Scheme of Storage Allocation and Garbage Collection for Algol 68.
ALGOL 68 Implementation
Paul Branquart, Johan Lewi
1970 — conf
Analysis of the Parenthesis Structure of Algol 68.
ALGOL 68 Implementation
Paul Branquart, Johan Lewi, Jean-Pierre Cardinael