English
Related papers

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

200 papers

This volume contains the proceedings of PLACES 2025, the 16th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The workshop is scheduled to take place in Hamilton, Canada, on May…

Programming Languages · Computer Science 2025-05-27 Farzaneh Derakhshan , Jan Hoffmann

This volume contains the proceedings of the Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015), held in London, UK, on 11 and 12 April, 2015. QAPL 2015 was a satellite event of the European Joint…

Logic in Computer Science · Computer Science 2015-09-29 Nathalie Bertrand , Mirco Tribastone

ICLP is the premier international event for presenting research in logic programming. Contributions to ICLP 2021 were sought in all areas of logic programming, including but not limited to: Foundations: Semantics, Formalisms, Nonmonotonic…

This volume contains the post-proceedings of the 14th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL), held as a satellite workshop of ETAPS 2016 in Eindhoven, The Netherlands, on 2-3 April 2016.

Programming Languages · Computer Science 2016-10-26 Mirco Tribastone , Herbert Wiklicky

Working with documents is a key part of almost any knowledge work, from contextualizing research in a literature review to reviewing legal precedent. Recently, as their capabilities have expanded, primarily text-based NLP systems have often…

Computation and Language · Computer Science 2025-04-18 Sireesh Gururaja , Nupoor Gandhi , Jeremiah Milbauer , Emma Strubell

The DICE workshop explores the area of Implicit Computational Complexity (ICC), which grew out from several proposals to use logic and formal methods to provide languages for complexity-bounded computation (e.g. Ptime, Logspace…

Logic in Computer Science · Computer Science 2017-04-19 Guillaume Bonfante , Georg Moser

Interacting with computers is a ubiquitous activity for millions of people. Repetitive or specialized tasks often require creation of small, often one-off, programs. End-users struggle with learning and using the myriad of domain-specific…

Programming Languages · Computer Science 2015-09-02 Aditya Desai , Sumit Gulwani , Vineet Hingorani , Nidhi Jain , Amey Karkare , Mark Marron , Sailesh R , Subhajit Roy

The exponential increase in scientific literature and online information necessitates efficient methods for extracting knowledge from textual data. Natural language processing (NLP) plays a crucial role in addressing this challenge,…

Computation and Language · Computer Science 2025-10-22 Zhyar Rzgar K. Rostam , Gábor Kertész

This is the arXiv index for the electronic proceedings of GD 2021, 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 2021-09-13 Helen Purchase , Ignaz Rutter

ICLP is the premier international event for presenting research in logic programming. Contributions to ICLP 2022 were sought in all areas of logic programming, including but not limited to: Foundations: Semantics, Formalisms, Nonmonotonic…

Logic in Computer Science · Computer Science 2022-08-05 Yuliya Lierler , Jose F. Morales , Carmine Dodaro , Veronica Dahl , Martin Gebser , Tuncay Tekle

The article presents a technology for dynamic knowledge-based building of Domain-Specific Languages (DSL) to describe data-intensive scientific discovery tasks using BigData technology. The proposed technology supports high level abstract…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-03-21 Sergey V. Kovalchuk , Artem V. Zakharchuk , Jiaqi Liao , Sergey V. Ivanov , Alexander V. Boukhanovsky

Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are solicited in all areas of logic programming and related areas, including but…

Context. Software development pipelines are used for automating essential parts of software engineering processes, such as build automation and continuous integration testing. In particular, interactive pipelines, which process events in a…

Programming Languages · Computer Science 2018-04-20 Gabriël Konat , Michael J. Steindorfer , Sebastian Erdweg , Eelco Visser

Welcome to the proceedings of FOCLASA 2012, the 11th International Workshop on the Foundations of Coordination Languages and Self-Adaptation. FOCLASA 2012 was held in Newcastle upon Tyne, UK, on September 8, 2012 as a satellite event of…

Distributed, Parallel, and Cluster Computing · Computer Science 2012-08-22 Natallia Kokash , António Ravara

Datasets play a central role in the training and evaluation of machine learning (ML) models. But they are also the root cause of many undesired model behaviors, such as biased predictions. To overcome this situation, the ML community is…

Machine Learning · Computer Science 2024-01-23 Joan Giner-Miguelez , Abel Gómez , Jordi Cabot

The goal of TFPIE is to gather researchers, professors, teachers, and all professionals interested in functional programming in education. This includes the teaching of functional programming, but also the application of functional…

Computers and Society · Computer Science 2014-12-16 James Caldwell , Philip Hölzenspies , Peter Achten

We present work in progress on abstracting dialog managers from their domain in order to implement a dialog manager development tool which takes (among other data) a domain description as input and delivers a new dialog manager for the…

cmp-lg · Computer Science 2007-05-23 Bernd Ludwig , Guenther Goerz , Heinrich Niemann

This volume contains the proceedings of EXPRESS/SOS 2021: the Combined 28th International Workshop on Expressiveness in Concurrency and the 18th Workshop on Structural Operational Semantics, which was held online, as an affiliated workshop…

Logic in Computer Science · Computer Science 2021-08-24 Ornela Dardha , Valentina Castiglioni

This volume contains the papers presented at CICLOPS'12: 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems held on Tueseday September 4th, 2012 in Budapest. The program included 1 invited talk, 9…

Programming Languages · Computer Science 2013-02-04 Nicos Angelopoulos , Roberto Bagnara

The 2013 D\'efi de Fouille de Textes (DEFT) campaign is interested in two types of language analysis tasks, the document classification and the information extraction in the specialized domain of cuisine recipes. We present the systems that…