search

Whiley / WhileyDocs

Various documents relating to the Whiley Programming Language.
7 stars 2 forks source link

Syntax for Reference Lifetimes #34

Closed DavePearce closed 7 years ago

DavePearce commented 7 years ago

The syntax for reference lifetimes is not given in the language specification at this stage. The full syntax is given here:

http://homepages.ecs.vuw.ac.nz/~djp/files/MSCThesisSebastian.pdf

DavePearce commented 7 years ago

Done.