Laurian M. Chirica

According to our database1, Laurian M. Chirica authored at least 9 papers between 1973 and 1986.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1986
Toward Compiler Implementation Correctness Proofs.
ACM Trans. Program. Lang. Syst., 1986

1985
Functional Entity Relationship Model and Update Operations.
Proceedings of the Foundations of Data Organization, 1985

1979
An Order-Algebraic Definition of Knuthian Semantics.
Math. Syst. Theory, 1979

1978
On the time required for reference count management in retention block-structured languages. Part 2.
Int. J. Parallel Program., 1978

Time required for reference count management in retention block-structured languages. Part 1.
Int. J. Parallel Program., 1978

1976
An Algebraic Formulation of Knuthian Semantics
Proceedings of the 17th Annual Symposium on Foundations of Computer Science, 1976

1975
An approach to compiler correctness.
Proceedings of the International Conference on Reliable Software 1975, 1975

1973
Two PARALLEL EULER run time models: The dangling reference, impostor environment, and label problems.
Proceedings of the ACM-IEEE Symposium on High-Level-Language Computer Architecture, 1973

On the time required for retention.
Proceedings of the ACM-IEEE Symposium on High-Level-Language Computer Architecture, 1973


  Loading...