Laurian M. Chirica

	1986
6		Laurian M. Chirica, David F. Martin: Toward Compiler Implementation Correctness Proofs. ACM Trans. Program. Lang. Syst. 8(2): 185-214 (1986)
	1985
5		Masahiro Matsuo, Laurian M. Chirica: Functional Entity Relationship Model and Update Operations. FODO 1985: 359-366
	1979
4		Laurian M. Chirica, David F. Martin: An Order-Algebraic Definition of Knuthian Semantics. Mathematical Systems Theory 13: 1-27 (1979)
	1978
3		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. International Journal of Parallel Programming 7(1): 11-64 (1978)
2		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. International Journal of Parallel Programming 7(2): 91-119 (1978)
	1976
1		Laurian M. Chirica, David F. Martin: An Algebraic Formulation of Knuthian Semantics FOCS 1976: 127-136

Coauthor Index

1	Daniel M. Berry	[2] [3]
2	John B. Johnston	[2] [3]
3	David F. Martin	[1] [2] [3] [4] [6]
4	Masahiro Matsuo	[5]
5	Arthur Sorkin	[2] [3]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page