|
Search the dblp DataBase
Johan Lewi:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Paul Branquart, Johan Lewi
A Scheme of Storage Allocation and Garbage Collection for Algol 68. [Citation Graph (0, 0)][DBLP] ALGOL 68 Implementation, 1970, pp:199-238 [Conf]
- Paul Branquart, Johan Lewi, Jean-Pierre Cardinael
Analysis of the Parenthesis Structure of Algol 68. [Citation Graph (0, 0)][DBLP] ALGOL 68 Implementation, 1970, pp:37-76 [Conf]
- Bart Vergauwen, Johan Lewi
A Linear Algorithm for Solving Fixed-Point Equations on Transition Systems. [Citation Graph (0, 0)][DBLP] CAAP, 1992, pp:322-341 [Conf]
- Bart Vergauwen, Johan Lewi
A Linear Local Model Checking Algorithm for CTL. [Citation Graph (0, 0)][DBLP] CONCUR, 1993, pp:447-461 [Conf]
- Eddy Bevers, Johan Lewi
Proof by Consistency in Conditional Equational Theories. [Citation Graph (0, 0)][DBLP] CTRS, 1990, pp:194-205 [Conf]
- Paul Branquart, Jean-Pierre Cardinael, Johan Lewi, Jean-Paul Delescaille, Michael Van Begin
A simple translation automaton allowing the generation of optimized code. [Citation Graph (0, 0)][DBLP] Methods of Algorithmic Language Implementation, 1975, pp:209-217 [Conf]
- Johan Lewi, Karel De Vlaminck, J. Huens, Peter Mertens
SLS/1: A Translator Writing System. [Citation Graph (0, 0)][DBLP] GI Jahrestagung, 1975, pp:627-641 [Conf]
- Bart Vergauwen, Johan Lewi
Efficient Local Correctness Checking for Single and Alternating Boolean Equation Systems. [Citation Graph (0, 0)][DBLP] ICALP, 1994, pp:304-315 [Conf]
- Bart Vergauwen, Johan Lewi
Linear Local and Global Model Checking Algorithms for a Kernel Temporal Logic Language. [Citation Graph (0, 0)][DBLP] ICCI, 1992, pp:46-49 [Conf]
- Johan Lewi, Karel De Vlaminck, J. Huens, M. Huybrechts
Project LILA. The ELL(1) Generator of LILA, an Introduction. [Citation Graph (0, 0)][DBLP] International Computing Symposium, 1977, pp:237-251 [Conf]
- Bart Vergauwen, Johan Lewi, I. Avau, A. Poté
Efficient Computation of Nested Fix-Points, with Applications to Model Checking. [Citation Graph (0, 0)][DBLP] ICTL, 1994, pp:165-179 [Conf]
- Stefan Van Baelen, Johan Lewi, Eric Steegmans, Bart Swennen
Constraints in Object-Oriented Analysis. [Citation Graph (0, 0)][DBLP] ISOTAS, 1993, pp:393-407 [Conf]
- Bart Vergauwen, J. Wauman, Johan Lewi
Efficient FixPoint Computation. [Citation Graph (0, 0)][DBLP] SAS, 1994, pp:314-328 [Conf]
- Stefan Van Baelen, Johan Lewi, Eric Steegmans, Helena Van Riel
EROOS: An Entity-Relationship Based OO Specification Method. [Citation Graph (0, 0)][DBLP] TOOLS (7), 1992, pp:103-117 [Conf]
- Stefan Van Baelen, Johan Lewi, Eric Steegmans
Constraints in Object-Oriented Analysis and Design. [Citation Graph (0, 0)][DBLP] TOOLS (13), 1994, pp:185-199 [Conf]
- Eddy Bevers, Johan Lewi
Proving Termination of (Conditional) Rewrite Systems. A Semantic Approach. [Citation Graph (0, 0)][DBLP] Acta Inf., 1993, v:30, n:6, pp:537-568 [Journal]
- Johan Lewi, Karel De Vlaminck, J. Huens, M. Huybrechts
The ELL(1) Parser Generator and the Error Recovery Mechanism. [Citation Graph (0, 0)][DBLP] Acta Inf., 1978, v:10, n:, pp:209-228 [Journal]
- Paul Branquart, Johan Lewi, Michel Sintzoff, Pierre Wodon
The Composition of Semantics in Algol 68. [Citation Graph (0, 0)][DBLP] Commun. ACM, 1971, v:14, n:11, pp:697-708 [Journal]
- Paul Branquart, Jean-Pierre Cardinael, Jean-Paul Delescaille, Johan Lewi
A Context-Free Syntax of ALGOL 68. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1972, v:1, n:4, pp:141-148 [Journal]
- Ivo van Horebeek, Johan Lewi
Are constructive formal specifications less abstract? [Citation Graph (0, 0)][DBLP] SIGPLAN Notices, 1990, v:25, n:5, pp:60-68 [Journal]
- Ivo van Horebeek, Johan Lewi, Eddi Bevers, Luc Duponcheel, Willy Van Puymbroeck
An Exception Handling Method for Constructive Algebraic Specifications. [Citation Graph (0, 0)][DBLP] Softw., Pract. Exper., 1988, v:18, n:5, pp:443-458 [Journal]
- Eric Steegmans, Johan Lewi, Ivo van Horebeek
Generation of Interactive Parsers With Error Handling. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1992, v:18, n:5, pp:357-367 [Journal]
Search in 0.004secs, Finished in 0.006secs
|