3572 search results - page 438 / 715 » Nominal Logic Programming |
181
click to vote
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analy...
151
Voted
FCCM
2000
IEEE
15 years 9 months ago
2000
IEEE
Simplifying the programming models is paramount to the success of reconfigurable computing. We apply the principles of object-oriented programming to the design of stream archite...
156
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
140
click to vote
DAC
2009
ACM
16 years 6 months ago
2009
ACM
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...
158
Voted
DALT
2003
Springer
15 years 10 months ago
2003
Springer
Work on agent communication languages has since long striven to achieve adequate speech act semantics; partly, the problem is that references to an agent’s architecture (in parti...