Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM Transactions on Programming Languages and Systems (TOPLAS), Volume 20
Volume 20, Number 1, January 1998
- Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm:
Solving Shape-Analysis Problems in Languages with Destructive Updating. 1-50
- Paul C. Attie
, E. Allen Emerson:
Synthesis of Concurrent Systems with Many Similar Processes. 51-115 - Eric Dujardin, Eric Amiel, Eric Simon:
Fast Algorithms for Compressed Multimethod Dispatch Table Generation. 116-165 - Andrew K. Wright, Suresh Jagannathan:
Polymorphic Splitting: An Effective Polyvariant Flow Analysis. 166-207 - 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
- Thomas W. Reps:
"Maximal-munch" Tokenization in Linear Time. 259-273 - Jun Lang, David B. Stewart:
A Study of the Applicability of Existing Exception-Handling Techniques to Component-Base Real-Time Software Technology. 274-301 - Daniel Jackson, Somesh Jha, Craig Damon:
Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications. 302-343 - Rémi Douence, Pascal Fradet:
A Systematic Study of Functional Language Implementations. 344-387 - Vugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee:
A New Framework for Elimination-Based Data Flow Analysis Using DJ Graphs. 388-435 - Naoki Kobayashi:
A Partially Deadlock-Free Typed Process Calculus. 436-482
Volume 20, Number 3, May 1998
- Martin C. Rinard, Monica S. Lam:
The Design, Implementation, and Evaluation of Jade. 483-545 - Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum:
Static Caching for Incremental Computation. 546-585 - Konstantinos Sagonas, Terrance Swift:
An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs. 586-634 - William W. Pugh, David Wonnacott:
Constraint-Based Array Dependence Analysis. 635-678 - 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
- Oukseh Lee, Kwangkeun Yi:
Proofs about a Folklore Let-Polymorphic Type Inference Algorithm. 707-723 - Mads Tofte, Lars Birkedal:
A Region Inference Algorithm. 724-767 - María Alpuente, Moreno Falaschi, Germán Vidal:
Partial Evaluation of Functional Logic Programs. 768-844 - J. Michael Ashley, R. Kent Dybvig:
A Practical and Flexible Flow Analysis for Higher-Order Languages. 845-868 - Ken Kennedy, Ulrich Kremer:
Automatic Data Layout for Distributed-Memory Machines. 869-916
Volume 20, Number 5, September 1998
- Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata:
Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules. 917-979 - Tim A. Wagner, Susan L. Graham:
Efficient and Flexible Incremental Parsing. 980-1013 - Krzysztof R. Apt, Jacob Brunekreef, Vincent Partington, Andrea Schaerf:
Alma-O: An Imperative Language That Supports Declarative Programming. 1014-1066 - Roberto Giacobazzi, Francesca Scozzari:
A Logical Model for Relational Abstract Domains. 1067-1109
Volume 20, Number 6, November 1998
- Dhananjay M. Dhamdhere, K. V. Sankaranarayanan:
Dynamic Currency Determination in Optimized Programs. 1111-1130 - Saniya Ben Hassen, Henri E. Bal, Ceriel J. H. Jacobs:
A Task- and Data-Parallel Programming Language Based on Shared Objects. 1131-1170 - Rajeev Alur, Thomas A. Henzinger:
Finitary Fairness. 1171-1194 - Tao Yang, Cong Fu:
Space/Time-Efficient Scheduling and Execution of Parallel Irregular Computations. 1195-1222 - Andrew D. Kelly, Kim Marriott, Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap:
Optimizing Compilation of CLP(R). 1223-1250 - Jens Palsberg:
Equality-based flow analysis versus recursive types. 1251-1264 - Adam L. Buchsbaum, Haim Kaplan, Anne Rogers, Jeffery R. Westbrook:
A New, Simpler Linear-Time Dominators Algorithm. 1265-1296 - Max Hailperin:
Cost-Optimal Code Motion. 1297-1322
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.
last updated on 2023-01-29 20:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
