Sciweavers

189 search results - page 18 / 38
» Facilitating Modular Property-Preserving Extensions of Progr...
Sort
View
APSEC
2005
IEEE
15 years 6 months ago
Towards Aspect-Oriented Class Diagrams
While aspect-oriented modeling has been recognized as a useful means of improving the modularity of software design, the de facto standard modeling language UML lacks first-class...
Gefei Zhang
80
Voted
ICFP
2005
ACM
16 years 12 days ago
The anatomy of a loop: a story of scope and control
Writing loops with tail-recursive function calls is the equivalent of writing them with goto's. Given that loop packages for Lisp-family languages have been around for over 2...
Olin Shivers
96
Voted
EWSA
2006
Springer
15 years 4 months ago
On the Modular Representation of Architectural Aspects
An architectural aspect is a concern that cuts across architecture ty units and cannot be effectively modularized using the given abstractions of conventional Architecture Descript...
Alessandro Garcia, Christina Chavez, Thaís ...
195
Voted
POPL
2006
ACM
16 years 22 days ago
Certified assembly programming with embedded code pointers
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
Zhaozhong Ni, Zhong Shao
87
Voted
ICRA
2000
IEEE
101views Robotics» more  ICRA 2000»
15 years 4 months ago
Towards Programming Tools for Robots that Integrate Probabilistic Computation and Learning
This paper describes a programming language extension of C++, called CES, specifically targeted towards mobile robot control. CES’s design is motivated by a recent series of su...
Sebastian Thrun