11022 search results - page 423 / 2205 » Programming Systems for Autonomy |
203
Voted
DCW
2000
Springer
15 years 12 months ago
2000
Springer
Intensional Programming involves the programming of expressions placed in an inherent multidimensional context space. It is an emerging and highly dynamic domain of general applica...
180
Voted
PLDI
1998
ACM
15 years 11 months ago
1998
ACM
A module system ought to enable assembly-line programming using separate compilation and an expressive linking language. Separate compilation allows programmers to develop parts o...
201
Voted
ACSE
1997
ACM
15 years 11 months ago
1997
ACM
Literate programming is a powerful technique that helps expert programmers integrate code and documentation in a manner that assists human comprehension. To date, tools for litera...
192
click to vote
OOPSLA
2010
Springer
15 years 6 months ago
2010
Springer
The modularity of aspect-oriented programming (AOP) has been a controversial issue. To investigate this issue compared with object-oriented programming (OOP), we propose a simple ...
167
Voted
DAC
1998
ACM
16 years 8 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...