In sequential languages, dynamic contracts are usually expressed as boolean functions
without externally observable effects, written within the language. We propose an analogous …

TreatJS is a language embedded, higher-order contract system for JavaScript which
enforces contracts by run-time monitoring. Beyond providing the standard abstractions for …

The expressive power of functional logic languages supports high-level specifications as
well as efficient implementations of problems in the same language. If specifications are …

Static type systems are usually not sufficient to express all requirements on function calls.
Hence, contracts with pre-and postconditions can be used to express more complex …

Contract monitoring for strict higher-order functional languages has an intuitive meaning, an
established theoretical basis, and a standard implementation. For lazy functional languages …

Assertions are a familiar and widely used bug detection technique. Traditional assertion
checking, however, is performed synchronously, imposing its full cost on the runtime of the …

We present a new approach to contract semantics which expresses myriad monitoring
strategies using a small core of foundational communication primitives. This approach …

This dissertation introduces a framework enabling the dynamic verification of expressive
specifications. Inspired by formal verification methods, this framework supports assertion …

Contract systems have come to play a vital role in many aspects of software engineering.
This has resulted in a wide variety of approaches to enforcing contracts—ranging from the …

Contracts are a popular mechanism for enhancing the interface of components. In the world
of first-order functions, programmers embrace contracts because they write them in a familiar …