Back to Results
First PageMeta Content
Type theory / Theoretical computer science / Algorithms / Formal methods / Type systems / PlusCal / Algorithm / Programming language / Hindley–Milner / Software engineering / Computing / Computer programming


A PlusCal User’s Manual C-Syntax∗ Version 1.8 Leslie Lamport 11 February 2013 ∗
Add to Reading List

Document Date: 2013-02-11 16:05:06

Open Document

File Size: 540,61 KB

Share Result on Facebook

Company

Specifying Systems / /

IndustryTerm

unexecutable algorithm / type systems / concurrent algorithm / /

Person

Keith Marzullo / Georges Gonthier / /

/

Position

PlusCal translator / Translator / /

ProgrammingLanguage

SETL / C / Pascal / Java / C++ / /

Technology

unexecutable algorithm / concurrent algorithm / writing PlusCal algorithms / PlusCal algorithms / simulation / FastMutex Algorithm / 10.3 One Algorithm / Java / PlusCal algorithm / ascii / /

SocialTag