1.Previous
3.Next

mathematical logic for programming
** reactive a desired result is declared with data streams and the propagation of change
*Concurrent programming - has language constructs for concurrency, these may involve multi-threading, support for distributed computing, message passing, shared resources (including shared memory), or futures
**Actor programming

1.Previous
3.Next