|
Journals in DBLP
- Martín Abadi, Jens Palsberg
Editorial. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2007, v:29, n:3, pp:- [Journal]
- Yichen Xie, Alex Aiken
Saturn: A scalable framework for error detection using Boolean satisfiability. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2007, v:29, n:3, pp:- [Journal]
- Andreas Podelski, Andrey Rybalchenko
Transition predicate abstraction and fair termination. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2007, v:29, n:3, pp:- [Journal]
- J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2007, v:29, n:3, pp:- [Journal]
|