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, Volume 36

> Home > Journals > ACM Transactions on Programming Languages and Systems

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 36, Number 1, March 2014

- view
  authority control:
- export record
  dblp key:
  - journals/toplas/0008EW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/0008EW14
Sheng Chen, Martin Erwig, Eric Walkingshaw:
Extending Type Inference to Variational Programs. 1:1-1:54
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/StorkNSMFMA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/StorkNSMFMA14
Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, Jonathan Aldrich:
Æminium: A Permission-Based Concurrent-by-Default Programming Language Approach. 2:1-2:42
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/LiangFF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/LiangFF14
Hongjin Liang, Xinyu Feng, Ming Fu:
Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations. 3:1-3:55
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/BartheDP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/BartheDP14
Gilles Barthe, Delphine Demange, David Pichardie:
Formal Verification of an SSA-Based Middle-End for CompCert. 4:1-4:35

Volume 36, Number 2, June 2014

- view
  authority control:
- export record
  dblp key:
  - journals/toplas/AungHJR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/AungHJR14
Min Aung, Susan Horwitz, Richard Joiner, Thomas W. Reps:
Specialization Slicing. 5:1-5:67
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/JagannathanLPPV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/JagannathanLPPV14
Suresh Jagannathan, Vincent Laporte, Gustavo Petri, David Pichardie, Jan Vitek:
Atomicity Refinement for Verified Compilation. 6:1-6:30
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/AlglaveMT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/AlglaveMT14
Jade Alglave, Luc Maranget, Michael Tautschnig:
Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory. 7:1-7:74

Volume 36, Number 3, September 2014

- view
  authority control:
- export record
  dblp key:
  - journals/toplas/OhHLLPKY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/OhHLLPKY14
Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang, Kwangkeun Yi:
Global Sparse Analysis Framework. 8:1-8:44
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/EsparzaGP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/EsparzaGP14
Javier Esparza, Pierre Ganty, Tomás Poch:
Pattern-Based Verification for Multithreaded Programs. 9:1-9:29
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/TzannesCVB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/TzannesCVB14
Alexandros Tzannes, George C. Caragea, Uzi Vishkin, Rajeev Barua:
Lazy Scheduling: A Runtime Adaptive Scheduler for Declarative Parallelism. 10:1-10:51

Volume 36, Number 4, October 2014

- view
  authority control:
- export record
  dblp key:
  - journals/toplas/ElderLSAR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/ElderLSAR14
Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps:
Abstract Domains of Affine Relations. 11:1-11:73
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/GarciaTWA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/GarciaTWA14
Ronald Garcia, Éric Tanter, Roger Wolff, Jonathan Aldrich:
Foundations of Typestate-Oriented Programming. 12:1-12:44
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/HaydenSSHF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/HaydenSSHF14
Christopher M. Hayden, Karla Saur, Edward K. Smith, Michael W. Hicks, Jeffrey S. Foster:
Kitsune: Efficient, General-Purpose Dynamic Software Updating for C. 13:1-13:38
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/0001KW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/0001KW14
Alexander Kaiser, Daniel Kroening, Thomas Wahl:
A Widening Approach to Multithreaded Program Verification. 14:1-14:29

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.