Concepedia

Johan Lewi

JL

7

Publications

107

Citations

7

H-Index

1970

Active since

Affiliations

KU Leuven(Current)

Johan Lewi is an author at KU Leuven specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisAutomated ReasoningSoftware EngineeringSyntaxLanguageSemantics

Publications per year

1970–2003

7

Publications

7

A scheme of storage allocation and garbage collection for ALGOL 68

P Branquart, Johan Lewi · 1970 · 27 citations

Hardware Security, Engineering, Program Analysis +11

The composition of semantics in Algol 68

P Branquart, Johan Lewi, M. Sintzoff et al. · Communications of the ACM · 1971 · 21 citations · Full text

Engineering, Semantics, Software Analysis +18

The ELL(1) parser generator and the error recovery mechanism

Johan Lewi, Karel De Vlaminck, Jean Huens et al. · Acta Informatica · 1978 · 14 citations

Natural Language Processing, Parsing, Syntactic Parsing +12

EROOS: an entity-relationship based object-oriented specification method

Stefan Van Baelen, Johan Lewi, Eric Steegmans et al. · Lirias (KU Leuven) · 1992 · 12 citations · Full text

An exception handling method for constructive algebraic specifications

Ivo Van Horebeek, Johan Lewi, Eddy Bevers et al. · Software Practice and Experience · 1988 · 11 citations

Engineering, Verification, Software Systems +17

Rows per page

1–5 of 7