Higher-Order Arrays and Stacks in Programming. An Application of Complexity Theory to Logics of Programs.
Jerzy TiurynPublished in: MFCS (1986)
Keyphrases
- complexity theory
- higher order
- higher order logic
- programming environment
- anti unification
- high level language
- theoretical basis
- computer programs
- programming environments
- programming education
- computational geometry
- automatic programming
- high order
- high level programming language
- error handling
- expressive power
- natural images
- programming language
- novice programmers
- modal logic
- functional language
- pairwise
- declarative programming
- programming skills
- program code
- markov random field
- conditional random fields
- computer vision