![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.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
- 1992
- Abdallah M. Alashqur, Stanley Y. W. Su, Herman Lam:
Constraint specification on object-oriented databases. ICCL 1992: 300-309 - Joshua S. Auerbach, David F. Bacon, Arthur P. Goldberg, Germán S. Goldszmidt, Ajei S. Gopal, Mark T. Kennedy, Andy Lowry, James R. Russell, William Silverman, Robert E. Strom, Daniel M. Yellin, Shaula Yemini:
High-level language support for programming distributed systems. ICCL 1992: 320-330 - Henri E. Bal:
Parallel programming in SR. ICCL 1992: 310-319 - Gilad Bracha, Gary Lindstrom:
Modularity meets inheritance. ICCL 1992: 282-290 - Timothy A. Budd:
Multiparadigm data structures in Leda. ICCL 1992: 165-173 - Baudouin Le Charlier, Pascal Van Hentenryck:
Experimental evaluation of a generic abstract interpretation algorithm for Prolog. ICCL 1992: 137-146 - Philippe Codognet, Gilberto Filé:
Computations, abstractions and constraints in logic programs. ICCL 1992: 155-164 - Keith D. Cooper, Mary W. Hall, Ken Kennedy:
Procedure cloning. ICCL 1992: 96-105 - Richard H. Crawford, Ronald A. Olsson, W. Wilson Ho, Christopher E. Wee:
Semantic issues in the design of languages for debugging. ICCL 1992: 252-261 - Lawrence A. Crowl, Thomas J. LeBlanc:
Control abstraction in parallel programming languages. ICCL 1992: 44-53 - A. Deutsch:
A storeless model of aliasing and its abstractions using finite representations of right-regular equivalence relations. ICCL 1992: 2-13 - Charles Farnum:
Dora-an environment for experimenting with compiler optimizers. ICCL 1992: 86-95 - Bjørn N. Freeman-Benson, Alan Borning:
The design and implementation of Kaleidoscope'90-A constraint imperative programming language. ICCL 1992: 174-180 - Sanjay Gadkari:
Abstract data groups: structuring distributed programs as layers. ICCL 1992: 222-231 - L. Gunaseelan, Richard J. LeBlanc:
Distributed Eiffel: a language for programming multi-granular distributed objects on the Clouds operating system. ICCL 1992: 331-340 - Rajiv Gupta:
SPMD execution of programs with dynamic data structures on distributed memory machines. ICCL 1992: 232-241 - William H. Harrison, Harold Ossher:
Attaching instance variables to method realization1 instead of classes. ICCL 1992: 291-299 - Laurie J. Hendren, Guang R. Gao:
Designing programming languages for analyzability: a fresh look at pointer data structures. ICCL 1992: 242-251 - R. Nigel Horspool, Jan Vitek:
Static analysis of PostScript code. ICCL 1992: 14-23 - E. Klein:
Parallel ordered attribute grammars. ICCL 1992: 106-116 - Lunjin Lu, Peter Greenfield:
Abstract fixpoint semantics and abstract procedural semantics of definite logic programs. ICCL 1992: 147-154 - Jens Palsberg:
An automatically generated and provably correct compiler for a subset of Ada. ICCL 1992: 117-126 - Mikael Pettersson, Peter Fritzson:
DML - a meta-language and system for the generation of practical and efficient compilers from denotational specifications. ICCL 1992: 127-136 - Uday S. Reddy, Samuel N. Kamin:
On the power of abstract interpretation. ICCL 1992: 24-33 - Mary Shaw, William A. Wulf:
Toward relaxing assumptions in languages and the1r implementations. ICCL 1992: 202-211 - Murali Sitaraman:
A class of programming language mechanisms to facilitate multiple implementations of the same specification. ICCL 1992: 272-281 - Shigeo Sugimoto, Tetsuo Sakaguchi, Koichi Tabata:
Layered architecture of multiple programming language system for multiparadigm programming. ICCL 1992: 190-199 - Peter Thiemann:
Optimizing structural recursion in functional programs. ICCL 1992: 76-85 - J. A. Trescher:
Compositional specification of parallel time-critical systems. ICCL 1992: 212-221 - Jürgen Vollmer, R. Hoffart:
Modula-P-a language for parallel programming definition and implementation on a transputer network. ICCL 1992: 54-64
skipping 5 more matches
loading more results
failed to load more results, please try again later
![](https://dblp1.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-08-30 16:49 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