Historical interest only: A Dataspace-like language and system that led to "Network Calculus" (ESOP 2014) and minimart-2014, in turn a predecessor to Syndicate.
https://syndicate-lang.org/papers#gjthf-esop14
e54851d1ea | ||
---|---|---|
Concepts.html | ||
Drivers.html | ||
Examples.html | ||
Management_and_Monitoring.html | ||
footnote.css | ||
high-level-interface.html | ||
index.html | ||
low-level-interface.html | ||
pict.png | ||
pict_2.png | ||
pict_3.png | ||
racket.css | ||
scribble-common.js | ||
scribble-style.css | ||
scribble.css |