1126 search results - page 130 / 226 » Modularity and the Rule of Adaptation |
193
Voted
ECOOP
2009
Springer
16 years 1 months ago
2009
Springer
Reusable APIs often dene usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while aording a great deal of al...
96
Voted
ICRA
2007
IEEE
15 years 6 months ago
2007
IEEE
— Hierarchical state machines have proven to be a powerful tool for controlling autonomous robots due to their flexibility and modularity. For most real robot implementations, h...
LAWEB
2006
IEEE
15 years 6 months ago
2006
IEEE
Complex applications, in particular Web applications, deal with a myriad of different concerns and some of them affect several others. The result is that these crosscutting concer...
124
Voted
ACL2
2006
ACM
15 years 6 months ago
2006
ACM
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...
99
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
We explore the connection between term rewriting systems (TRS) and aspect-oriented programming (AOP). Term rewriting is a paradigm that is used in fields such as program transform...