1901 search results - page 120 / 381 » Predicting Program Properties from |
116
click to vote
BMCBI
2004
15 years 2 months ago
2004
Background: Two of the mostly unsolved but increasingly urgent problems for modern biologists are a) to quickly and easily analyse protein structures and b) to comprehensively min...
148
click to vote
JMLR
2008
15 years 2 months ago
2008
The use of computational models is increasingly expected to play an important role in predicting the behaviour of biological systems. Models are being sought at different scales o...
255
click to vote
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
GADTs have proven to be an invaluable language extension, a.o. for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference: w...
123
click to vote
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
Traversal strategies are at the heart of transformational programming with rewriting-based frameworks such as Stratego/XT or Tom and specific approaches for generic functional pr...
120
click to vote
IROS
2007
IEEE
15 years 9 months ago
2007
IEEE
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...