2004 search results - page 113 / 401 » Interaction nets: programming language design and implementa... |
107
click to vote
AOSD
2007
ACM
15 years 9 months ago
2007
ACM
Design patterns aim at improving reusability and variability of object-oriented software. Despite a notable success, aspect-oriented programming (AOP) has been discussed recently ...
135
Voted
ICALP
2000
Springer
15 years 8 months ago
2000
Springer
We study the problem of strong/weak bisimilarity between processes of one-counter automata and finite-state processes. We show that the problem of weak bisimilarity between process...
162
click to vote
PLDI
2009
ACM
15 years 12 months ago
2009
ACM
Translation validation is a technique for checking that, after an optimization has run, the input and output of the optimization are equivalent. Traditionally, translation validat...
114
click to vote
WSC
2000
15 years 6 months ago
2000
We summarize progress achieved on an interactive land use VRML application (ILUVA) with servlet assist. The purpose of this application is to enable one to take a virtual land are...
139
click to vote
IPPS
2002
IEEE
15 years 10 months ago
2002
IEEE
SAC is a purely functional array processing language designed with numerical applications in mind. It supports generic, high-level program specifications in the style of APL. How...