3311 search results - page 332 / 663 » Deductive Object Programming |
129
Voted
DCOSS
2005
Springer
15 years 8 months ago
2005
Springer
The literature on programming sensor networks has focused so far on g higher-level abstractions for expressing local node behavior. Kairos is a natural next step in sensor network ...
115
click to vote
SIGADA
2005
Springer
15 years 8 months ago
2005
Springer
One of the most important object-oriented features of the new revision of the Ada Programming Language is the introof Abstract Interfaces to provide a form of multiple nce. Ada 20...
122
click to vote
OOPSLA
2004
Springer
15 years 8 months ago
2004
Springer
This demonstration will feature overviews of the C-SAW and GenAWeave projects. The first half of the presentation will introduce the concept of two-level aspect weaving, which uni...
141
click to vote
LICS
1994
IEEE
15 years 7 months ago
1994
IEEE
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...
133
click to vote
EUROPAR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Understanding program behavior is at the foundation of program optimization. Techniques for automatic recognition of program constructs characterize the behavior of code ...