Sciweavers

6174 search results - page 159 / 1235
» The language of social software
Sort
View
AC
2000
Springer
15 years 10 months ago
Monads and Effects
Abstract. A tension in language design has been between simple semantics on the one hand, and rich possibilities for side-effects, exception
Nick Benton, John Hughes, Eugenio Moggi
AVI
1998
15 years 7 months ago
VisTool: a visual tool for querying relational databases
In this paper we describe VisTool, a prototype tool for querying relational databases by means of the visual query language VISIONARY.
Francesca Benzi, Dario Maio, Stefano Rizzi
VMCAI
2012
Springer
14 years 2 months ago
Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
Tobias Nipkow
IJSWIS
2006
168views more  IJSWIS 2006»
15 years 6 months ago
Unraveling the Taste Fabric of Social Networks
Popular online social networks such as Friendster and MySpace do more than simply reveal the superficial structure of social connectedness--the rich meanings bottled within social...
Hugo Liu, Pattie Maes, Glorianna Davenport
IUI
2003
ACM
15 years 11 months ago
Scripting embodied agents behaviour with CML: character markup language
Embodied agents present ongoing challenging agenda for research in multi-modal user interfaces and humancomputer-interaction. Such agent metaphors will only be widely applicable t...
Yasmine Arafa, E. H. Mamdani