906 search results - page 116 / 182 » Language and program design for functional dependencies |
SIGCSE
2010
ACM
15 years 4 months ago
2010
ACM
Game design appears to be a promising approach to interest K-12 students in Computer Science. Unfortunately, balancing motivational and educational concerns is truly challenging. ...
EJC
2008
14 years 11 months ago
2008
The notion of a fragment was coined by Montague 1974 to illustrate the formal handling of certain puzzles, such as de dicto/de re, in a truth-conditional semantics for natural lan...
100
click to vote
ICFP
2008
ACM
15 years 9 months ago
2008
ACM
Transactional events (TE) are an approach to concurrent programming that enriches the first-class synchronous message-passing of Concurrent ML (CML) with a combinator that allows ...
SEMCO
2008
IEEE
15 years 4 months ago
2008
IEEE
Gesture interfaces are needed for natural intuitive communication with machine devices. Hand gesture intuitiveness is the cognitive association between a command or intent, and it...
MEMOCODE
2007
IEEE
15 years 4 months ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...