2604 search results - page 324 / 521 » General constant expressions for system programming language... |
157
click to vote
ATAL
2005
Springer
16 years 5 days 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...
181
click to vote
RTSS
2007
IEEE
16 years 27 days 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...
227
click to vote
GPCE
2007
Springer
16 years 23 days 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 ...
167
click to vote
ML
2006
ACM
16 years 17 days 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 ...
170
click to vote
SAC
2005
ACM
16 years 5 days 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...