default search action

combined dblp search
author search
venue search
publication search

ask others

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

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

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 23, Number 1, January 2001

- view
- export record
  dblp key:
  - journals/toplas/BistarelliR01
- ask others
- share record
  persistent 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
- export record
  dblp key:
  - journals/toplas/DiwanMM01
- ask others
- share record
  persistent 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
- export record
  dblp key:
  - journals/toplas/LeungPP01
- ask others
- share record
  persistent 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
- export record
  dblp key:
  - journals/toplas/RyderLSZA01
- ask others
- share record
  persistent 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
- export record
  dblp key:
  - journals/toplas/AttieE01
- ask others
- share record
  persistent 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
- export record
  dblp key:
  - journals/toplas/KnoblockR01
- ask others
- share record
  persistent 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
- export record
  dblp key:
  - journals/toplas/AlurY01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/AlurY01
Rajeev Alur, Mihalis Yannakakis:
Model checking of hierarchical state machines. 273-303
- view
- export record
  dblp key:
  - journals/toplas/EtalleGM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/EtalleGM01
Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo:
Transformations of CCP programs. 304-395
- view
- export record
  dblp key:
  - journals/toplas/IgarashiPW01
- ask others
- share record
  persistent 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
- export record
  dblp key:
  - journals/toplas/KimC01
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/toplas/GuptaPACH01
- ask others
- share record
  persistent 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
- export record
  dblp key:
  - journals/toplas/CooperSV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/CooperSV01
Keith D. Cooper, L. Taylor Simpson, Christopher A. Vick:
Operator strength reduction. 603-625
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/Paulson01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/Paulson01
Lawrence C. Paulson:
Mechanizing a theory of program composition for UNITY. 626-656
- view
- export record
  dblp key:
  - journals/toplas/AppelM01
- ask others
- share record
  persistent 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
- export record
  dblp key:
  - journals/toplas/GroveC01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/GroveC01
David Grove, Craig Chambers:
A framework for call graph construction algorithms. 685-746
- view
- export record
  dblp key:
  - journals/toplas/MaassenNVBKJH01
- ask others
- share record
  persistent 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
- export record
  dblp key:
  - journals/toplas/ZandenHMMMSGK01
- ask others
- share record
  persistent 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

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.