Abstract is missing.
- Recent Advances in Declarative NetworkingBoon Thau Loo, Harjot Gill, Changbin Liu, Yun Mao, William R. Marczak, Micah Sherr, Anduo Wang, Wenchao Zhou. 1-16 [doi]
- Make Things Now! Pragmatic Functional Programming in HaskellDon Stewart. 17 [doi]
- A Declarative Approach for Software ModelingMayer Goldberg, Guy Wiener. 18-32 [doi]
- Contracts and Specifications for Functional Logic ProgrammingSergio Antoy, Michael Hanus. 33-47 [doi]
- The Environment as an Argument - Context-Aware Functional ProgrammingPedro M. Martins, Julie A. McCann, Susan Eisenbach. 48-62 [doi]
- Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented SolvingYuliya Lierler, Shaden Smith, Miroslaw Truszczynski, Alex Westlund. 63-77 [doi]
- Practical and Methodological Aspects of the Use of Cutting-Edge ASP ToolsMarcello Balduccini, Yulia Lierler. 78-92 [doi]
- Efficient Tabling of Structured Data Using Indexing and Program TransformationChristian Theil Have, Henning Christiansen. 93-107 [doi]
- Optimizing Inequality Joins in Datalog with Approximated Constraint PropagationDario Campagna, Beata Sarna-Starosta, Tom Schrijvers. 108-122 [doi]
- Symbolic Execution of Concurrent Objects in CLPElvira Albert, Puri Arenas, Miguel Gómez-Zamalloa. 123-137 [doi]
- A Segment-Swapping Approach for Executing Trapped ComputationsPablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo. 138-152 [doi]
- Palovca: Describing and Executing Graph Algorithms in HaskellMichael Lesniak. 153-167 [doi]
- LearnPADS + + : Incremental Inference of Ad Hoc Data FormatsKenny Qili Zhu, Kathleen Fisher, David Walker. 168-182 [doi]
- The Kennedy-Warren Algorithm Revisited: Ordering Attribute GrammarsJeroen Bransen, Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra. 183-197 [doi]
- Distributed Policy Specification and Interpretation with Classified AdvertisementsNicholas Coleman. 198-211 [doi]
- Handshaking in Kansas Lava Using Patch LogicAndy Gill, Bowe Neuenschwander. 212-226 [doi]
- Virtualizing Real-World Objects in FRPDaniel Winograd-Cort, Hai Liu, Paul Hudak. 227-241 [doi]
- Resource-Safe Systems Programming with Embedded Domain Specific LanguagesEdwin Brady, Kevin Hammond. 242-257 [doi]
- Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling LanguagesDavid Broman, Henrik Nilsson. 258-272 [doi]
- A Declarative Specification of Tree-Based Symbolic Arithmetic ComputationsPaul Tarau. 273-288 [doi]
- Typing the Numeric TowerVincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen. 289-303 [doi]