An Automata-based Abstract Semantics for String Manipulation Languages.
Vincenzo ArceriIsabella MastroeniPublished in: VPT@Programming (2019)
Keyphrases
- highly expressive
- formal semantics
- data structure
- context free grammars
- database query languages
- language independent
- high level
- expressive power
- formal language
- specification languages
- string matching
- graphical representation
- regular expressions
- formal languages
- database
- cross lingual
- database languages
- pattern matching
- logic programming
- query language
- propositional dynamic logic
- text summarization
- language constructs
- target language
- edit distance
- conceptual model
- low level
- knowledge base