default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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 30 matches
- 2008
- Xavier Allamigeon:
Non-disjunctive Numerical Domain for Array Predicate Abstraction. ESOP 2008: 163-177 - Gilles Barthe, César Kunz:
Certificate Translation in Abstract Interpretation. ESOP 2008: 368-382 - Gérard Boudol:
Typing Safe Deallocation. ESOP 2008: 116-130 - Olivier Bouissou, Matthieu Martel:
A Hybrid Denotational Semantics for Hybrid Systems. ESOP 2008: 63-77 - Maria Grazia Buscemi, Ugo Montanari:
Open Bisimulation for the Concurrent Constraint Pi-Calculus. ESOP 2008: 254-268 - Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang:
Ranking Abstractions. ESOP 2008: 148-162 - James Cheney
:
Regular Expression Subtyping for XML Query and Update Languages. ESOP 2008: 32-47 - Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely:
Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract). ESOP 2008: 208-223 - Sylvain Conchon, Jean-Christophe Filliâtre:
Semi-persistent Data Structures. ESOP 2008: 322-336 - Thierry Coquand:
Constructive Mathematics and Functional Programming (Abstract). ESOP 2008: 146-147 - Cédric Fournet, Nataliya Guts, Francesco Zappa Nardelli:
A Formal Implementation of Value Commitment. ESOP 2008: 383-397 - Cinzia Di Giusto, Maurizio Gabbrielli:
Full Abstraction for Linda. ESOP 2008: 78-92 - Sumit Gulwani, Madan Musuvathi:
Cover Algorithms and Their Combination. ESOP 2008: 193-207 - David Herman, Mitchell Wand:
A Theory of Hygienic Macros. ESOP 2008: 48-62 - Aquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli:
Oracle Semantics for Concurrent Separation Logic. ESOP 2008: 353-367 - Sebastian Hunt, David Sands:
Just Forget It - The Semantics and Enforcement of Information Erasure. ESOP 2008: 239-253 - Yûta Kaneko, Naoki Kobayashi:
Linear Declassification. ESOP 2008: 224-238 - K. Rustan M. Leino, Peter Müller:
Verification of Equivalent-Results Methods. ESOP 2008: 307-321 - Louis Mandel, Luc Maranget:
Programming in JoCaml (Tool Demonstration). ESOP 2008: 108-111 - Sonia Estévez Martín, Antonio J. Fernández, Fernando Sáenz-Pérez:
Playing with TOY: Constraints and Domain Cooperation. ESOP 2008: 112-115 - Jacob Matthews, Amal Ahmed:
Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!. ESOP 2008: 16-31 - Markus Müller-Olm, Helmut Seidl:
Upper Adjoints for Fast Inter-procedural Variable Equalities. ESOP 2008: 178-192 - Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson:
Iterative Specialisation of Horn Clauses. ESOP 2008: 131-145 - C.-H. Luke Ong:
Verification of Higher-Order Computation: A Game-Semantic Approach. ESOP 2008: 299-306 - Scott Owens:
A Sound Semantics for OCamllight. ESOP 2008: 1-15 - Rasmus Lerchedahl Petersen, Lars Birkedal, Aleksandar Nanevski, Greg Morrisett:
A Realizability Model for Impredicative Hoare Type Theory. ESOP 2008: 337-352 - Adam Poswolsky, Carsten Schürmann:
Practical Programming with Higher-Order Encodings and Dependent Types. ESOP 2008: 93-107 - Tachio Terauchi, Adam Megacz:
Inferring Channel Buffer Bounds Via Linear Programming. ESOP 2008: 284-298 - Hugo Torres Vieira, Luís Caires, João Costa Seco:
The Conversation Calculus: A Model of Service-Oriented Computation. ESOP 2008: 269-283 - Sophia Drossopoulou:
Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Lecture Notes in Computer Science 4960, Springer 2008, ISBN 978-3-540-78738-9 [contents]
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-11-03 16:14 CET 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
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:
