English
Related papers

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

200 papers

Proceedings of the Third International Workshop on Domain-Specific Languages and Models for Robotic Systems (DSLRob'12), held at the 2012 International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR 2012),…

Robotics · Computer Science 2013-02-21 Christian Schlegel , Ulrik P. Schultz , Serge Stinckwich

While application software does the real work, domain-specific languages (DSLs) are tools to help produce it efficiently, and language design assistants in turn are meta-tools to help produce DSLs quickly. DSLs are already in wide use (HTML…

Programming Languages · Computer Science 2007-05-23 Jan Heering

This volume contains the papers presented at DIR 2018: 17th Dutch-Belgian Information Retrieval Workshop (DIR) held on November 23, 2018 in Leiden. DIR aims to serve as an international platform (with a special focus on the Netherlands and…

Information Retrieval · Computer Science 2018-12-12 Alex Brandsen , Anne Dirkson , Wessel Kraaij , Wout Lamers , Suzan Verberne , Hugo de Vos , Gineke Wiggers

This volume contains a selection of papers presented at the 17th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2022). The workshops are the premier technical forum for presenting research and experiences…

Logic in Computer Science · Computer Science 2022-05-24 Rob Sumners , Cuong Chau

The Fifth International Workshop on Domain-Specific Languages and Models for Robotic Systems (DSLRob'14) was held in conjunction with the 2014 International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR…

Since the first conference in Marseille in 1982, the International Conference on Logic Programming (ICLP) has been the premier international event for presenting research in logic programming. These proceedings include the Technical…

Logic in Computer Science · Computer Science 2026-01-05 Martin Gebser , Daniela Inclezan , Francesco Ricca , Manuel Carro , Miroslaw Truszczynski

The production process of data-centric infographics entails problems related to a disconnection between the supporting software environments. We investigate those problems and redesigns this process following the model-driven paradigm. We…

Software Engineering · Computer Science 2022-03-18 Sergio España , Vijanti Ramautar , Sietse Overbeek , Tijmen Derikx

The THedu'11 workshop received thirteen submissions, twelve of which were accepted and presented during the workshop. For the post-conference proceedings nine submission where received and accepted. The submissions are within the scope of…

Systems and Control · Computer Science 2012-02-22 Pedro Quaresma , Ralph-Johan Back

The Sixth International Workshop on Domain-Specific Languages and Models for Robotic Systems (DSLRob'15) was held September 28, 2015 in Hamburg (Germany), as part of the IROS 2015 conference. The main topics of the workshop were…

Robotics · Computer Science 2016-01-21 Christian Schlegel , Ulrik Pagh Schultz , Serge Stinckwich , Sebastian Wrede

This volume contains the proceedings of the 7th International Workshop on Developments in Computational Models (DCM 2011) which was held on Sunday July 3, 2011, in Zurich, Switzerland, as a satelite workshop of ICALP 2011. Recently several…

Computational Engineering, Finance, and Science · Computer Science 2012-07-31 Elham Kashefi , Jean Krivine , Femke van Raamsdonk

This volume contains the proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2013), held in Istanbul, Turkey during August 25, 2013. CICLOPS is a well established line of…

Programming Languages · Computer Science 2013-08-01 Ricardo Rocha , Christian Theil Have

This paper is an extension to an early presented programming language, called a domain specific language. This paper extends the proposed concept with new sensors and behaviours to address real-life situations. The functionality was tested…

This volume constitutes the proceedings of LFMTP 2011, the Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. The LFMTP workshop series brings together designers, implementors, and practitioners to…

Logic in Computer Science · Computer Science 2011-11-01 Herman Geuvers , Gopalan Nadathur

This EPTCS volume contains the post-proceedings of the Twelfth International Workshop on Fixed Points in Computer Science, presenting a selection of the works presented during the workshop that took place in Naples (Italy) on the 19th and…

Logic in Computer Science · Computer Science 2025-11-04 Alexis Saurin

This volume contains the proceedings of the International Workshop on Developments in Implicit Computational complExity (DICE 2010), which took place on March 27-28 2010 in Paphos, Cyprus, as a satellite event of the Joint European…

Logic in Computer Science · Computer Science 2010-05-20 Patrick Baillot

This volume contains the proceedings of the 1st International Workshop on Applicable Formal Methods (AppFM 2021), 23 November 2021, held online as part of the 24th International Symposium on Formal Methods (FM). The aim of the AppFM…

Software Engineering · Computer Science 2021-11-16 Mario Gleirscher , Jaco van de Pol , Jim Woodcock

These are the revised versions of the papers presented at CICLOPS 2011, a workshop colocated with ICLP 2011.

Programming Languages · Computer Science 2011-12-22 Salvador Abreu , Vitor Santos Costa

In this paper, we show a textual analysis of past ICALEPCS and IPAC conference proceedings to gain insights into the research trends and topics discussed in the field. We use natural language processing techniques to extract meaningful…

Computation and Language · Computer Science 2023-10-16 Antonin Sulc , Annika Eichler , Tim Wilksen

Scientific literature contain important information related to cutting-edge innovations in diverse domains. Advances in natural language processing have been driving the fast development in automated information extraction from scientific…

Information Retrieval · Computer Science 2021-06-29 Antonio Jimeno Yepes , Xu Zhong , Douglas Burdick

Designing a new domain specific language is as any other complex task sometimes error-prone and usually time consuming, especially if the language shall be of high-quality and comfortably usable. Existing tool support focuses on the…

Software Engineering · Computer Science 2014-09-09 Gabor Karsai , Holger Krahn , Claas Pinkernell , Bernhard Rumpe , Martin Schindler , Steven Völkel