Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

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

> 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 25, Number 1, January 2003

- view
  authority control:
- export record
  dblp key:
  - journals/toplas/LeviS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/LeviS03
Francesca Levi, Davide Sangiorgi:
Mobile safe ambients. 1-69
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/RuginaR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/RuginaR03
Radu Rugina, Martin C. Rinard:
Pointer analysis for structured parallel programs. 70-116
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/PottierS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/PottierS03
François Pottier, Vincent Simonet:
Information flow inference for ML. 117-158

Volume 25, Number 2, March 2003

- view
  authority control:
- export record
  dblp key:
  - journals/toplas/SahaTS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/SahaTS03
Bratin Saha, Valery Trifonov, Zhong Shao:
Intensional analysis of quantified types. 159-209
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/RamseyC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/RamseyC03
Norman Ramsey, Cristina Cifuentes:
A transformational approach to binary translation of delayed branches. 210-224
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/BruceSGF03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/BruceSGF03
Kim B. Bruce, Angela Schuett, Robert van Gent, Adrian Fiech:
PolyTOIL: A type-safe polymorphic object-oriented language. 225-290

Volume 25, Number 3, May 2003

- view
  authority control:
- export record
  dblp key:
  - journals/toplas/Rhiger03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/Rhiger03
Morten Rhiger:
A foundation for embedded languages. 291-315
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/RinardD03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/RinardD03
Martin C. Rinard, Pedro C. Diniz:
Eliminating synchronization bottlenecks using adaptive replication. 316-359
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/FournetG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/FournetG03
Cédric Fournet, Andrew D. Gordon:
Stack inspection: Theory and variants. 360-399

Volume 25, Number 4, July 2003

- view
  authority control:
- export record
  dblp key:
  - journals/toplas/Damiani03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/Damiani03
Ferruccio Damiani:
Rank 2 intersection types for local definitions and conditional expressions. 401-451
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/SchultzLC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/SchultzLC03
Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel:
Automatic program specialization for Java. 452-499
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/KistlerF03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/KistlerF03
Thomas Kistler, Michael Franz:
Continuous program optimization: A case study. 500-548

Volume 25, Number 5, September 2003

- view
  authority control:
- export record
  dblp key:
  - journals/toplas/AmadioBL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/AmadioBL03
Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine:
The receptive distributed pi-calculus. 549-577
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/SpotoJ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/SpotoJ03
Fausto Spoto, Thomas P. Jensen:
Class analyses as abstract interpretations of trace semantics. 578-630
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/Jeffery03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/Jeffery03
Clinton L. Jeffery:
Generating LR syntax error messages from examples. 631-640
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/AnconaLZ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/AnconaLZ03
Davide Ancona, Giovanni Lagorio, Elena Zucca:
Jam - designing a Java extension with mixins. 641-712

Volume 25, Number 6, November 2003

- view
  authority control:
- export record
  dblp key:
  - journals/toplas/Blanchet03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/Blanchet03
Bruno Blanchet:
Escape analysis for Java^TM: Theory and practice. 713-775
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/MenonPM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/MenonPM03
Vijay Menon, Keshav Pingali, Nikolay Mateev:
Fractal symbolic analysis. 776-813
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/ChristensenMS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/ChristensenMS03
Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach:
Extending Java for high-level Web service construction. 814-875
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/ChoiGSSM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/ChoiGSSM03
Jong-Deok Choi, Manish Gupta, Mauricio J. Serrano, Vugranam C. Sreedhar, Samuel P. Midkiff:
Stack allocation and synchronization optimizations for Java using escape analysis. 876-910

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.