AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications [PDF]
, 2014 We present AIOCJ, a framework for programming distributed adaptive applications. Applications are programmed using AIOC, a choreographic language suited for expressing patterns of interaction from a global point of view.
A. Bucchiarone +11 more
core +5 more sources
Frame-Based Editing: Easing the Transition from Blocks to Text-Based Programming [PDF]
, 2015 Block-based programming systems, such as Scratch or Alice, are the most popular environments for introducing young children to programming. However, mastery of text-based programming continues to be the educational goal for stu- dents who continue to ...
Altadmri, Amjad +2 more
core +1 more source
A continuation semantics of interrogatives that accounts for Baker's ambiguity [PDF]
, 2002 Wh-phrases in English can appear both raised and in-situ. However, only in-situ wh-phrases can take semantic scope beyond the immediately enclosing clause.
Shan, Chung-chieh
core +4 more sources
Reasoning About a Simulated Printer Case Investigation with Forensic Lucid [PDF]
, 2011 In this work we model the ACME (a fictitious company name) "printer case incident" and make its specification in Forensic Lucid, a Lucid- and intensional-logic-based programming language for cyberforensic analysis and event reconstruction specification ...
E.A. Ashcroft +8 more
core +2 more sources
Parameterized models for on-line and off-line use [PDF]
, 2011 The Monadic Constraint Programming framework leverages Haskell’s rich static type system and powerful abstraction mechanisms to implement an embedded domain specific language (EDSL) for constraint programming.
A.J. Fernandez +6 more
core +1 more source
Ways of not reading Gertrude Stein [PDF]
, 2015 I situate the controversial critical strategies of “distant reading” and “surface reading” in the reception history of Gertrude Stein, an author whose work was frequently declared “unreadable.” I argue that an early twentieth-century history of ...
Cecire, Natalia
core +1 more source
The abstraction transition taxonomy: developing desired learning outcomes through the lens of situated cognition [PDF]
, 2012 We report on a post-hoc analysis of introductory programming lecture materials. The purpose of this analysis is to identify what knowledge and skills we are asking students to acquire, as situated in the activity, tools, and culture of what programmers ...
Cutts, Quintin +4 more
core +1 more source
Critters in the Classroom: A 3D Computer-Game-Like Tool for Teaching Programming to Computer Animation Students [PDF]
, 2007 The brewing crisis threatening computer science education is a well documented fact. To counter this and to increase enrolment and retention in computer science related degrees, it has been suggested to make programming "more fun" and to offer ...
Anderson, Eike F., McLoughlin, L.
core +1 more source
Program equivalence for a concurrent lambda calculus with futures [PDF]
, 2006 Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with futures Lambda(fut), which formalizes the operational semantics of the ...
Niehren, Joachim +3 more
core +1 more source
Distributed PCP Theorems for Hardness of Approximation in P [PDF]
, 1952 We present a new distributed model of probabilistically checkable proofs (PCP). A satisfying assignment $x \in \{0,1\}^n$ to a CNF formula $\varphi$ is shared between two parties, where Alice knows $x_1, \dots, x_{n/2}$, Bob knows $x_{n/2+1},\dots,x_n ...
Abboud, Amir +2 more
core +6 more sources