UNC-CH COMP 590-059

Class Readings

Aspect Oriented Programming (AOP)

• Aspect Oriented Programming (AOP)
• Original AOP paper (ECOOP 1997)
• AspectJ live book
• AspectJ tutorial
• AspectJ website
• AspectJ slides
• Install AspectJ on Windows (no Eclipse)
• Aspects and Contracts

• ML basics
• ML overview (UW)
• ML overview (UF)
• SML Overview (and ML family)
• install SMLNJ
• Lambda calculus notes
• Lambda interpreter
• ADT Axioms for Semantics
• ADT Axioms in ML

Concurrency

• 301 review (a) (Aaron Smith)
• 301 review (b) (Aaron Smith)

Erlang

• Install Erlang
• Compile and Run Erlang programs
• Erlang User Manual
• Erlang Tutorial
• Learn You Some Erlang
• Erlang by Example
• A Concise Guide to Erlang (UPenn)
• Erlang textbook (J. Armstrong)
• Erlang Code Examples

Model Checking

• Clarke TOPLAS paper
• Clarke Turing speech
• Model checking survey
• Clarke's mcb model checker

Actor Model of Concurrency

• Actors (Wikipedia)
• Carl Hewitt on Actors (YouTube)
• Actor Laws (1977)
• Actor Model (2010)

Concurrency, Linda and Tuple Spaces

• Linda Coordination Language (Wikipedia)
• Tuplespace (Wikipedia)
• Generative Communication in Linda (ACM TOPLAS 1985)
• Linda and Friends (IEEE Computer 1986)
• Linda in Context (CACM 1989)
• Parallel Programs (Computing Surveys 1989)
• Coordination Languages overview
• Linda Parallel (1994)
• Tuple Spaces (2005)
• Linda Space (Wells, 2005)

Futures and Promises

• Futures and Promises
• Futures examples in Java
• Completable Futures in Java
• More Promises and Futures
• Promises in JavaScript