ask others

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

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

Volume 20, Number 1, January 1998

- view
- export record
  dblp key:
  - journals/toplas/SagivRW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/SagivRW98
Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm:
Solving Shape-Analysis Problems in Languages with Destructive Updating. 1-50
- view
- export record
  dblp key:
  - journals/toplas/AttieE98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/AttieE98
Paul C. Attie, E. Allen Emerson:
Synthesis of Concurrent Systems with Many Similar Processes. 51-115
- view
- export record
  dblp key:
  - journals/toplas/DujardinAS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/DujardinAS98
Eric Dujardin, Eric Amiel, Eric Simon:
Fast Algorithms for Compressed Multimethod Dispatch Table Generation. 116-165
- view
- export record
  dblp key:
  - journals/toplas/WrightJ98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/WrightJ98
Andrew K. Wright, Suresh Jagannathan:
Polymorphic Splitting: An Effective Polyvariant Flow Analysis. 166-207
- view
- export record
  dblp key:
  - journals/toplas/LeuschelMS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/LeuschelMS98
Michael Leuschel, Bern Martens, Danny De Schreye:
Controlling Generalization amd Polyvariance in Partial Deduction of Normal Logic Programs. 208-258

Volume 20, Number 2, March 1998

- view
- export record
  dblp key:
  - journals/toplas/Reps98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/Reps98
Thomas W. Reps:
"Maximal-munch" Tokenization in Linear Time. 259-273
- view
- export record
  dblp key:
  - journals/toplas/LangS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/LangS98
Jun Lang, David B. Stewart:
A Study of the Applicability of Existing Exception-Handling Techniques to Component-Base Real-Time Software Technology. 274-301
- view
- export record
  dblp key:
  - journals/toplas/JacksonJD98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/JacksonJD98
Daniel Jackson, Somesh Jha, Craig Damon:
Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications. 302-343
- view
- export record
  dblp key:
  - journals/toplas/DouenceF98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/DouenceF98
Rémi Douence, Pascal Fradet:
A Systematic Study of Functional Language Implementations. 344-387
- view
- export record
  dblp key:
  - journals/toplas/SreedharGL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/SreedharGL98
Vugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee:
A New Framework for Elimination-Based Data Flow Analysis Using DJ Graphs. 388-435
- view
- export record
  dblp key:
  - journals/toplas/Kobayashi98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/Kobayashi98
Naoki Kobayashi:
A Partially Deadlock-Free Typed Process Calculus. 436-482

Volume 20, Number 3, May 1998

- view
- export record
  dblp key:
  - journals/toplas/RinardL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/RinardL98
Martin C. Rinard, Monica S. Lam:
The Design, Implementation, and Evaluation of Jade. 483-545
- view
- export record
  dblp key:
  - journals/toplas/LiuST98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/LiuST98
Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum:
Static Caching for Incremental Computation. 546-585
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/SagonasS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/SagonasS98
Konstantinos Sagonas, Terrance Swift:
An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs. 586-634
- view
- export record
  dblp key:
  - journals/toplas/PughW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/PughW98
William Pugh, David Wonnacott:
Constraint-Based Array Dependence Analysis. 635-678
- view
- export record
  dblp key:
  - journals/toplas/FokkinkKW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/FokkinkKW98
Wan J. Fokkink, Jasper Kamperman, Pum Walters:
Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems. 679-706

Volume 20, Number 4, July 1998

- view
- export record
  dblp key:
  - journals/toplas/LeeY98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/LeeY98
Oukseh Lee, Kwangkeun Yi:
Proofs about a Folklore Let-Polymorphic Type Inference Algorithm. 707-723
- view
- export record
  dblp key:
  - journals/toplas/TofteB98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/TofteB98
Mads Tofte, Lars Birkedal:
A Region Inference Algorithm. 724-767
- view
- export record
  dblp key:
  - journals/toplas/AlpuenteFV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/AlpuenteFV98
María Alpuente, Moreno Falaschi, Germán Vidal:
Partial Evaluation of Functional Logic Programs. 768-844
- view
- export record
  dblp key:
  - journals/toplas/AshleyD98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/AshleyD98
J. Michael Ashley, R. Kent Dybvig:
A Practical and Flexible Flow Analysis for Higher-Order Languages. 845-868
- view
- export record
  dblp key:
  - journals/toplas/KennedyK98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/KennedyK98
Ken Kennedy, Ulrich Kremer:
Automatic Data Layout for Distributed-Memory Machines. 869-916

Volume 20, Number 5, September 1998

- view
- export record
  dblp key:
  - journals/toplas/JuanTM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/JuanTM98
Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata:
Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules. 917-979
- view
- export record
  dblp key:
  - journals/toplas/WagnerG98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/WagnerG98
Tim A. Wagner, Susan L. Graham:
Efficient and Flexible Incremental Parsing. 980-1013
- view
- export record
  dblp key:
  - journals/toplas/AptBPS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/AptBPS98
Krzysztof R. Apt, Jacob Brunekreef, Vincent Partington, Andrea Schaerf:
Alma-O: An Imperative Language That Supports Declarative Programming. 1014-1066
- view
- export record
  dblp key:
  - journals/toplas/GiacobazziS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/GiacobazziS98
Roberto Giacobazzi, Francesca Scozzari:
A Logical Model for Relational Abstract Domains. 1067-1109

Volume 20, Number 6, November 1998

- view
- export record
  dblp key:
  - journals/toplas/DhamdhereS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/DhamdhereS98
Dhananjay M. Dhamdhere, K. V. Sankaranarayanan:
Dynamic Currency Determination in Optimized Programs. 1111-1130
- view
- export record
  dblp key:
  - journals/toplas/HassenBJ98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/HassenBJ98
Saniya Ben Hassen, Henri E. Bal, Ceriel J. H. Jacobs:
A Task- and Data-Parallel Programming Language Based on Shared Objects. 1131-1170
- view
- export record
  dblp key:
  - journals/toplas/AlurH98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/AlurH98
Rajeev Alur, Thomas A. Henzinger:
Finitary Fairness. 1171-1194
- view
- export record
  dblp key:
  - journals/toplas/YangF98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/YangF98
Tao Yang, Cong Fu:
Space/Time-Efficient Scheduling and Execution of Parallel Irregular Computations. 1195-1222
- view
- export record
  dblp key:
  - journals/toplas/KellyMMSY98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/KellyMMSY98
Andrew D. Kelly, Kim Marriott, Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap:
Optimizing Compilation of CLP(R). 1223-1250
- view
- export record
  dblp key:
  - journals/toplas/Palsberg98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/Palsberg98
Jens Palsberg:
Equality-based flow analysis versus recursive types. 1251-1264
- view
- export record
  dblp key:
  - journals/toplas/BuchsbaumKRW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/BuchsbaumKRW98
Adam L. Buchsbaum, Haim Kaplan, Anne Rogers, Jeffery R. Westbrook:
A New, Simpler Linear-Time Dominators Algorithm. 1265-1296
- view
- export record
  dblp key:
  - journals/toplas/Hailperin98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/Hailperin98
Max Hailperin:
Cost-Optimal Code Motion. 1297-1322

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.