1742 search results - page 18 / 349 » An Applicative Module Calculus |
CADE
2007
Springer
14 years 10 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
BIRTHDAY
2008
Springer
14 years 2 days ago
2008
Springer
Abstract. COWS is a recently defined process calculus for specifying and combining service-oriented applications, while modelling their dynamic behaviour.
ISCAS
1995
IEEE
14 years 1 months ago
1995
IEEE
- Recent work has shown that high-order single-bit sigma-delta modulators suffer from lowlevel artifacts such as idle tones and noise modulation. Techniques that have been proposed...
POPL
2005
ACM
14 years 10 months ago
2005
ACM
Modern applications are designed in multiple tiers to separate concerns. Since each tier may run at a separate location, middleware is required to mediate access between tiers. Ho...
IFIPTCS
2010
13 years 8 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...