Sciweavers

5096 search results - page 294 / 1020
» Associations as a Language Construct
Sort
View
CORR
2002
Springer
128views Education» more  CORR 2002»
15 years 6 months ago
The Deductive Database System LDL++
This paper describes the LDL++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic cons...
Faiz Arni, KayLiang Ong, Shalom Tsur, Haixun Wang,...
PPOPP
2005
ACM
16 years 9 days ago
Teleport messaging for distributed stream programs
In this paper, we develop a new language construct to address one of the pitfalls of parallel programming: precise handling of events across parallel components. The construct, te...
William Thies, Michal Karczmarek, Janis Sermulins,...
CHI
2009
ACM
16 years 7 months ago
Difficulties in establishing common ground in multiparty groups using machine translation
When people communicate in their native languages using machine translation, they face various problems in constructing common ground. This study investigates the difficulties of ...
Naomi Yamashita, Rieko Inaba, Hideaki Kuzuoka, Tor...
AOSD
2006
ACM
16 years 22 days ago
Towards supporting on-demand virtual remodularization using program graphs
OOP style requires programmers to organize their code according to objects (or nouns, using natural language as a metaphor), causing a program’s actions (verbs) to become scatte...
David Shepherd, Lori L. Pollock, K. Vijay-Shanker
PPDP
2009
Springer
15 years 11 months ago
Context-based proofs of termination for typed delimited-control operators
We present direct proofs of termination of evaluation for typed delimited-control operators shift and reset using a variant of Tait’s method with context-based reducibility pred...
Malgorzata Biernacka, Dariusz Biernacki