Laurian M. Chirica

Publication Activity (10 Years)

Years Active: 1973-1986
Publications (10 Years): 0

Publications

Laurian M. Chirica, David F. Martin
Toward Compiler Implementation Correctness Proofs. ACM Trans. Program. Lang. Syst. 8 (2) (1986)
Masahiro Matsuo, Laurian M. Chirica
Functional Entity Relationship Model and Update Operations. FODO (1985)
Laurian M. Chirica, David F. Martin
An Order-Algebraic Definition of Knuthian Semantics. Math. Syst. Theory 13 (1979)
Daniel M. Berry, Laurian M. Chirica, John B. Johnston, David F. Martin, Arthur Sorkin
Time required for reference count management in retention block-structured languages. Part 1. Int. J. Parallel Program. 7 (1) (1978)
Daniel M. Berry, Laurian M. Chirica, John B. Johnston, David F. Martin, Arthur Sorkin
On the time required for reference count management in retention block-structured languages. Part 2. Int. J. Parallel Program. 7 (2) (1978)
Laurian M. Chirica, David F. Martin
An Algebraic Formulation of Knuthian Semantics FOCS (1976)
Laurian M. Chirica, David F. Martin
An approach to compiler correctness. Reliable Software (1975)
Laurian M. Chirica, David F. Martin, Timothy A. Dreisbach, J. G. Peetz, Arthur Sorkin
Two PARALLEL EULER run time models: The dangling reference, impostor environment, and label problems. HLLCA (1973)
Daniel M. Berry, Laurian M. Chirica, John B. Johnston, David F. Martin, Arthur Sorkin
On the time required for retention. HLLCA (1973)