2004 search results - page 224 / 401 » Interaction nets: programming language design and implementa... |
183
click to vote
MSS
2000
IEEE
15 years 11 months ago
2000
IEEE
The Jiro™ technology provides an environment intended for the implementation of storage management solutions. A product based on Jiro technology is an implementation based on th...
194
click to vote
AICT
2006
IEEE
16 years 17 days ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
169
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
175
click to vote
ASPLOS
1996
ACM
15 years 10 months ago
1996
ACM
Advances in IC processing allow for more microprocessor design options. The increasing gate density and cost of wires in advanced integrated circuit technologies require that we l...
166
click to vote
HASKELL
2007
ACM
15 years 10 months ago
2007
ACM
The Glasgow Haskell Compiler (GHC) has quite sophisticated support for concurrency in its runtime system, which is written in lowlevel C code. As GHC evolves, the runtime system b...