672 search results - page 30 / 135 » On the Expressive Power of the Loop Language |
114
Voted
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper examines the task of constructing boundedtime self-stabilizing rule-based systems that take their input from an external environment. Bounded response-time and self-sta...
128
click to vote
OOPSLA
2000
Springer
15 years 8 months ago
2000
Springer
An object encoding translates a language with object primitives to one without. Similarly, a class encoding translates classes into other primitives. Both are important theoretica...
170
Voted
DOOD
1991
Springer
15 years 8 months ago
1991
Springer
This paper examines the problem of adding non-deterministic constructs to a declarative database language based on Horn Clause Logic. We revise a previously proposed approach, the...
245
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
We present an internal language with equivalent expressive power to Standard ML, and discuss its formalization in LF and the machine-checked verification of its type safety in Twe...
129
Voted
HCI
2007
15 years 6 months ago
2007
Language effect (Chinese vs. English), and power distance between evaluator and user in usability test were investigated. 12 participants from China, Swede, and Denmark formed 7 ev...