Temporal semantics for a live coding language

Aaron, Samuel; Orchard, Dominic; Blackwell, Alan F.

doi:10.1145/2633638.2633648

Cited by 9 publications

(3 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The notion of sleep is similar to that of the standard POSIX sleep operation that suspends execution for the specified time. Sonic Pi 2.0 has introduced special semantics that avoid drifting due to delays (thread scheduling and invocation of the POSIX sleep operation) (Aaron et al (2014b)).…”

Section: Sonic Pi and Concurrencymentioning

confidence: 99%

“…The choice of the Sonic Pi programming language is due to several reasons. As mentioned in (Aaron et al (2014a)), "Sonic Pi was designed to teach a large number of computing concepts covered in the new UK computing curriculum introduced in September 2014. Examples of these concepts are conditionals, iteration, variables, functions, algorithms, and data structures.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

“Hear” and “Play” Students Misconceptions on Concurrent Programming using Sonic Pi

Traversaro,

Delzanno,

Guerrini

2024

Informatics in Education

View full text Add to dashboard Cite

Concurrency is a complex to learn topic that is becoming more and more relevant, such that many undergraduate Computer Science curricula are introducing it in introductory programming courses. This paper investigates the combined use of Sonic Pi and Team-Based Learning to mitigate the difficulties in early exposure to concurrency. Sonic Pi, a domain-specific music language, provides great support for “playing” with concurrency and “hearing” common problems such as data races and lack of synchronization among different concurrent threads. More specifically, the paper focuses on students’ misconceptions regarding concurrency in Sonic Pi, and compares them to those arising in traditional concurrent programming languages. In addition, it preliminarily explores knowledge transfer from Sonic Pi to C/C++. The approach has been applied in two teaching experiments with undergraduate students in our University involving 184 participants. Our investigations bring out the need to address misconceptions through targeted interventions for a clear understanding of concurrent programming concepts. Sonic Pi’s simplified abstraction and domain-specific flavor has demonstrated to be effective, especially for first-year students.

show abstract

Section: Sonic Pi and Concurrencymentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

“Hear” and “Play” Students Misconceptions on Concurrent Programming using Sonic Pi

Traversaro,

Delzanno,

Guerrini

2024

Informatics in Education

View full text Add to dashboard Cite

show abstract

“…However we do know in which order the notes are played and what variations there might be. Such an effect system could be used in a music programming language as an interface to communicate higher-order function (combinator) behaviour (see e.g., effect systems for music live coding [1]). …”

Section: Effect Systems For Musicmentioning

confidence: 99%

Effect Systems Revisited—Control-Flow Algebra and Semantics

Mycroft

Orchard

Petříček

2015

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. Effect systems were originally conceived as an inference-based program analysis to capture program behaviour-as a set of (representations of) effects. Two orthogonal developments have since happened. First, motivated by static analysis, effects were generalised to values in an algebra, to better model control flow (e.g. for may/must analyses and concurrency). Second, motivated by semantic questions, the syntactic notion of set-(or semilattice-) based effect system was linked to the semantic notion of monads and more recently to graded monads which give a more precise semantic account of effects. We give a lightweight tutorial explanation of the concepts involved in these two threads and then unify them via the notion of an effect-directed semantics for a control-flow algebra of effects. For the case of effectful programming with sequencing, alternation and parallelism-illustrated with music-we identify a form of graded joinads as the appropriate structure for unifying effect analysis and semantics.

show abstract