5377 search results - page 65 / 1076 » Programming Languages For Interactive Computing |
IWFM
2003
13 years 10 months ago
2003
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
ECOOP
1993
Springer
14 years 1 months ago
1993
Springer
This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allo...
LICS
2003
IEEE
14 years 2 months ago
2003
IEEE
PPDP
2007
Springer
14 years 3 months ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
CHI
2003
ACM
14 years 9 months ago
2003
ACM
This paper presents the design and testing of Kana Warrior, a new interface for basic Japanese character recognition based on a game-style user interface. Kana Warrior is a game d...