Johan Lewi

According to our database1, Johan Lewi
  • authored at least 24 papers between 1970 and 1994.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1994
Constraints in Object-Oriented Analysis and Design.
Proceedings of the TOOLS 1994: 13th International Conference on Technology of Object-Oriented Languages and Systems, 1994

Efficient FixPoint Computation.
SAS, 1994

Efficient Computation of Nested Fix-Points, with Applications to Model Checking.
Proceedings of the Temporal Logic, First International Conference, 1994

Efficient Local Correctness Checking for Single and Alternating Boolean Equation Systems.
Proceedings of the Automata, Languages and Programming, 21st International Colloquium, 1994

1993
Proving Termination of (Conditional) Rewrite Systems. A Semantic Approach.
Acta Inf., 1993

Constraints in Object-Oriented Analysis.
Proceedings of the Object Technologies for Advanced Software, 1993

A Linear Local Model Checking Algorithm for CTL.
Proceedings of the CONCUR '93, 1993

1992
Generation of Interactive Parsers With Error Handling.
IEEE Trans. Software Eng., 1992

EROOS: An Entity-Relationship Based OO Specification Method.
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.
Proceedings of the Computing and Information, 1992

A Linear Algorithm for Solving Fixed-Point Equations on Transition Systems.
Proceedings of the CAAP '92, 1992

1990
Are constructive formal specifications less abstract?
SIGPLAN Notices, 1990

Proof by Consistency in Conditional Equational Theories.
Proceedings of the Conditional and Typed Rewriting Systems, 1990

1988
An Exception Handling Method for Constructive Algebraic Specifications.
Softw., Pract. Exper., 1988

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

1978
The ELL(1) Parser Generator and the Error Recovery Mechanism.
Acta Inf., 1978

1977
Project LILA. The ELL(1) Generator of LILA, an Introduction.
Proceedings of the International Computing Symposium 1977, 1977

1976
An Optimized Translation Process and Its Application to ALGOL 68
Lecture Notes in Computer Science 38, Springer, ISBN: 3-540-07545-3, 1976

1975
SLS/1: A Translator Writing System.
Proceedings of the GI - 5. Jahrestagung, Dortmund, 8.-10. Oktober 1975, 1975

A simple translation automaton allowing the generation of optimized code.
Proceedings of the Methods of Algorithmic Language Implementation [Symposium, 1975

1972
A Context-Free Syntax of ALGOL 68.
Inf. Process. Lett., 1972

1971
The Composition of Semantics in Algol 68.
Commun. ACM, 1971

1970
Analysis of the Parenthesis Structure of Algol 68.
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.
Proceedings of the ALGOL 68 Implementation: Proceedings of the IFIP Working Conference on ALGOL 68 Implementation, 1970


  Loading...