Principles of Contract Languages (Dagstuhl Seminar 22451).

Dilian Gurov Reiner Hähnle Marieke Huisman Giles Reger Christian Lidström

Published in: Dagstuhl Reports (2022)

Keyphrases

expressive power
language independent
machine learning
theoretical framework
text summarization
database
databases
decision making
natural language
query translation
language identification
linguistic resources
object oriented languages
syntactic and semantic dependencies