Abstract is missing.
- Intel Core:::TM::: i7 Processor Execution Engine Validation in a Functional Language Based Formal FrameworkRoope Kaivola. 1 [doi]
- Learning Language from Its Perceptual ContextRaymond J. Mooney. 2-4 [doi]
- Detection of Asynchronous Message Passing Errors Using Static AnalysisMaria Christakis, Konstantinos F. Sagonas. 5-18 [doi]
- Combinators for Message-Passing in HaskellNeil C. C. Brown. 19-33 [doi]
- Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLogTheofrastos Mantadelis, Koosha Paridel, Gerda Janssens, Yves Vanrompay, Yolande Berbers. 34-37 [doi]
- Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic ProgramsEdison Mera, Teresa Trigo, Pedro López-García, Manuel V. Hermenegildo. 38-53 [doi]
- Plato: A Compiler for Interactive Web FormsTimothy L. Hinrichs. 54-68 [doi]
- On the Portability of Prolog ApplicationsJan Wielemaker, Vítor Santos Costa. 69-83 [doi]
- Explicitly Recursive Grammar Combinators - A Better Model for Shallow Parser DSLsDominique Devriese, Frank Piessens. 84-98 [doi]
- Declarative Belief Set Merging Using Merging PlansChristoph Redl, Thomas Eiter, Thomas Krennwallner. 99-114 [doi]
- Using Constraints for Intrusion Detection: The NeMODe SystemPedro D. Salgueiro, Daniel Diaz, Isabel Brito, Salvador Abreu. 115-129 [doi]
- A Declarative API for Particle SystemsPavel Krajcevski, John H. Reppy. 130-144 [doi]
- Integrating XPath with the Functional-Logic Language ToyRafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez. 145-159 [doi]
- Sloth - A Tool for Checking Minimal-StrictnessJan Christiansen. 160-174 [doi]
- The F# Asynchronous Programming ModelDon Syme, Tomas Petricek, Dmitry Lomov. 175-189 [doi]
- Kanor - A Declarative Language for Explicit CommunicationEric Holk, William E. Byrd, Jeremiah Willcock, Torsten Hoefler, Arun Chauhan, Andrew Lumsdaine. 190-204 [doi]
- Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent ProgrammingTomas Petricek, Don Syme. 205-219 [doi]
- Results on Out-of-Order Event ProcessingPaul Fodor, Darko Anicic, Sebastian Rudolph. 220-234 [doi]
- Nettle: Taking the Sting Out of Programming Network RoutersAndreas Voellmy, Paul Hudak. 235-249 [doi]
- Determining Actual Response Time in P-FRPChaitanya Belwal, Albert M. K. Cheng. 250-264 [doi]