UNC-CH COMP 590-059

Class Readings

Go Language

• Install Go
• Go homepage
• Official Go language spec
• Go (wikipedia)
• Interactive Tour of Go
• Go by Example

Erlang

• Install Erlang
• Compile and Run Erlang programs
• An Erlang course
• 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
• Erlang the Movie

Elixir

• Elixir install
• Getting started guide
• Learning page
• Compiling and running Elixir code
• Erlang to Elixir converter

Concurrency

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

OO Background

• Dijkstra: Go To Statement Considered Harmful
• OO Programming and Objections

• 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

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

• 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