2004 search results - page 78 / 401 » Interaction nets: programming language design and implementa... |
122
click to vote
UM
2009
Springer
15 years 11 months ago
2009
Springer
Ideally designed software allow users to explore and pursue interleaving plans, making it challenging to automatically recognize user interactions. The recognition algorithms prese...
217
Voted
ANCS
2011
ACM
14 years 4 months ago
2011
ACM
Network virtualization has emerged as a powerful technique to deploy novel services and experimental protocols over shared network infrastructures. Although recent research has hi...
155
click to vote
PLDI
1997
ACM
15 years 8 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
147
click to vote
ICLP
1995
Springer
15 years 8 months ago
1995
Springer
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
134
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
Progressing beyond the productivity of present-day languages appears to require using domain-specific knowledge. Domain-specific languages and libraries (DSLs) proliferate, but ...