Declarative Debugging of Rewriting Logic Specifications? A. Riesco, A. Verdejo, R. Caballero, and N. Mart´ı-Oliet Facultad de Inform´ atica, Universidad Complutense de Madrid, Spain , {alberto, rafa,

Source URL: gpd.sip.ucm.es

Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming Rafael Caballero, Mario Rodr´ıguez Artalejo, and Rafael del Vado V´ırseda Dep. Sistemas Inform´ aticos y Programaci´ on, Univ. Comp

Source URL: gpd.sip.ucm.es

Charlottenstr. 2, 01099, Dresden Germany https://yoichihirai.com

Source URL: yoichihirai.com

• Software
• Hirai
• Coq
• Mathematical logic
• Declarative programming

Security and Privacy by Declarative Design Matteo Maffei Kim Pecina Manuel Reinert Saarland University Germany

Source URL: sps.cs.uni-saarland.de

A Declarative Characterization of Different Types of Multicomponent Tree Adjoining Grammars† Laura Kallmeyer () Collaborative Research Center 833, University of T¨ ubingen, Nauklerstr. 35, D-720

Source URL: user.phil-fak.uni-duesseldorf.de

BOOM Analytics: Exploring Data-Centric, Declarative Programming for the Cloud Peter Alvaro Tyson Condie

Source URL: www.neilconway.org

Declarative Information Extraction in a Probabilistic Database System Daisy Zhe Wang Eirinaios Chrysovalantis Michelakis Michael Franklin

Source URL: www.cise.ufl.edu

A Relational Transducers for Declarative Networking TOM J. AMELOOT, Hasselt University & Transnational University of Limburg FRANK NEVEN, Hasselt University & Transnational University of Limburg JAN VAN DEN BUSSCHE, Hass

Source URL: alpha.uhasselt.be

The Design and Implementation of Declarative Networks Boon Thau Loo Electrical Engineering and Computer Sciences

Source URL: www.eecs.berkeley.edu

• Software engineering
• Computing
• Computer programming
• Joseph M. Hellerstein
• Datalog
• Ion Stoica
• Scott Shenker
• Logic programming
• Samuel Madden
• Alma-0

Efficient Heap Management for Declarative Data Parallel Programming on Multicores Clemens Grelck1,2 and Sven-Bodo Scholz1 1 University of Hertfordshire

Source URL: clip.dia.fi.upm.es