Остановите войну!
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 37 matches
- 2008
- Matthew Arnold, Martin T. Vechev, Eran Yahav:
QVM: an efficient runtime for detecting defects in deployed systems. OOPSLA 2008: 143-162 - Pierre Baldi, Cristina Videira Lopes, Erik Linstead, Sushil Krishna Bajracharya:
A theory of aspects as latent topics. OOPSLA 2008: 543-562 - Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich:
Verifying correct usage of atomic blocks and typestate. OOPSLA 2008: 227-244 - Ben Bellamy, Pavel Avgustinov, Oege de Moor, Damien Sereni:
Efficient local type inference. OOPSLA 2008: 475-492 - Michael D. Bond, Kathryn S. McKinley:
Tolerating memory leaks. OOPSLA 2008: 109-126 - Eric Bouillet, Mark Feblowitz, Zhen Liu, Anand Ranganathan, Anton Riabov:
A tag-based approach for the design and composition of information processing applications. OOPSLA 2008: 585-602 - Rick Chern, Kris De Volder:
The impact of static-dynamic coupling on remodularization. OOPSLA 2008: 261-276 - Barthélémy Dagenais, Laurie J. Hendren:
Enabling static analysis for partial java programs. OOPSLA 2008: 313-328 - Dino Distefano, Matthew J. Parkinson:
jStar: towards practical verification for java. OOPSLA 2008: 213-226 - Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich:
Safer unsafe code for .NET. OOPSLA 2008: 329-346 - Richard P. Gabriel:
Designed as designer. OOPSLA 2008: 617-632 - Andy Georges, Lieven Eeckhout, Dries Buytaert:
Java performance evaluation through rigorous replay compilation. OOPSLA 2008: 367-384 - Joseph Gil, Itay Maman:
Whiteoak: introducing structural typing into java. OOPSLA 2008: 73-90 - Madhu Gopinathan, Sriram K. Rajamani:
Enforcing object protocols by combining static and runtime analysis. OOPSLA 2008: 245-260 - Lennart C. L. Kats, Martin Bravenboer, Eelco Visser:
Mixing source and bytecode: a case for compilation by normalization. OOPSLA 2008: 91-108 - Kiyokuni Kawachiya, Kazunori Ogata, Tamiya Onodera:
Analysis and reduction of memory inefficiencies in Java strings. OOPSLA 2008: 385-402 - Adriaan Moors, Frank Piessens, Martin Odersky:
Generics of a higher kind. OOPSLA 2008: 423-438 - Radu Muschevici, Alex Potanin, Ewan D. Tempero, James Noble:
Multiple dispatch in practice. OOPSLA 2008: 563-582 - Nomair A. Naeem, Ondrej Lhoták:
Typestate-like analysis of multiple interacting objects. OOPSLA 2008: 347-366 - Yang Ni, Adam Welc, Ali-Reza Adl-Tabatabai, Moshe Bach, Sion Berkowits, James Cownie, Robert Geva, Sergey Kozhukow, Ravi Narayanaswamy, Jeffrey Olivier, Serguei Preis, Bratin Saha, Ady Tal, Xinmin Tian:
Design and implementation of transactional constructs for C/C++. OOPSLA 2008: 195-212 - Nathaniel Nystrom, Vijay A. Saraswat, Jens Palsberg, Christian Grothoff:
Constrained types for object-oriented languages. OOPSLA 2008: 457-474 - Bruno C. d. S. Oliveira, Meng Wang, Jeremy Gibbons:
The visitor pattern as a reusable, generic, type-safe component. OOPSLA 2008: 439-456 - Gregory B. Prokopski, Clark Verbrugge:
Analyzing the performance of code-copying virtual machines. OOPSLA 2008: 403-422 - Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati:
Efficient software model checking of soundness of type systems. OOPSLA 2008: 493-504 - Claudio V. Russo:
Join patterns for visual basic. OOPSLA 2008: 53-72 - Max Schäfer, Torbjörn Ekman, Oege de Moor:
Sound and extensible renaming for java. OOPSLA 2008: 277-294 - Hans Schippers, Dirk Janssens, Michael Haupt, Robert Hirschfeld:
Delegation-based semantics for modularizing crosscutting concerns. OOPSLA 2008: 525-542 - Florian T. Schneider, Vijay Menon, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai:
Dynamic optimization for efficient strong atomicity. OOPSLA 2008: 181-194 - Ajeet Shankar, Matthew Arnold, Rastislav Bodík:
Jolt: lightweight dynamic analysis and removal of object churn. OOPSLA 2008: 127-142 - Christopher L. Simpkins, Sooraj Bhat, Charles Lee Isbell Jr., Michael Mateas:
Towards adaptive programming: integrating reinforcement learning into a programming language. OOPSLA 2008: 603-614
skipping 7 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-04-23 18:31 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