![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 35 matches
- 1982
- Jacques J. Arsac, Yves Kodratoff:
Some Techniques for Recursion Removal from Recursive Programs. ACM Trans. Program. Lang. Syst. 4(2): 295-322 (1982) - Edward A. Ashcroft, William W. Wadge:
R/ for Semantics. ACM Trans. Program. Lang. Syst. 4(2): 283-294 (1982) - Theodore P. Baker:
A One-Pass Algorithm for Overload Resolution in Ada. ACM Trans. Program. Lang. Syst. 4(4): 601-614 (1982) - J. Bergeron, A. Dubuque:
A Structured APL System. ACM Trans. Program. Lang. Syst. 4(4): 585-600 (1982) - H. J. Boom:
A Weaker Precondition for Loops. ACM Trans. Program. Lang. Syst. 4(4): 668-677 (1982) - Manfred Broy, Peter Pepper:
Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm. ACM Trans. Program. Lang. Syst. 4(3): 362-381 (1982) - Frank DeRemer, Thomas J. Pennello:
Efficient Computation of LALR(1) Look-Ahead Sets. ACM Trans. Program. Lang. Syst. 4(4): 615-649 (1982) - Robert B. K. Dewar, Micha Sharir, Elia Weixelbaum:
Transformational Derivation of a Garbage Collection Algorithm. ACM Trans. Program. Lang. Syst. 4(4): 650-667 (1982) - Richard J. Fateman:
High-Level Language Implications of the Proposed IEEE Floating-Point Standard. ACM Trans. Program. Lang. Syst. 4(2): 239-257 (1982) - Martin S. Feather:
A System for Assisting Program Transformation. ACM Trans. Program. Lang. Syst. 4(1): 1-20 (1982) - Ralph E. Griswold:
The Evaluation of Expressions in Icon. ACM Trans. Program. Lang. Syst. 4(4): 563-584 (1982) - John L. Hennessy:
Symbolic Debugging of Optimized Code. ACM Trans. Program. Lang. Syst. 4(3): 323-344 (1982) - Maurice Herlihy, Barbara Liskov:
A Value Transmission Method for Abstract Data Types. ACM Trans. Program. Lang. Syst. 4(4): 527-551 (1982) - Christoph M. Hoffmann, Michael J. O'Donnell:
Programming with Equations. ACM Trans. Program. Lang. Syst. 4(1): 83-112 (1982) - Richard C. Holt, James R. Cordy, David B. Wortman:
An Introduction to S/SL: Syntax/Semantic Language. ACM Trans. Program. Lang. Syst. 4(2): 149-178 (1982) - Richard C. Holt, David B. Wortman:
A Model for Implementing Euclid Modules and Prototypes. ACM Trans. Program. Lang. Syst. 4(4): 552-562 (1982) - Leslie Lamport, Robert E. Shostak, Marshall C. Pease:
The Byzantine Generals Problem. ACM Trans. Program. Lang. Syst. 4(3): 382-401 (1982) - William R. Mallgren:
Formal Specification of Graphic Data Types. ACM Trans. Program. Lang. Syst. 4(4): 687-710 (1982) - Alberto Martelli, Ugo Montanari:
An Efficient Unification Algorithm. ACM Trans. Program. Lang. Syst. 4(2): 258-282 (1982) - James R. McGraw:
The VAL Language: Description and Analysis. ACM Trans. Program. Lang. Syst. 4(1): 44-82 (1982) - Jayadev Misra, K. Mani Chandy:
Termination Detection of Diffusing Computations in Communicating Sequential Processes. ACM Trans. Program. Lang. Syst. 4(1): 37-43 (1982) - Jayadev Misra, K. Mani Chandy:
A Distributed Graph Algorithm: Knot Detection. ACM Trans. Program. Lang. Syst. 4(4): 678-686 (1982) - Susan S. Owicki, Leslie Lamport:
Proving Liveness Properties of Concurrent Programs. ACM Trans. Program. Lang. Syst. 4(3): 455-495 (1982) - Robert Paige, Shaye Koenig:
Finite Differencing of Computable Expressions. ACM Trans. Program. Lang. Syst. 4(3): 402-454 (1982) - Gary L. Peterson:
An O(n log n) Unidirectional Algorithm for the Circular Extrema Problem. ACM Trans. Program. Lang. Syst. 4(4): 758-762 (1982) - Fred B. Schneider:
Synchronization in Distributed Programs. ACM Trans. Program. Lang. Syst. 4(2): 125-148 (1982) - Micha Sharir:
Some Observations Concerning Formal Differentiation of Set Theoretic Expressions. ACM Trans. Program. Lang. Syst. 4(2): 196-225 (1982) - Paolo Sipala:
Compact Storage of Binary Trees. ACM Trans. Program. Lang. Syst. 4(3): 345-361 (1982) - Eljas Soisalon-Soininen:
Inessential Error Entries and Their Use in LR Parser Optimization. ACM Trans. Program. Lang. Syst. 4(2): 179-195 (1982) - Andrew S. Tanenbaum
, Hans van Staveren, Johan W. Stevenson:
Using Peephole Optimization on Intermediate Code. ACM Trans. Program. Lang. Syst. 4(1): 21-36 (1982)
skipping 5 more matches
loading more results
failed to load more results, please try again later
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-07-03 04:33 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint