ask others

ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 23

> Home > Journals > ACM Transactions on Programming Languages and Systems (TOPLAS)

Volume 23, Number 1, January 2001

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/BistarelliR01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/BistarelliR01
Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
Semiring-based contstraint logic programming: syntax and semantics. 1-29
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/DiwanMM01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/DiwanMM01
Amer Diwan, Kathryn S. McKinley, J. Eliot B. Moss:
Using types to analyze and optimize object-oriented programs. 30-72
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/LeungPP01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/LeungPP01
Allen Leung, Krishna V. Palem, Amir Pnueli:
Scheduling time-constrained instructions on pipelined processors. 73-103

Volume 23, Number 2, March 2001

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/RyderLSZA01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/RyderLSZA01
Barbara G. Ryder, William Landi, Phil Stocks, Sean Zhang, Rita Altucher:
A schema for interprocedural modification side-effect analysis with pointer aliasing. 105-186
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/AttieE01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/AttieE01
Paul C. Attie, E. Allen Emerson:
Synthesis of concurrent programs for an atomic read/write model of computation. 187-242
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/KnoblockR01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/KnoblockR01
Todd B. Knoblock, Jakob Rehof:
Type elaboration and subtype completion for Java bytecode. 243-272

Volume 23, Number 3, May 2001

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/AlurY01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/AlurY01
Rajeev Alur, Mihalis Yannakakis:
Model checking of hierarchical state machines. 273-303
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/EtalleGM01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/EtalleGM01
Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo:
Transformations of CCP programs. 304-395
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/IgarashiPW01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/IgarashiPW01
Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler:
Featherweight Java: a minimal core calculus for Java and GJ. 396-450

Volume 23, Number 4, July 2001

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/KimC01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/KimC01
Ik-Soon Kim, Kwang-Moo Choe:
Error repair with validation in LR-based parsing. 451-471
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - journals/toplas/GuptaPACH01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/GuptaPACH01
Gopal Gupta, Enrico Pontelli, Khayri A. M. Ali, Mats Carlsson, Manuel V. Hermenegildo:
Parallel execution of prolog programs: a survey. 472-602

Volume 23, Number 5, September 2001

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/CooperSV01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/CooperSV01
Keith D. Cooper, L. Taylor Simpson, Christopher A. Vick:
Operator strength reduction. 603-625
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - journals/toplas/Paulson01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/Paulson01
Lawrence C. Paulson:
Mechanizing a theory of program composition for UNITY. 626-656
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/AppelM01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/AppelM01
Andrew W. Appel, David A. McAllester:
An indexed model of recursive types for foundational proof-carrying code. 657-683

Volume 23, Number 6, November 2001

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/GroveC01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/GroveC01
David Grove, Craig Chambers:
A framework for call graph construction algorithms. 685-746
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/MaassenNVBKJH01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/MaassenNVBKJH01
Jason Maassen, Rob van Nieuwpoort, Ronald Veldema, Henri E. Bal, Thilo Kielmann, Ceriel J. H. Jacobs, Rutger F. H. Hofman:
Efficient Java RMI for parallel programming. 747-775
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/ZandenHMMMSGK01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/ZandenHMMMSGK01
Bradley T. Vander Zanden, Richard L. Halterman, Brad A. Myers, Richard G. McDaniel, Robert C. Miller, Pedro A. Szekely, Dario A. Giuse, David S. Kosbie:
Lessons learned about one-way, dataflow constraints in the Garnet and Amulet graphical toolkits. 776-796