1054 search results - page 30 / 211 » Guarded Expressions in Practice |
MEMOCODE
2007
IEEE
14 years 5 months ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
CONCUR
2007
Springer
14 years 5 months ago
2007
Springer
It is well known that bisimulation on µ-expressions cannot be finitely axiomatised in equational logic. Complete axiomatisations such as those of Milner and Bloom/´Esik necessar...
HASKELL
2006
ACM
14 years 4 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
ECOOP
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Programming with Java monitors is recognized to be difficult, and potentially inefficient due to many useless context switches induced by the notifyAll primitive. This pa...
FPL
2003
Springer
14 years 4 months ago
2003
Springer
An extensible firewall has been implemented that performs packet filtering, content scanning, and per-flow queuing of Internet packets at Gigabit/second rates. The firewall use...