|
Journals in DBLP
- Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey
Incremental analysis of constraint logic programs. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2000, v:22, n:2, pp:187-223 [Journal]
- Michael Sperber, Peter Thiemann
Generation of LR parsers by partial evaluation. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2000, v:22, n:2, pp:224-264 [Journal]
- José E. Moreira, Samuel P. Midkiff, Manish Gupta
From flop to megaflops: Java for technical computing. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2000, v:22, n:2, pp:265-295 [Journal]
- Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott
Independence in CLP languages. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2000, v:22, n:2, pp:296-339 [Journal]
- Xavier Leroy, François Pessaux
Type-based analysis of uncaught exceptions. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2000, v:22, n:2, pp:340-377 [Journal]
- Saumya K. Debray, William S. Evans, Robert Muth, Bjorn De Sutter
Compiler techniques for code compaction. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2000, v:22, n:2, pp:378-415 [Journal]
- G. Ramalingam
Context-sensitive synchronization-sensitive analysis is undecidable. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2000, v:22, n:2, pp:416-430 [Journal]
|