Shape analysis in a functional language by using regular languages.
Manuel MontenegroRicardo PeñaClara SeguraPublished in: Sci. Comput. Program. (2015)
Keyphrases
- shape analysis
- regular languages
- functional language
- functional programming
- grammatical inference
- regular expressions
- programming language
- finite automata
- decision problems
- positive data
- context free grammars
- euclidean space
- pac learning
- object identity
- machine learning
- medical imaging
- query language
- image segmentation
- finite state machines
- inductive inference
- query evaluation
- pattern matching
- general purpose
- data model
- high level