2004 search results - page 126 / 401 » Interaction nets: programming language design and implementa... |
171
click to vote
WOTUG
2008
15 years 7 months ago
2008
When teaching concurrency, using a process-oriented language, it is often introduced through a visual representation of programs in the form of process network . These diagrams all...
167
click to vote
KBSE
1994
IEEE
15 years 10 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
159
click to vote
INTERACT
2003
15 years 7 months ago
2003
: VEWL (Virtual Environment Windowing Library) is a library designed to provide a highly flexible interface metaphor for building window-based interfaces within a virtual environme...
144
click to vote
PLDI
1996
ACM
15 years 10 months ago
1996
ACM
Traditional first-class continuation mechanisms allow a captured continuation to be invoked multiple times. Many continuations, however, are invoked only once. This paper introduc...
150
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
It is well-known that freeness and linearity information positively interact with aliasing information, allowing both the precision and the efficiency of the sharing analysis of l...