![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
22nd PADL 2020: New Orleans, LA, USA
- Ekaterina Komendantskaya, Yanhong Annie Liu:
Practical Aspects of Declarative Languages - 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings. Lecture Notes in Computer Science 12007, Springer 2020, ISBN 978-3-030-39196-6
Logical Engines and Applications
- Paul Tarau, Eduardo Blanco:
Interactive Text Graph Mining with a Prolog-based Dialog Engine. 3-19 - Sheung Chi Chan, James Cheney
:
Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming. 20-36 - Thanh Hai Nguyen
, Enrico Pontelli
, Tran Cao Son
:
On Repairing Web Services Workflows. 37-53
Answer Set Programming Systems
- Kinjal Basu
, Farhad Shakerin
, Gopal Gupta
:
AQuA: ASP-Based Visual Question Answering. 57-72 - Alex Brik
, Jeffrey Xu
:
Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report. 73-81 - Vinh T. Nguyen
, Yuanlin Zhang, Kwanghee Jung
, Wanli Xing, Tommy Dang:
VRASP: A Virtual Reality Environment for Learning Answer Set Programming. 82-91
Memory and Real-Time in Functional Programming
- Martin Elsman
, Niels Hallenberg
:
On the Effects of Integrating Region-Based Memory Management and Generational Garbage Collection in ML. 95-112 - Bhargav Shivkumar
, Jeffrey C. Murphy, Lukasz Ziarek:
RTMLton: An SML Runtime for Real-Time Systems. 113-130 - David Janin:
A Timed IO Monad. 131-147
Reasoning and Efficient Implementation
- Johannes Klaus Fichte
, Markus Hecher
, Patrick Thier, Stefan Woltran
:
Exploiting Database Management Systems and Treewidth for Counting. 151-167 - Farhad Shakerin, Gopal Gupta:
Whitebox Induction of Default Rules Using High-Utility Itemset Mining. 168-176
Small Languages and Implementation
- Martin Erwig, Prashant Kumar, Alan Fern:
Explanations for Dynamic Programming. 179-195 - Johannes Eriksson
, Masoumeh Parsa
:
A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams. 196-212 - Ramy Shahin, Marsha Chechik:
Variability-Aware Datalog. 213-221
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.