Johan Lewi

Publication Activity (10 Years)

Years Active: 1970-1994
Publications (10 Years): 0

Publications

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