Publications related to Oz (programming language)

A Flow-Insensitive, Modular Effect System for Purity

This article presents a modular, flow-insensitive type-and- effect system for purity with lightweight annotations. It does not enforce a global programming discipline and allows ar- bitrary effects to occur in impure parts of the program. The system is des ...

2013

Reactive Programming Abstractions for Complex Event Logic and Dynamic Data Dependencies

Ingo Maier

A large part of software written today is reactive. In contrast to batch mode systems, a reactive program continuously adapts itself to new input which often requires a substantial amount of engineering. Traditionally, reactive programs are implemented in ...

EPFL2013

RAY: Integrating Rx and Async for Direct-Style Reactive Streams

Philipp Haller

Languages like F#, C#, and recently also Scala, provide “async” extensions which aim to make asynchronous programming easier by avoiding an inversion of control that is inherent in traditional callback-based programming models (for the purpose of this pape ...

2013

Concurrent Tries with Efficient Non-Blocking Snapshots

Martin Odersky, Aleksandar Prokopec

We describe a non-blocking concurrent hash trie based on shared-memory single-word compare-and-swap instructions. The hash trie supports standard mutable lock-free operations such as insertion, removal, lookup and their conditional variants. To ensure spac ...

Assoc Computing Machinery2012

Constraints as Control

Viktor Kuncak, Philippe Paul Henri Suter

We present an extension of Scala that supports constraint programming over bounded and unbounded domains. The resulting language, Kaplan, provides the benefits of constraint programming while preserving the existing features of Scala. Kaplan integrates con ...

2012

Constraints as Control

Viktor Kuncak, Philippe Paul Henri Suter

We present an extension of Scala that supports constraint programming over bounded and unbounded domains. The resulting language, Kaplan, provides the benefits of constraint programming while preserving the existing features of Scala. Kaplan integrates con ...

ACM Order Department, P O Box 64145, Baltimore, MD 21264 Usa2012

Verification of STM on relaxed memory models

Rachid Guerraoui, Vasu Singh

Software transactional memories (STM) are described in the literature with assumptions of sequentially consistent program execution and atomicity of high level operations like read, write, and abort. However, in a realistic setting, processors use relaxed ...

Springer Verlag2011

Optimization of Portable Parallel Signal Processing Applications by Design Space Exploration of Dataflow Programs

Marco Mattavelli, Christophe Lucarz

This paper describes a methodology for the optimization of portable parallel signal processing applications specified by dataflow programs. The use of dataflow as a programming model for signal processing applications targeting parallel platforms provides ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2011

Deprecating the Observer Pattern

Martin Odersky, Tiark Rompf, Ingo Maier

Programming interactive systems by means of the observer pattern is hard and error-prone yet is still the implementation standard in many production environments. We present an approach to gradually deprecate observers in favor of reactive programming abst ...

2010

Capabilities for Uniqueness and Borrowing

Martin Odersky, Philipp Haller

An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects of aliasing, practical systems often severely restrict the shape of messages passed by ...

Springer2010

Oz (programming language)

Graph Chatbot

Chat with Graph Search

A Flow-Insensitive, Modular Effect System for Purity

Reactive Programming Abstractions for Complex Event Logic and Dynamic Data Dependencies

RAY: Integrating Rx and Async for Direct-Style Reactive Streams

Concurrent Tries with Efficient Non-Blocking Snapshots

Constraints as Control

Constraints as Control

Verification of STM on relaxed memory models

Optimization of Portable Parallel Signal Processing Applications by Design Space Exploration of Dataflow Programs

Deprecating the Observer Pattern

Capabilities for Uniqueness and Borrowing

Reactive Programming Abstractions for Complex Event Logic and Dynamic Data Dependencies

Constraints as Control

Constraints as Control

RAY: Integrating Rx and Async for Direct-Style Reactive Streams

Concurrent Tries with Efficient Non-Blocking Snapshots

A Flow-Insensitive, Modular Effect System for Purity

Capabilities for Uniqueness and Borrowing

Deprecating the Observer Pattern

Verification of STM on relaxed memory models

Optimization of Portable Parallel Signal Processing Applications by Design Space Exploration of Dataflow Programs