Open AccessBook
Practical Aspects of Declarative Languages
TLDR
A polymorphic data type that captures a broad range of temporal media is presented, leading to an algebraic theory of polymorphic temporal media that is valid for underlying media types that satisfy specific constraints.Abstract:
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. In this paper we present a polymorphic data type that captures a broad range of temporal media. We study its syntactic, temporal, and semantic properties, leading to an algebraic theory of polymorphic temporal media that is valid for underlying media types that satisfy specific constraints. The key technical result is an axiomatic semantics for polymorphic temporal media that is shown to be both sound and complete.read more
Citations
More filters
Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor
TL;DR: By design, Ciaopp is a generic tool, which can be easily tailored to perform program transformations and optimizations such as multiple abstract specialization, parallelization, and optimization of run-time tests for properties which cannot be checked completely at compile-time.
Book ChapterDOI
Analyzing Technical Debt by Mapping Production Logs with Source Code
TL;DR: In this paper , the authors used existing tools to identify technical debt using static code analysis and then employed production log analysis to rank these debts dynamically, based on software usage patterns in production.
References
More filters
Journal ArticleDOI
The family of concurrent logic programming languages
TL;DR: The expressive power of even the simplest language in the family of concurrent logic programming languages within a uniform operational framework is demonstrated and how varying the basic synchronization and control constructs affect the expressiveness and efficiency of the resulting languages is investigated.
Journal ArticleDOI
A survey of deductive database systems
TL;DR: An overview of the area of deductive databases, with a focus on implementation techniques, is provided, and a number of projects that have led to implemented systems are described.
Journal ArticleDOI
An abstract machine for tabled execution of fixed-order stratified logic programs
TL;DR: This article describes the architecture of the SLG-WAM for a powerful class of programs, the class of fixed-order dynamically stratified programs, and offers a detailed description of the algorithms, data structures, and instructions that the WAM adds, and a performance analysis of engine overhead due to the extensions.
Proceedings Article
Concurrency in Prolog using threads and a shared database
TL;DR: This paper proposes a new mechanism for implementing synchronization and communication for concurrency, based on atomic accesses to designated facts in the (shared) database, and argues that this model is comparatively easy to implement and harmonizes better than previous proposals within the Prolog control model and standard set of built-ins.