10848 search results - page 291 / 2170 » Programming in Biomolecular Computation |
144
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper we propose applying the ideas of declarative debugging to the object-oriented language Java as an alternative to traditional trace debuggers used in imperative langu...
203
click to vote
TGC
2010
Springer
15 years 3 months ago
2010
Springer
Static analysers are becoming so complex that it is crucial to ascertain the soundness of their results in a provable way. In this paper we develop a certified checker in Coq that ...
303
click to vote
Book
All you need to know about the Nintendo game development. You will need to be a proficient in the C Language in order to follow this book.
304
click to vote
CHI
2002
ACM
16 years 6 months ago
2002
ACM
Physical interactive environments can come in many forms: museum installations, amusement parks, experimental theaters, and more. Programming these environments has historically b...
147
click to vote
PEPM
2009
ACM
16 years 2 months ago
2009
ACM
This article introduces a new program transformation in order to enhance the numerical accuracy of floating-point computations. We consider that a program would return an exact r...