Check out my first novel, midnight's simulacra!

Programming Language Theory: Difference between revisions

From dankwiki
Line 189: Line 189:
==Concurrency==
==Concurrency==
*'''FIXME''' π-calculus, CSS, CSP, petri nets, dataflow variables...
*'''FIXME''' π-calculus, CSS, CSP, petri nets, dataflow variables...
*'''FIXME''' message-passing, shared-state
* Shared state
* Message passing
* Data parallel processing
* FIXME expand each


==Programming Language Design==
==Programming Language Design==