Остановите войну!
for scientists:
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 34 matches
- 1997
- Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
Set-Sharing is Redundant for Pair-Sharing. SAS 1997: 53-67 - Dante Baldan, Gilberto Filé:
Abstract Interpretation from Improving WAM Code. SAS 1997: 364 - Chiara Bodei, Corrado Priami:
True Concurrency via Abstract Interpretation. SAS 1997: 202-216 - Bernard Boigelot, Patrice Godefroid, Bernard Willems, Pierre Wolper:
The Power of QDDs (Extended Abstract). SAS 1997: 172-186 - Jürgen Brauburger:
Automatic Termination Analysis for Partial Functions Using Polynomial Orderings. SAS 1997: 330-344 - Baudouin Le Charlier, Pierre Flener:
On the Desirable Link Between Theory and Practice in Abstract Interpretation (Extended Abstract). SAS 1997: 379-387 - Michael Codish, Vitaly Lagoon, Francisco Bueno:
An Algebraic Approach to Sharing Analysis of Logic Programs. SAS 1997: 68-82 - Loïc Correnson, Étienne Duris, Didier Parigot, Gilles Roussel:
Attribute Grammars and Functional Programming Deforestation. SAS 1997: 365 - Patrick Cousot:
Abstract Interpretation Based Static Analysis Parameterized by Semantics. SAS 1997: 388-394 - Pavel G. Emelianov, Danil E. Baburin:
Semantic Analyzer of Modula-Programs. SAS 1997: 361-363 - Manuel Fähndrich, Alexander Aiken:
Program Analysis Using Mixed Term and Set Constraints. SAS 1997: 114-126 - Alexandre Frey:
Satisfying Subtype Inequalities in Polynomial Space. SAS 1997: 265-277 - Philippe Granger:
Static Analyses of Congruence Properties on Rational Numbers (Extended Abstract). SAS 1997: 278-292 - Luddy Harrison:
Can Abstract Interpretation Become a Mainstream Compiler Technology? (Abstract). SAS 1997: 395 - Luke Hornof, Charles Consel, Jacques Noyé:
Effective Specialization of Realistic Programs via Use Sensitivity. SAS 1997: 293-314 - Atsushi Igarashi, Naoki Kobayashi:
Type-Based Analysis of Communication for Concurrent Programming Languages. SAS 1997: 187-201 - Suresh Jagannathan, Stephen Weeks, Andrew K. Wright:
Type-Directed Flow Analysis for Typed Intermediate Languages. SAS 1997: 232-249 - Neil D. Jones:
Combining Abstract Interpretation and Partial Evaluation (Brief Overview). SAS 1997: 396-405 - Ian Mackie:
Static Analysis of Interaction Nets for Distributed Implementations. SAS 1997: 217-231 - Kim Marriott:
Abstract Interpretation: A Theory of Approximate Computation. SAS 1997: 367-378 - Christian Mossin:
Exact Flow Analysis. SAS 1997: 250-264 - Sven Eric Panitz, Manfred Schmidt-Schauß:
TEA: Automatically Proving Termination of Programs in a Non-strict Higher-Order Functional Language. SAS 1997: 345-360 - G. Ramalingam:
On Sparse Evaluation Representations. SAS 1997: 1-15 - Barbara G. Ryder:
Practical Compile-Time Analysis. SAS 1997: 406-412 - Francesca Scozzari:
Logical Optimality of Groundness Analysis. SAS 1997: 83-97 - Marc Shapiro, Susan Horwitz:
The Effects of the Precision of Pointer Analysis. SAS 1997: 16-34 - Chris Speirs, Zoltan Somogyi, Harald Søndergaard:
Termination Analysis for Mercury. SAS 1997: 160-171 - Jean-Marc Talbot, Sophie Tison, Philippe Devienne:
Set-Based Analysis for Logic Programming and Tree Automata. SAS 1997: 127-140 - Stanislav Tzolovski:
Data Dependence as Abstract Interpretations. SAS 1997: 366 - Gang-Ryung Uh, David B. Whalley:
Coalescing Conditional Branches into Efficient Indirect Jumps. SAS 1997: 315-329
skipping 4 more matches
loading more results
failed to load more results, please try again later
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-05-25 14:18 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