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 12
Volume 12, Number 1, January 1990
- Geoffrey Clemm, Leon J. Osterweil:
A Mechanism for Environment Integration. 1-25 - Susan Horwitz, Thomas W. Reps, David W. Binkley:
Interprocedural Slicing Using Dependence Graphs. 26-60 - Vance E. Waddle:
Production Trees: A Compact Representation of Parsed Programs. 61-83 - Ephraim Korach, Shay Kutten, Shlomo Moran:
A Modular Technique for the Design of Efficient Distributed Leader Finding Algorithms. 84-101 - Shing-Tsaan Huang:
A Distributed Deadlock Detection Algorithm for CSP-Like Communication. 102-122 - William M. Farmer, John D. Ramsdell, Ronald J. Watro:
A Correctness Proof for Combinator Reduction with Cycles. 123-134 - F. Warren Burton:
Type Extension Through Polymorphism. 135-138 - David Lorge Parnas:
On Iterative Constructs. 139-141
Volume 12, Number 2, April 1990
- Brad A. Myers:
Creating User Interfaces Using Programming by Example, Visual Programming, and Constraints. 143-177 - William E. Weihl:
Linguistic Support for Atomic Data Types. 178-202 - Edgar Knapp:
An Exercise in the Formal Derivation of Parallel Programs: Maximum Flows in Graphs. 203-223 - Jared L. Darlington:
Search Direction by Goal Failure in Goal-Directed Programming. 224-252 - Annalisa Bossi, Nicoletta Cocco, Susi Dulli:
A Method for Specializing Logic Programs. 253-302 - Sudhir Aggarwal, Costas Courcoubetis, Pierre Wolper
:
Adding Liveness Properties to Coupled Finite-State Machines. 303-339
Volume 12, Number 3, July 1990
- Michael G. Burke:
An Interval-Based Approach to Exhaustive and Incremental Interprocedural Data-Flow Analysis. 341-395 - Leslie Lamport:
win and sin: Predicate Transformers for Concurrency. ACM Trans. Program. Lang. Syst. 12(3): 396-428 (1990) - Larry G. Jones:
Efficient Evaluation of Circular Attribute Grammars. 429-462 - Maurice Herlihy, Jeannette M. Wing:
Linearizability: A Correctness Condition for Concurrent Objects. 463-492
Volume 12, Number 4, October 1990
- Fred C. Chow, John L. Hennessy:
The Priority-Based Coloring Approach to Register Allocation. 501-536 - James W. Stamos, David K. Gifford:
Remote Evaluation. 537-565 - Prasun Dewan, Marvin H. Solomon:
An Approach to Support Automatic Generation of User Interfaces. 566-609 - Hans Leiß:
On Kilbury's Modification of Earley's Algorithm. 610-640 - Laura K. Dillon:
Using Symbolic Execution for Verification of Ada Tasking Programs. 643-669 - Jack C. Wileden, Lori A. Clarke, Alexander L. Wolf:
A Comparative Evaluation of Object Definition Techniques. 670-699
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 2024-04-25 05:29 CEST 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:
