Semantics for graphical user interfaces.

Neelakantan R. Krishnaswami

Published in: TLDI (2012)

Keyphrases

graphical user interfaces
user interface
visual representation
formal semantics
graphical user interface
data sets
scripting language
search engine
conceptual graphs
schema mappings
conceptual model
logic programming
open source
data analysis
speech acts
nonmonotonic logics
multi agent
social networks