|
Journals in DBLP
- Donald Sannella
Foreword: Selected Papers of ESOP'94. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1995, v:25, n:2-3, pp:79-80 [Journal]
- Martín Abadi, Luca Cardelli
A Theory of Primitive Objects: Second-Order Systems. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1995, v:25, n:2-3, pp:81-116 [Journal]
- James H. Andrews
Foundational Issues in Implementing Constraint Logic Programming Systems. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1995, v:25, n:2-3, pp:117-147 [Journal]
- Michel Bidoit, Rolf Hennicker, Martin Wirsing
Behavioural and Abstractor Specifications. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1995, v:25, n:2-3, pp:149-186 [Journal]
- Robert Giegerich, Stefan Kurtz
A Comparison of Imperative and Purely Functional Suffix Tree Constructions. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1995, v:25, n:2-3, pp:187-218 [Journal]
- Chris Hankin, Daniel Le Métayer
Lazy Type Inference and Program Analysis. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1995, v:25, n:2-3, pp:219-249 [Journal]
- C. Barry Jay
A Semantics for Shape. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1995, v:25, n:2-3, pp:251-283 [Journal]
- K. V. S. Prasad
A Calculus of Broadcasting Systems. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1995, v:25, n:2-3, pp:285-327 [Journal]
|