Titlebook: Implementation and Application of Functional Languages; 16th International W Clemens Grelck,Frank Huch,Phil Trinder Conference proceedings

六个才偏离

employor

The Feasibility of Interactively Probing Quiescent Properties of GUI Applications,as local state transition systems with quiescence. These properties can be added and removed at run-time. It is guaranteed that they are type-correct. We investigate the consequences of such an approach for one particular functional GUI library, .. The goal is to gain confidence in the quality of in

提升

A Functional Programming Technique for Forms in Graphical User Interfaces,nterface (GUI) restricted to displaying a value and allowing the user to modify it. The library is built on top of the medium-level GUI library .. To obtain complete separation between the structure of a form’s layout and that of the edited values, we introduce a novel use of ..

parasite

,A Rational Deconstruction of Landin’s SECD Machine, and practically as an idealized implementation, it has set the tone for the subsequent development of abstract machines for functional programming languages. However, and even though variants of the SECD machine have been presented, derived, and invented, the precise rationale for its architecture

揭穿真相

扩张

,,→, A Virtual Machine for Strict Evaluation of (Co)Recursive Functions, cyclic data graphs. By inspection of the call stack, it is possible in a strict evaluation environment to detect cycles in a computation, and thus transform finite input graphs infinite time. This paper presents a virtual machine with suitable cycle handling primitives and operational semantics to

你敢命令

Outshine

Source-Based Trace Exploration,race is recorded in a file; then the user studies the trace with a collection of viewing tools. Different views are complementary and can productively be used together. Experience shows that users of the viewing tools find it hard to keep orientation and navigate to a point of interest in the trace.

收藏品

得意人

Dynamic Construction of Generic Functions,mation that is available in dynamics to implement generic functions on their values. The library closely follows the static generic framework, both in its use and in its implementation. It can dynamically construct generic operations ranging from equality, . and parsers to pretty printers and generi