Peter Lucas

Publication Activity (10 Years)

Years Active: 1979-1989
Publications (10 Years): 0

Publications

Michael R. Hansen, Bo S. Hansen, Peter Lucas, Peter van Emde Boas
Integrating Relational Databases and Constraint Languages. Comput. Lang. 14 (2) (1989)
Peter Lucas
VDM: Origins, Hopes, and Achievements. VDM Europe (1987)
Hans Bekic, Dines Bjørner, Wolfgang Henhapl, Cliff B. Jones, Peter Lucas
On the Formal Definition of a PL/I Subset (Selected parts). Programming Languages and Their Definition (1984)
Peter Lucas
Formal Semantics of Programming Languages: VDL. IBM J. Res. Dev. 25 (5) (1981)
Peter Lucas
On the Structure of Application Programs. Abstract Software Specifications (1979)