An object-oriented language that permits changing the behavior of a class or of a single object is said to support computational reflection. Existing reflective facilities in object-oriented languages are either complex, type unsafe, or have a large performance penalty. We propose a simple, easy-to-understand, and statically typed model that captures much of the functionalities of other reflect...

There are a variety of contexts where dynamic architecture evolution is needed. The context we have been working in is that of providing architecture models of NASA training simulations for manned space exploration. In this context, as in many others, we do not need unrestricted dynamic evolution, but only a limited form of dynamic evolution where the transitions and boundaries of that evolutio...

Point = fx,y: Integer;CompareType <= Point;equal(p: CompareType): Bool freturn (this.x=p.x) and (this.y=p.y);ggPoint = AbstractPoint fCompareType = Point;gColourPoint = AbstractPoint fc: Color;CompareType = ColourPoint;equal(p: CompareType): Bool freturn super.equal(p) and (this.c = p.c);gg Figure 13: A slight change xes the problemOn ...

How working statically-typed functional programmers write code is largely understudied. And yet, a better understanding of developer practices could pave the way for design more useful and usable tooling, ergonomic languages, effective on-ramps into programming communities. The goal this work to address knowledge gap: understand high-level authoring patterns that employ. We conducted grounded t...

Hardware designs typically combine parallelism and resourcesharing; a circuit’s correctness relies on shared resources being accessed mutually exclusively. Conventional high-level synthesis systems guarantee mutual exclusion by statically serialising access to shared resources during a compile-time process called scheduling. This approach suffers from two problems: (i) there is a large class of...