2604 search results - page 324 / 521 » General constant expressions for system programming language... |
129
Voted
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
139
Voted
RTSS
2007
IEEE
15 years 11 months ago
2007
IEEE
Creating robust real-time embedded software is critical in combining the physical world with computing, such as in consumer electronics or robotics. One challenge is the complexit...
182
Voted
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...
135
click to vote
ML
2006
ACM
15 years 10 months ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
133
Voted
SAC
2005
ACM
15 years 10 months ago
2005
ACM
A mixin is a reusable module that provides uniform extend modifications to classes. It is an abstract subclass that is composable with a variety of superclasses. In mixinbased co...