We provide an overall description of the Ciao multiparadigm programming system
emphasizing some of the novel aspects and motivations behind its design and …

The very nature of smart contracts and blockchain platforms, where program execution and
storage are replicated across a large number of nodes, makes resource consumption …

We present a framework that unifies unit testing and run-time verification (as well as static
verification and static debugging). A key contribution of our overall approach is that we …

We describe some of the novel aspects and motivations behind the design and
implementation of the Ciao multiparadigm programming system. An important aspect of Ciao …

Automatic cost analysis of programs has been traditionally concentrated on a reduced
number of resources such as execution steps, time, or memory. However, the increasing …

This article presents a heap space analysis for (sequential) Java bytecode. The analysis
generates heap space cost relations which define at compile-time the heap consumption of …

Tabled evaluation has been proved an effective method to improve several aspects of goal-
oriented query evaluation, including termination and complexity. Several “native” …

We will use the term higher brain functions to refer to the operations of the brain that stand at
the pinnacle of evolution and that, in may respects, are unique to humans. Verbal …

In this paper we study, in the context of a WAM-based abstract machine for Prolog, how
variations in the encoding of type information in tagged words and in their associated basic …

Regular types are a powerful tool for computing very precise descriptive types for logic
programs. However, in the context of real-life, modular Prolog programs, the accurate results …