C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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