Browsing by Subject calculus, language, reasoning, imperative, procedure, composition
Showing results 1 to 1 of 1
Publication Date | Title | Author(s) |
---|---|---|
23-Aug-2010 | Assignment Calculus: A Pure Imperative Reasoning Language | Bender, Marc |
Showing results 1 to 1 of 1