Shape analysis in a functional language by using regular languages.
Manuel MontenegroRicardo PeñaClara SeguraPublished in: PPDP (2013)
Keyphrases
- shape analysis
- regular languages
- functional language
- functional programming
- regular expressions
- grammatical inference
- finite automata
- programming language
- decision problems
- context free grammars
- euclidean space
- pac learning
- medical imaging
- positive data
- finite state machines
- object identity
- pattern matching
- artificial intelligence
- query language
- databases
- active learning
- xml schema
- model checking
- distance measure
- object oriented
- image registration