Programming languages often hide their implementation at a level of abstraction that is inaccessible to programmers. Decisions and tradeoffs made by the language designer at this level (single vs. multiple inheritance, mixins vs. Traits, dynamic dispatch vs. static case analysis, etc.) cannot be repaired easily by the programmer when they prove inconvenient or inadequate. The artificial distinc...

The synthesis of asynchronous circuits from STGs involves the resolution of encoding conflicts by means of refining the STG specification. The refinement process is generally done automatically using heuristics and offers little or no feedback to the designer making it difficult to intervene. Better synthesis solutions are obtained by involving human knowledge into the process. A framework is p...

Numerous studies document, on the one hand, a positive correlation between crime and unemployment and, on the other hand, a negative correlation between the crime rate and educational attainment levels within given communities. We study this phenomenon in the context of a search-equilibrium model, in which agents choose between formal employment and pursuing crime related activities (theft). Pr...

In the design of engineered artifacts, it is hypothesized that computations must be performed. Informal specifications must be converted into formal functional requirements and informal descriptions must be converted into formal parameterizations, so that performance can be computed. Such performance evaluations are developed for general set based mappings. The development includes, for example...

In today's information age, developing data science competencies has become vital to fostering responsible citizenry. However, the actual techniques learners need proficient in are still somewhat “in-construction”, as relatively new field of is constantly expanding meet data-related demands. Data education needs develop innovative means keep up with this expansion that focus less on proficiency...