First-class features

Magdeburg, Univ., Fak. für Informatik, Diss., 2011

Distalizador First Class modificado para ancoragem em mini-implantes

FAPESP 2009/04843-7, 2011/17126-1

Pinocchio: Bringing Reflection to Life with First-Class Interpreters

To support development tools like debuggers, runtime systems need to provide a meta-programming interface to alter their semantics and access internal data. Reflective capabilities are typically fixed by the Virtual Machine (VM). Unanticipated reflective features must either be simulated by complex program transformations, or they require the development of a specially tailored VM. We propose a novel approach to behavioral reflection that eliminates the barrier between applications and the VM by manipulating an explicit tower of first-class interpreters. Pinocchio is a proof-of-concept implementation of our approach which enables radical changes to the interpretation of programs by explicitly instantiating subclasses of the base interpreter. We illustrate the design of Pinocchio through non-trivial examples that extend runtime semantics to support debugging, parallel debugging, and back-in-time object-flow debugging. Although performance is not yet addressed, we also discuss numerous opportunities for optimization, which we believe will lead to a practical approach to behavioral reflection.

Incremental Dynamic Updates with First-class Contexts

Highly available software systems occasionally need to be updated while avoiding downtime. Dynamic software updates reduce down-time, but still require the system to reach a quiescent state in which a global update can be performed. This can be difficult for multi-threaded systems. We present a novel approach to dynamic updates using first-class contexts, called Theseus. First-class contexts make global updates unnecessary: existing threads run to termination in an old context, while new threads start in a new, updated context; consistency between contexts is ensured with the help of bidirectional transformations. We show that for multi-threaded systems with coherent memory, first-class contexts offer a practical and flexible approach to dynamic updates, with acceptable overhead.

Workflow-centric research objects: First class citizens in scholarly discourse.

A workflow-centric research object bundles a workflow, the provenance of the results obtained by its enactment, other digital objects that are relevant for the experiment (papers, datasets, etc.), and annotations that semantically describe all these objects. In this paper, we propose a model to specify workflow-centric research objects, and show how the model can be grounded using semantic technologies and existing vocabularies, in particular the Object Reuse and Exchange (ORE) model and the Annotation Ontology (AO).We describe the life-cycle of a research object, which resembles the life-cycle of a scienti?c experiment.

The following case is submitted to the Queen, Lords and Commons, who comprise, when justly balanced, forming a useful check and control over each other, the noble first class ship constitution : to the honest, religious, church-going rads; to the base, bloody, and brutal Whigs; to the disloyal, bloody Tories; to the British people.

Mode of access: Internet.

A sequel to the Common school grammar; containing, in addition to other materials and illustrations, notes and critical remarks on the philosophy of the English language; and explaining some of its most difficult idiomatic phrases. Designed for the use of the first class in common schools.

Mode of access: Internet.

The American first class book; or, Exercises in reading and recitation: selected principally from modern authors of Great Britain and America; and designed for the use of the highest class in publick and private schools.

Mode of access: Internet.

The French first class book : being a new selection of reading lessons ... : the whole calculated to interest as well as improve the learner /

Mode of access: Internet.

The American first class book; or, Exercises in reading and recitation: selected principally from modern authors of Great Britain and America; and designed for the use of the highest class, in public and private schools.

Mode of access: Internet.

The engineers' manual of the local marine board examinations : for certificates of competency as second and first-class engineers /

Mode of access: Internet.

Stories and lessons on the catechism with the first-class girls of Forley /

Mode of access: Internet.

The American first class book : or, Exercises in reading and recitation ... /

Mode of access: Internet.