4231 search results - page 163 / 847 » Using Language More Responsibly |
148
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—We present a new language called Precision Timed C, for predictable and lightweight multithreading in C. PRET-C supports synchronous concurrency, preemption, and a high-level co...
185
click to vote
ICFP
1999
ACM
15 years 10 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...
155
click to vote
CSL
1999
Springer
15 years 10 months ago
1999
Springer
Hybrid languages are extended modal languages which can refer to (or even quantify over) states. Such languages are better behaved proof theoretically than ordinary modal languages...
145
click to vote
ATAL
2000
Springer
15 years 10 months ago
2000
Springer
This chapter addresses the problem of producing and maintaining progress in agent design. New architectures often hold important insights into the problems of designing intelligenc...
155
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
Within the law, the traditional test for attributing causal responsibility is the counterfactual “but-for” test, which asks whether the injury complained of would have occurre...