| |
| | Ulf's Programming Language List |
 | | ASL (Activity Structures Language), a software process language (modelling formalism), is a proper superset of MSL (Marvel Strategy Language) -- used to express the "local" constraints and policies on individual tools and data -- extended by Roddle's "acticivity structures" for global control flow and synchronization. |
 | | Mozart is based on the Oz language, which supports declarative programming, object-oriented programming, constraint programming, and concurrency as part of a coherent whole. |
 | | Cyclone is a programming language that is as C-like as possible while preventing unsafe behavior (buffer overflows, dangling pointers, format string attacks, and so on). |
| www.cs.mun.ca /~ulf/pld/pls.html (2275 words) |
|