|
Journals in DBLP
- Manuel V. Hermenegildo, Richard Warren, Saumya K. Debray
Global Flow Analysis as a Practical Compilation Tool. [Citation Graph (1, 0)][DBLP] J. Log. Program., 1992, v:13, n:4, pp:349-366 [Journal]
- David M. Russinoff
A Verified Prolog Compiler for the Warren Abstract Machine. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1992, v:13, n:4, pp:367-412 [Journal]
- Mehmet A. Orgun, William W. Wadge
Towards a Unified Theory of Intensional Logic Programming. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1992, v:13, n:4, pp:413-440 [Journal]
|