![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/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 21 matches
- 2011
- Chaitanya Belwal, Albert M. K. Cheng
:
Determining Actual Response Time in P-FRP. PADL 2011: 250-264 - Neil C. C. Brown:
Combinators for Message-Passing in Haskell. PADL 2011: 19-33 - Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez:
Integrating XPath with the Functional-Logic Language Toy. PADL 2011: 145-159 - Maria Christakis, Konstantinos Sagonas
:
Detection of Asynchronous Message Passing Errors Using Static Analysis. PADL 2011: 5-18 - Jan Christiansen:
Sloth - A Tool for Checking Minimal-Strictness. PADL 2011: 160-174 - Dominique Devriese
, Frank Piessens:
Explicitly Recursive Grammar Combinators - A Better Model for Shallow Parser DSLs. PADL 2011: 84-98 - Paul Fodor
, Darko Anicic, Sebastian Rudolph
:
Results on Out-of-Order Event Processing. PADL 2011: 220-234 - Timothy L. Hinrichs:
Plato: A Compiler for Interactive Web Forms. PADL 2011: 54-68 - Eric Holk, William E. Byrd, Jeremiah Willcock, Torsten Hoefler, Arun Chauhan, Andrew Lumsdaine
:
Kanor - A Declarative Language for Explicit Communication. PADL 2011: 190-204 - Roope Kaivola:
Intel CoreTM i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework. PADL 2011: 1 - Pavel Krajcevski, John H. Reppy
:
A Declarative API for Particle Systems. PADL 2011: 130-144 - Theofrastos Mantadelis
, Koosha Paridel, Gerda Janssens, Yves Vanrompay, Yolande Berbers:
Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog. PADL 2011: 34-37 - Edison Mera, Teresa Trigo, Pedro López-García
, Manuel V. Hermenegildo:
Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs. PADL 2011: 38-53 - Raymond J. Mooney:
Learning Language from Its Perceptual Context. PADL 2011: 2-4 - Tomas Petricek, Don Syme:
Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming. PADL 2011: 205-219 - Christoph Redl, Thomas Eiter, Thomas Krennwallner
:
Declarative Belief Set Merging Using Merging Plans. PADL 2011: 99-114 - Pedro D. Salgueiro
, Daniel Diaz
, Isabel Brito
, Salvador Abreu
:
Using Constraints for Intrusion Detection: The NeMODe System. PADL 2011: 115-129 - Don Syme, Tomas Petricek, Dmitry Lomov:
The F# Asynchronous Programming Model. PADL 2011: 175-189 - Andreas Voellmy, Paul Hudak:
Nettle: Taking the Sting Out of Programming Network Routers. PADL 2011: 235-249 - Jan Wielemaker
, Vítor Santos Costa
:
On the Portability of Prolog Applications. PADL 2011: 69-83 - Ricardo Rocha
, John Launchbury:
Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings. Lecture Notes in Computer Science 6539, Springer 2011, ISBN 978-3-642-18377-5 [contents]
loading more results
failed to load more results, please try again later
![](https://dblp.org/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-09-12 11:44 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