3844 search results - page 17 / 769 » Modular interpreted systems |
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is defined by means of a non-standard ...
78
Voted
ECAL
2007
Springer
15 years 6 months ago
2007
Springer
Symbiosis, the collaboration of multiple organisms from different species, is common in nature. A related phenomenon, symbiogenesis, the creation of new species through the genetic...
SYNTHESE
2008
14 years 11 months ago
2008
Anyadvancedtheoryofphysicscontainsmodulesdefinedasessentialcomponents that are themselves theories with different domains of application. Different kinds of modules can be distingu...
135
click to vote
AOSD
2012
ACM
13 years 7 months ago
2012
ACM
Aspect-Oriented Programming (AOP) started fifteen years ago with the remark that modularization of so-called crosscutting functionalities is a fundamental problem for the enginee...
111
click to vote
ROBOCUP
2005
Springer
15 years 5 months ago
2005
Springer
The existing reinforcement learning approaches have been suffering from the policy alternation of others in multiagent dynamic environments. A typical example is a case of RoboCup...