On the Relation of Interaction Semantics to Continuations and Defunctionalization

In game semantics and related approaches to programming language semantics, programs are modelled by interaction dialogues. Such models have recently been used in the design of new compilation methods, e.g. for hardware synthesis or for programming with sublinear space. This paper relates such semantically motivated non-standard compilation methods to more standard techniques in the compilation of functional programming languages, namely continuation passing and defunctionalization. We first show for the linear {\lambda}-calculus that interpretation in a model of computation by interaction can be described as a call-by-name CPS-translation followed by a defunctionalization procedure that takes into account control-flow information. We then establish a relation between these two compilation methods for the simply-typed {\lambda}-calculus and end by considering recursion

The Need to Support of Data Flow Graph Visualization of Forensic Lucid Programs, Forensic Evidence, and their Evaluation by GIPSY

Lucid programs are data-flow programs and can be visually represented as data flow graphs (DFGs) and composed visually. Forensic Lucid, a Lucid dialect, is a language to specify and reason about cyberforensic cases. It includes the encoding of the evidence (representing the context of evaluation) and the crime scene modeling in order to validate claims against the model and perform event reconstruction, potentially within large swaths of digital evidence. To aid investigators to model the scene and evaluate it, instead of typing a Forensic Lucid program, we propose to expand the design and implementation of the Lucid DFG programming onto Forensic Lucid case modeling and specification to enhance the usability of the language and the system and its behavior. We briefly discuss the related work on visual programming an DFG modeling in an attempt to define and select one approach or a composition of approaches for Forensic Lucid based on various criteria such as previous implementation, wide use, formal backing in terms of semantics and translation. In the end, we solicit the readers' constructive, opinions, feedback, comments, and recommendations within the context of this short discussion.Comment: 11 pages, 7 figures, index; extended abstract presented at VizSec'10 at http://www.vizsec2010.org/posters ; short paper accepted at PST'1

Coherence compilation: applying AIED techniques to the reuse of educational resources

The HomeWork project is building an exemplar system to provide individualised experiences for individual and groups of children aged 6-7 years, their parents, teachers and classmates at school. It employs an existing set of broadcast video media and associated resources that tackle both numeracy and literacy at Key Stage 1. The system employs a learner model and a pedagogical model to identify what resource is best used with an individual child or group of children collaboratively at a particular learning point and at a particular location. The Coherence Compiler is that component of the system which is designed to impose an overall narrative coherence on the materials that any particular child is exposed to. This paper presents a high level vision of the design of the Coherence Compiler and sets its design within the overall framework of the HomeWork project and its learner and pedagogical models

Programming rural development funds – An interactive linear programming approach applied to the EAFRD program in Saxony-Anhalt

Policies for rural areas have become an important but complex policy field in the European Union`s Common Agricultural Policy. The purpose of this paper is to report on a methodological approach pursued to model the allocation of EAFRD (European Agricultural Fund for Rural Development) funds in Saxony-Anhalt. We show how an interactive programming approach can be developed and used to support our partner Ministry of Agriculture and the Environment. So far, various key elements of the modeling approach have been specified: the definition of all relevant policy measures and funding options, the assessment of impacts on the regional objectives pursued, the definition of relevant lower and upper bounds, and the formulation of co-financing requirements and possibilities. Some first results reveal potentials for policy adjustment. After some more refinements and specifications, the model is to be used interactively with Ministry representatives for scenario calculations to support policy-making and strategy development for rural development in Saxony-Anhalt.rural development, interactive programming, EAFRD, multi-level co-financing, Saxony-Anhalt, Agricultural and Food Policy, Agricultural Finance, Community/Rural/Urban Development, Environmental Economics and Policy, Institutional and Behavioral Economics, Public Economics,

EXEL : a language for interactive behavioral synthesis

This paper describes a new input language for behavioral synthesis called EXEL. EXEL is a powerful language that permits the user to specify partially designed structures in the language. It employs a mixed graphic/textual user interface to enhance user interactivity. EXEL's design model is comprehensive: it permits specification of synchronous and asynchronous behavior, and allows specification of general timing constraints. A flexible type construct permits the user to define operators and components to be used in the description. Finally, it simplifies compilation by using a small set of constructs for specifying timing and asynchronouos behavior. The compiler for EXEL runs on SUN-3 workstations and is written in C and SUNVIEW

Getting to Know You: Self-awareness Is Key for High-Performing, Adaptive Teams

KEY FINDINGS · Role identification behaviors, or information exchanges among team members regarding individuals’ roles within a team, are crucial to the development of a team’s self awareness. · If team members do not accurately exchange information about their roles, their responsibilities and duties may be unclear, important tasks may go unaddressed, and other tasks may be performed inefficiently (e.g., performed with redundant efforts). · The more that team members engage in role identification exchanges early in the team’s life cycle, the better the team’s performance