Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th PADL 2011: Austin, TX, USA
- 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
Invited Talks
- Roope Kaivola:
Intel CoreTM i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework. 1 - Raymond J. Mooney:
Learning Language from Its Perceptual Context. 2-4
Message-Passing and Mobile Networks
- Maria Christakis, Konstantinos Sagonas:
Detection of Asynchronous Message Passing Errors Using Static Analysis. 5-18 - Neil C. C. Brown:
Combinators for Message-Passing in Haskell. 19-33 - Theofrastos Mantadelis, Koosha Paridel, Gerda Janssens, Yves Vanrompay, Yolande Berbers:
Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog. 34-37
Profiling and Implementation
- 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. 38-53 - Timothy L. Hinrichs:
Plato: A Compiler for Interactive Web Forms. 54-68 - Jan Wielemaker, Vítor Santos Costa:
On the Portability of Prolog Applications. 69-83
Grammars, Merging and Constraint Programming
- Dominique Devriese, Frank Piessens:
Explicitly Recursive Grammar Combinators - A Better Model for Shallow Parser DSLs. 84-98 - Christoph Redl, Thomas Eiter, Thomas Krennwallner:
Declarative Belief Set Merging Using Merging Plans. 99-114 - Pedro D. Salgueiro, Daniel Diaz, Isabel Brito, Salvador Abreu:
Using Constraints for Intrusion Detection: The NeMODe System. 115-129
Language Extensions and Tools
- Pavel Krajcevski, John H. Reppy:
A Declarative API for Particle Systems. 130-144 - Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez:
Integrating XPath with the Functional-Logic Language Toy. 145-159 - Jan Christiansen:
Sloth - A Tool for Checking Minimal-Strictness. 160-174
Concurrent and Parallel Programming
- Don Syme, Tomas Petricek, Dmitry Lomov:
The F# Asynchronous Programming Model. 175-189 - Eric Holk, William E. Byrd, Jeremiah Willcock, Torsten Hoefler, Arun Chauhan, Andrew Lumsdaine:
Kanor - A Declarative Language for Explicit Communication. 190-204 - Tomas Petricek, Don Syme:
Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming. 205-219
Event Processing and Reactive Programming
- Paul Fodor, Darko Anicic, Sebastian Rudolph:
Results on Out-of-Order Event Processing. 220-234 - Andreas Voellmy, Paul Hudak:
Nettle: Taking the Sting Out of Programming Network Routers. 235-249 - Chaitanya Belwal, Albert M. K. Cheng:
Determining Actual Response Time in P-FRP. 250-264
a service of 
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.
last updated on 2024-09-05 23:30 CEST 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:
