DFScala: High Level Dataflow Support for Scala Daniel Goodman∗ Salman Khan Chris Seaton

Source URL: chrisseaton.com

• Computing
• Software engineering
• Computer programming
• Concurrent programming languages
• Programming paradigms
• Computer architecture
• Functional languages
• Dataflow
• Concurrent computing
• Scala
• Functional programming
• Pattern matching

Chapter 10 Comonadic functional attribute evaluation Tarmo Uustalu1 and Varmo Vene2 Abstract: We have previously demonstrated that dataflow computation is comonadic. Here we argue that attribute evaluation has a lot in

Source URL: www.cs.ioc.ee

Differential dataflow Frank McSherry Derek G. Murray Rebecca Isaacs

Source URL: www.cidrdb.org

Dataflow and Type-based Formulations for Reference Immutability Ana Milanova Wei Huang

Source URL: www.cs.uwm.edu

Applying Dataflow and Transactions to Lee Routing Chris Seaton, Daniel Goodman, Mikel Luján, and Ian Watson University of Manchester {seatonc,goodmand,mikel.lujan,watson}@cs.man.ac.uk MULTIPROG 2012

Source URL: chrisseaton.com

• Computing
• Parallel computing
• Computer architecture
• Models of computation
• Dataflow
• Algorithm
• Dataflow architecture
• BMDFM

LNCSThe Essence of Dataflow Programming

Source URL: cs.ioc.ee

Model Checking of Finite-state Machine-based Scenario-aware Dataflow Using Timed Automata Mladen Skelin Department of Engineering Cybernetics, Norwegian University of Science and Technology

Source URL: people.cs.aau.dk

Applying Dataflow and Transactions to Lee Routing Chris Seaton, Daniel Goodman, Mikel Luj´an, and Ian Watson University of Manchester {seatonc,goodmand,mikel.lujan,watson}@cs.man.ac.uk

Source URL: chrisseaton.com

• Concurrency control
• Transaction processing
• Parallel computing
• Computer architecture
• Concurrent programming languages
• Software transactional memory
• Linearizability
• Thread
• Concurrent data structure
• Lock
• Dataflow
• Transactional memory

Chapter 10 Comonadic functional attribute evaluation Tarmo Uustalu1 and Varmo Vene2 Abstract: We have previously demonstrated that dataflow computation is comonadic. Here we argue that attribute evaluation has a lot in

Source URL: cs.ioc.ee