This paper surveys recent work on applying analysis and transformation techniques that
originate in the field of constraint logic programming (CLP) to the problem of verifying …

Energy consumption analysis of embedded programs requires the analysis of low-level
program representations. This is challenging because the gap between the high-level …

Energy models can be constructed by characterizing the energy consumed when executing
each instruction in a processor's instruction set. This can be used to determine how much …

Many applications require conformance with specifications that constrain the use of
resources, such as execution time, energy, bandwidth, etc. We present a configurable …

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 …

Energy transparency is a concept that makes a program's energy consumption visible, from
hardware up to software, through the different system layers. Such transparency can enable …

Multi-core and highly connected architectures have become ubiquitous, and this has
brought renewed interest in language-based approaches to the exploitation of parallelism …

Software systems commonly use resources such as network connections or external file
handles. Once finish using the resources, the software systems must release these …

Several activities in service oriented computing can benefit from knowing properties of a
given service composition ahead of time. We will focus here on properties related to …

Context-sensitive global analysis of large code bases can be expensive, which can make its
use impractical during software development. However, there are many situations in which …