|
Journals in DBLP
- Vincent Simonet, François Pottier
A constraint-based approach to guarded algebraic data types. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2007, v:29, n:1, pp:- [Journal]
- Tomoyuki Higuchi, Atsushi Ohori
A static type system for JVM access control. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2007, v:29, n:1, pp:- [Journal]
- Stephen M. Blackburn, Matthew Hertz, Kathryn S. McKinley, J. Eliot B. Moss, Ting Yang
Profile-based pretenuring. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2007, v:29, n:1, pp:- [Journal]
- Amir M. Ben-Amram, Chin Soon Lee
Program termination analysis in polynomial time. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2007, v:29, n:1, pp:- [Journal]
- Milenko Drinic, Darko Kirovski, Hoi Vo
PPMexe: Program compression. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2007, v:29, n:1, pp:- [Journal]
- Patrick Eugster
Type-based publish/subscribe: Concepts and experiences. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2007, v:29, n:1, pp:- [Journal]
|