| |
| 1986 | ||
|---|---|---|
| 4 | EE | Laurian M. Chirica, David F. Martin: Toward Compiler Implementation Correctness Proofs. ACM Trans. Program. Lang. Syst. 8(2): 185-214 (1986) |
| 1985 | ||
| 3 | Masahiro Matsuo, Laurian M. Chirica: Functional Entity Relationship Model and Update Operations. FODO 1985: 359-366 | |
| 1979 | ||
| 2 | Laurian M. Chirica, David F. Martin: An Order-Algebraic Definition of Knuthian Semantics. Mathematical Systems Theory 13: 1-27 (1979) | |
| 1976 | ||
| 1 | Laurian M. Chirica, David F. Martin: An Algebraic Formulation of Knuthian Semantics FOCS 1976: 127-136 | |
| 1 | David F. Martin | [1] [2] [4] |
| 2 | Masahiro Matsuo | [3] |