A language-based approach to functionally correct imperative programming.
Edwin M. WestbrookAaron StumpIan WehrmanPublished in: ICFP (2005)
Keyphrases
- programming language
- object oriented programming
- oriented programming
- programming environment
- scripting language
- natural language
- object oriented
- language learning
- oracle pl sql
- concurrent programming
- programming concepts
- open source
- abstract data types
- control structures
- programming skills
- java programming
- specification language
- computer programs
- functional language
- database systems