Interpreted COSY Programs: Programming and Verification.
Peter E. LauerM. W. ShieldsPublished in: ICDCS (1981)
Keyphrases
- programming environment
- high level language
- automatic programming
- computer programs
- error handling
- symbolic execution
- programming education
- programming environments
- programming language
- hardware designs
- model checking
- high level programming language
- functional language
- program code
- computer programming
- novice programmers
- functional programming
- programming skills
- face verification
- oracle pl sql
- functional programs
- concurrent programming
- asynchronous circuits
- multicore processors
- data sets
- programming language constructs
- high level programming
- programs written
- programming concepts
- database programming
- control flow
- object oriented programming
- development environment
- database design
- database systems
- case study