2233 search results - page 38 / 447 » Modular type classes |
SAS
2007
Springer
15 years 6 months ago
2007
Springer
Concurrent programs are difficult to verify because the proof must consider the interactions between the threads. Fine-grained concurrency and heap allocated data structures exacer...
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
In logic metaprogramming, programs are not stored as plain textfiles but rather derived from a deductive database. While the benefits of this approach for metaprogramming are ob...
ICRA
2003
IEEE
15 years 5 months ago
2003
IEEE
- Posture stabilization of a compliant framed modular mobile robot is the subject of this paper. This is a new type of wheeled mobile robot that has advantages of a simple modular ...
FASE
2007
Springer
15 years 6 months ago
2007
Springer
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...
ALIFE
2005
14 years 11 months ago
2005
Hierarchical modularity is a familiar characteristic of a large class of natural dynamical systems. A normal interpretation of modularity is that interactions between subsystems a...