Остановите войну!
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 30 matches
- 2012
- Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi:
What's Decidable about Weak Memory Models? ESOP 2012: 26-46 - Gilles Barthe, Delphine Demange, David Pichardie:
A Formally Verified SSA-Based Middle-End - Static Single Assignment Meets CompCert. ESOP 2012: 47-66 - Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang:
Concurrent Library Correctness on the TSO Memory Model. ESOP 2012: 87-107 - Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, Mooly Sagiv:
Eventually Consistent Transactions. ESOP 2012: 67-86 - Rohit Chadha, Stefan Ciobaca, Steve Kremer:
Automated Verification of Equivalence Properties of Cryptographic Protocols. ESOP 2012: 108-127 - Stephen Chang, Matthias Felleisen:
The Call-by-Need Lambda Calculus, Revisited. ESOP 2012: 128-147 - Taolue Chen, Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska:
A Compositional Specification Theory for Component Behaviours. ESOP 2012: 148-168 - Patrick Cousot, Michael Monerau:
Probabilistic Abstract Interpretation. ESOP 2012: 169-193 - Pierre-Malo Deniélou, Nobuko Yoshida:
Multiparty Session Types Meet Communicating Automata. ESOP 2012: 194-213 - Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen:
Complete Monitors for Behavioral Contracts. ESOP 2012: 214-233 - Paul Downen, Zena M. Ariola:
A Systematic Approach to Delimited Control with Multiple Prompts. ESOP 2012: 234-253 - Kento Emoto, Sebastian Fischer, Zhenjiang Hu:
Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduce. ESOP 2012: 254-273 - Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raußen:
Trace Spaces: An Efficient New Technique for State-Space Reduction. ESOP 2012: 274-294 - Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan:
A Process Algebra for Wireless Mesh Networks. ESOP 2012: 295-315 - Axel Habermaier, Alexander Knapp:
On the Correctness of the SIMT Execution Model of GPUs. ESOP 2012: 316-335 - Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv:
Reasoning about Lock Placements. ESOP 2012: 336-356 - Jun Inoue, Walid Taha:
Reasoning about Multi-stage Programs. ESOP 2012: 357-376 - Jonas Braband Jensen, Lars Birkedal:
Fictional Separation Logic. ESOP 2012: 377-396 - Jacques-Henri Jourdan, François Pottier, Xavier Leroy:
Validating LR(1) Parsers. ESOP 2012: 397-416 - Neelakantan R. Krishnaswami, Nick Benton:
Adding Equations to System F Types. ESOP 2012: 417-435 - Gyesik Lee, Bruno C. d. S. Oliveira, Sungkeun Cho, Kwangkeun Yi:
GMeta: A Generic Formal Metatheory Framework for First-Order Representations. ESOP 2012: 436-455 - Sergueï Lenglet, Joe B. Wells:
Expansion for Universal Quantifiers. ESOP 2012: 456-475 - Ruy Ley-Wild, Umut A. Acar, Guy E. Blelloch:
Non-monotonic Self-Adjusting Computation. ESOP 2012: 476-496 - Andreas Lochbihler:
Java and the Java Memory Model - A Unified, Machine-Checked Formalisation. ESOP 2012: 497-517 - Yi Lu, John Potter, Chenyi Zhang, Jingling Xue:
A Type and Effect System for Determinism in Multithreaded Programs. ESOP 2012: 518-538 - Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho:
Linear Logical Relations for Session-Based Concurrency. ESOP 2012: 539-558 - Morten Rhiger:
Staged Computation with Staged Lexical Scope. ESOP 2012: 559-578 - Ilya Sergey, Dave Clarke:
Gradual Ownership Types. ESOP 2012: 579-599 - Bjarne Stroustrup:
Foundations of C++. ESOP 2012: 1-25 - Helmut Seidl:
Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Lecture Notes in Computer Science 7211, Springer 2012, ISBN 978-3-642-28868-5 [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-04-20 05: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