Locally minimum-distance correction of syntax errors in programming languages.
Kuo-Chung TaiPublished in: ACM Annual Conference (1980)
Keyphrases
- programming language
- minimum distance
- high level
- error detection
- upper bound
- object oriented
- general purpose
- program code
- nearest neighbor
- denotational semantics
- strongly typed
- convex hull
- convex polyhedra
- domain specific languages
- programming environment
- euclidean distance
- language constructs
- database languages
- software engineering
- object oriented programming
- error correction
- gray level images
- specification language
- minimum distance classifier
- operational semantics
- data model
- data abstraction
- distance function
- lower bound
- image processing