11 search results - page 2 / 3 » Relating Hybrid Chi to Other Formalisms |
CHI
2005
ACM
14 years 6 months ago
2005
ACM
The importance of annotations, as a by-product of the reading activity, cannot be overstated. Annotations help users in the process of analyzing, re-reading, and recalling detaile...
CHI
2002
ACM
14 years 6 months ago
2002
ACM
This two-day workshop examines the ways that on-line communities create and refine their shared resources, including both the formal and observable artifacts (documents, chats, th...
PPDP
2009
Springer
14 years 9 days ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
PLDI
2000
ACM
13 years 10 months ago
2000
ACM
Functional Reactive Programming, or FRP, is a general framework for programming hybrid systems in a high-level, declarative manner. The key ideas in FRP are its notions of behavio...
TABLEAUX
2009
Springer
14 years 9 days ago
2009
Springer
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...