Peter Lucas

Affiliations:

IBM Research, San Jose, CA, USA

According to our database¹, Peter Lucas authored at least 6 papers between 1979 and 1989.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

1989

Integrating Relational Databases and Constraint Languages.

[BibT_eX]

[DOI]

Comput. Lang., 1989

1988

The escher document imaging model.

[BibT_eX]

[DOI]

Proceedings of the ACM conference on Document processing systems, 1988

1987

VDM: Origins, Hopes, and Achievements.

[BibT_eX]

[DOI]

Peter Lucas

Proceedings of the VDM '87, VDM - A Formal Method at Work, 1987

1984

On the Formal Definition of a PL/I Subset (Selected parts).

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Their Definition - Hans Bekic (1936-1982), 1984

1981

Formal Semantics of Programming Languages: VDL.

[BibT_eX]

[DOI]

Peter Lucas

IBM J. Res. Dev., 1981

1979

On the Structure of Application Programs.

[BibT_eX]

[DOI]

Peter Lucas

Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School, January 22, 1979

Peter Lucas

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...