![Type theory / Theoretical computer science / Algorithms / Formal methods / Type systems / PlusCal / Algorithm / Programming language / Hindley–Milner / Software engineering / Computing / Computer programming Type theory / Theoretical computer science / Algorithms / Formal methods / Type systems / PlusCal / Algorithm / Programming language / Hindley–Milner / Software engineering / Computing / Computer programming](https://www.pdfsearch.io/img/43fae3188291da192f6d557a8e94c9d0.jpg)
| Document Date: 2013-02-11 16:05:06 Open Document File Size: 540,61 KBShare 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 |