PADL C

11 papers

YearTitle / Authors
2021A Family of Unification-Oblivious Program Transformations and Their Applications.
Paul Tarau
2021A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States.
Fabio Tardivo, Loc Pham, Tran Cao Son, Enrico Pontelli
2021Causal-Consistent Reversible Debugging: Improving CauDEr.
Juan José González-Abril, Germán Vidal
2021ConFuzz: Coverage-Guided Property Fuzzing for Event-Driven Programs.
Sumit Padhiyar, K. C. Sivaramakrishnan
2021Data Validation Meets Answer Set Programming.
Mario Alviano, Carmine Dodaro, Arnel D. Zamayla
2021Declarative Debugging of XML Queries.
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón
2021Lightweight Declarative Server-Side Web Programming.
Michael Hanus
2021On Adding Pattern Matching to Haskell-Based Deeply Embedded Domain Specific Languages.
David Young, Mark Grebe, Andy Gill
2021Practical Aspects of Declarative Languages - 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings
José F. Morales, Dominic A. Orchard
2021Putting Gradual Types to Work.
Bhargav Shivkumar, Enrique Naudon, Lukasz Ziarek
2021Synchronous Message-Passing with Priority.
Cheng-En Chuang, Grant Iraci, Lukasz Ziarek