Run languages

Run-time debugging for functional logic languages

This thesis describes the design, implementation and use of a run-time debugging tool for understanding the lazy semantics and locating failures in the functional logic language Curry. We provide a means for programmers to step in the evaluation order of program expressions at a source code level. Every expression evaluated is detected by a program coverage in a layout of the source code. Its r...

Undestanding Stories in Different Languages with GETA-RUN

Run-Time Support for Distributed Sharing in Strongly-Typed Languages

In this paper, we present a new run-time system for strongly-typed programming languages that supports object sharing in a distributed system. The key insight in this system is that type information allows eecient and transparent sharing of data with both ne-grained and coarse-grained access patterns. In contrast, conventional distributed shared memory (DSM) systems that support sharing of an u...

On Improving Run-time Checking in Dynamic Languages

In order to detect incorrect program behaviors, a number of approaches have been proposed, which include a combination of language-level constructs (procedure-level annotations such as assertions/contracts, gradual types, etc.) and associated tools (such as static code analyzers and run-time verification frameworks). However, it is often the case that these constructs and tools are not used to ...

Run-time support for parallel discrete event simulation languages