Search
Search Results
-
BXtendDSL at Work: Combining Declarative and Imperative Programming of Bidirectional Model Transformations
Model transformations are a major driving force behind model-driven software development (MDSD), when typically an initial model is refined...
-
Declarative Programming
Understand the nature of and relationship between declarative and reactive programming.
-
Declarative Reasoning on Explanations Using Constraint Logic Programming
Explaining opaque Machine Learning (ML) models is an increasingly relevant problem. Current explanation in AI (XAI) methods suffer several...
-
Declarative Data Flow in a Graph-Based Distributed Memory Runtime System
Runtime systems can significantly reduce the cognitive complexity of scientific applications, narrowing the gap between systems engineering and...
-
Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings
This book constitutes the refereed proceedings of the 26th International Conference on Practical Aspects of Declarative Languages, PADL 2024, held in...
-
Applying declarative analysis to industrial automotive software product line models
Program analysis of automotive software has several unique challenges, including that the code base is ultra large, comprising over a hundred million...
-
DETEXA: declarative extensible text exploration and analysis through SQL
Metadata enrichment through text mining techniques is becoming one of the most significant tasks in digital libraries. Due to the exponential...
-
Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings
This book constitutes the proceedings of the 17th International Symposium on Functional and Logic Programming, FLOPS 2024, held in Kumamoto, Japan,...
-
Inductive Programming
Inductive programming is a branch of program synthesis that is based on inductive inference where a recursive, declarative program is constructed...
-
Concurrency and Declarative Programming
For some reason, concurrency in Core Data sounds scary for many developers, primarily because of crashes and lagging.
-
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings
This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in...
-
A Model and Declarative Language for Specifying Binary Data Formats
AbstractTasks related to binary data formats include parsing, generating, and conjoint code and data analysis. A key element for all of these tasks...
-
Declarative Application Management in the Fog
Orchestrating next-gen applications over heterogeneous resources along the Cloud-IoT continuum calls for new strategies and tools to enable scalable...
-
A Declarative Approach to Contrast Pattern Mining
This paper proposes a declarative approach to the problem of contrast pattern mining. The approach is based on encodings of the data and the problem...
-
Inferring Non-failure Conditions for Declarative Programs
Unintended failures during a computation are painful but frequent during software development. Failures due to external reasons (e.g., missing files,...
-
Declarative Visual Programming with Invariant, Pre- and Post-conditions for Lattice Approximation of 3D Models
In the context of Visual Programing for Product Design, the endowment of the Designer with programing tools to boost productivity is central....
-
Dash: declarative behavioural modelling in Alloy with control state hierarchy
We present Dash, an extension to the Alloy language to model dynamic behaviour using the labelled control state hierarchy of Statecharts. From...
-
Assigning Declarative Semantics to Some UML Activity Diagrams and BPMN Diagrams
Research problem and research questions: There exist several diagram techniques to represent (business) processes, such as Activity Diagrams and...
-
Practical Aspects of Declarative Languages 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings
This book constitutes the refereed proceedings of the 24th International Conference on Practical Aspects of Declarative Languages, PADL 2022, held in...
-
Logic Programming Paradigm
In this chapter we analyse a second main paradigm which supports declarative programming: logic programming. This paradigm includes both theoretical...