13271 search results - page 448 / 2655 » Computers, Programming, and People |
192
click to vote
ARTS
1999
Springer
15 years 11 months ago
1999
Springer
In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...
163
click to vote
ECOOPW
1998
Springer
15 years 11 months ago
1998
Springer
In restructuring legacy code it may be useful to introduce a design pattern in order to add clarity to the system and thus facilitate further program evolution. We show that aspec...
177
click to vote
ECOOPW
1998
Springer
15 years 11 months ago
1998
Springer
The aspect-oriented programming approach claims to make it easier to reason about, develop, and maintain certain kinds of application code while maintaining highly e cient code. To...
174
click to vote
C5
2004
IEEE
15 years 10 months ago
2004
IEEE
The Japanese government has been promoting IT education, including programming, at elementary and secondary (K12) schools since 2002. We have developed Dolittle, an object-oriente...
177
click to vote
AAAI
1994
15 years 8 months ago
1994
We present a method of representing some classes of default theories as normal logic programs. The main point is that the standard semantics (i.e. SLDNF-resolution) computes answe...