English
Related papers

Related papers: Proceedings IFIP Working Conference on Domain-Spec…

200 papers

These are the proceedings of the 5th workshop on Machine Learning for the Developing World (ML4D), held as part of the Thirty-fifth Conference on Neural Information Processing Systems (NeurIPS) on December 14th, 2021.

This volume constitutes the pre-proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020), organized by the University of Bologna, Italy, as part of Bologna Federated Conference on Programming Languages…

Programming Languages · Computer Science 2020-09-07 Michael Hanus , Claudio Sacerdoti Coen

Domain specific languages (DSLs) allow domain experts to model parts of the system under development in a problem-oriented notation that is well-known in the respective domain. The introduction of a DSL is often accompanied the desire to…

Software Engineering · Computer Science 2014-09-09 Bernhard Rumpe , Ingo Weisemöller

This paper describes an English audio and textual dataset of debating speeches, a unique resource for the growing research field of computational argumentation and debating technologies. We detail the process of speech recording by…

Computation and Language · Computer Science 2018-03-28 Shachar Mirkin , Michal Jacovi , Tamar Lavee , Hong-Kwang Kuo , Samuel Thomas , Leslie Sager , Lili Kotlerman , Elad Venezian , Noam Slonim

This is the arXiv index for the electronic proceedings of GD 2019, which contains the peer-reviewed and revised accepted papers with an optional appendix. Proceedings (without appendices) are also to be published by Springer in the Lecture…

Computational Geometry · Computer Science 2019-09-17 Daniel Archambault , Csaba D. Tóth

This document describes the contributions of the 2016 Applications of Logic Programming Workshop (AppLP), which was held on October 17 and associated with the International Conference on Logic Programming (ICLP) in Flushing, New York City.

Programming Languages · Computer Science 2017-04-11 David S. Warren , Yanhong A. Liu

In this paper, we present how we created a Domain Specific Language (DSL) dedicated to IP Multimedia Subsystem (IMS) at Ericsson. First, we introduce IMS and how developers are burdened by its complexity when integrating it in their…

Software Engineering · Computer Science 2015-09-28 Pascal Potvin , Mario Bonja , Gordon Bailey , Pierre Busnel

We study the problem of synthesizing domain-specific languages (DSLs) for few-shot learning in symbolic domains. Given a base language and instances of few-shot learning problems, where each instance is split into training and testing…

Programming Languages · Computer Science 2025-08-27 Paul Krogmeier , P. Madhusudan

We provide an overview of the organization and results of the deterministic part of the 4th International Planning Competition, i.e., of the part concerned with evaluating systems doing deterministic planning. IPC-4 attracted even more…

Artificial Intelligence · Computer Science 2011-09-27 S. Edelkamp , J. Hoffmann

We introduce doc2dial, a new dataset of goal-oriented dialogues that are grounded in the associated documents. Inspired by how the authors compose documents for guiding end users, we first construct dialogue flows based on the content…

Computation and Language · Computer Science 2020-11-20 Song Feng , Hui Wan , Chulaka Gunasekara , Siva Sankalp Patel , Sachindra Joshi , Luis A. Lastras

This document describes the findings of the Second Workshop on Neural Machine Translation and Generation, held in concert with the annual conference of the Association for Computational Linguistics (ACL 2018). First, we summarize the…

Computation and Language · Computer Science 2018-06-20 Alexandra Birch , Andrew Finch , Minh-Thang Luong , Graham Neubig , Yusuke Oda

We present the NLG component for L4, a prototype domain-specific language (DSL) for drafting laws and contracts. As a concrete use case, we describe a pipeline for a legal expert system created from L4 code. The NLG component is used in two…

Computation and Language · Computer Science 2021-07-07 Inari Listenmaa , Jason Morris , Alfred Ang , Maryam Hanafiah , Regina Cheong

This volume contains the proceedings of LINEARITY 2009: the first International Workshop on Linearity, which took place 12th September 2009 in Coimbra, Portugal. The workshop was a satellite event of CSL 2009, the 18th EACSL Annual…

Logic in Computer Science · Computer Science 2010-03-31 Mário Florido , Ian Mackie

This volume contains the proceedings of the second International Workshop on Interactions, Games and Protocols (IWIGP 2012). The workshop was held in Tallinn on March 25, 2012, as a satellite event of ETAPS 2012. The previous workshop took…

Computer Science and Game Theory · Computer Science 2012-02-21 Johannes Reich , Bernd Finkbeiner

External or internal domain-specific languages (DSLs) or (fluent) APIs? Whoever you are -- a developer or a user of a DSL -- you usually have to choose your side; you should not! What about metamorphic DSLs that change their shape according…

Programming Languages · Computer Science 2014-04-29 Mathieu Acher , Benoit Combemale , Philippe Collet

This volume constitutes the proceedings of WoF'15, the First International Workshop on Focusing, held on November 23rd, 2015 in Suva, Fiji. The workshop was a half-day satellite event of LPAR-20, the 20th International Conferences on Logic…

Logic in Computer Science · Computer Science 2015-12-21 Iliano Cervesato , Carsten Schürmann

This paper describes the submissions by team HWR to the Dravidian Language Identification (DLI) shared task organized at VarDial 2021 workshop. The DLI training set includes 16,674 YouTube comments written in Roman script containing…

Computation and Language · Computer Science 2021-03-10 Tommi Jauhiainen , Tharindu Ranasinghe , Marcos Zampieri

In this paper we describe an architecture and functionality of main components of a workbench for an acquisition of domain knowledge from large text corpora. The workbench supports an incremental process of corpus analysis starting from a…

cmp-lg · Computer Science 2008-02-03 Andrei Mikheev , Steven Finch

This volume contains the proceedings of the Eighteenth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2023), a two-day workshop held at the University of Texas at Austin and online, on November 13-14. These…

Logic in Computer Science · Computer Science 2023-11-15 Alessandro Coglio , Sol Swords

This volume contains the proceedings of the 20th International Conference on Quantum Physics and Logic (QPL 2023). The aim of the QPL conference series is to bring together academic and industry researchers working on mathematical…

Quantum Physics · Physics 2023-09-07 Shane Mansfield , Benoît Valiron , Vladimir Zamdzhiev