4008 search results - page 449 / 802 » An expressive language of signatures |
178
click to vote
APLAS
2006
ACM
16 years 24 days ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...
179
click to vote
ASWEC
2005
IEEE
16 years 13 days ago
2005
IEEE
Message Sequence Charts (MSCs) are a graphical language for scenarios of communicating components exchanging messages in a distributed environment. The language has been standardi...
158
click to vote
ICDE
2005
IEEE
16 years 13 days ago
2005
IEEE
Abstract Although e-commerce is becoming popular, product rules, which describe various conditions such as prices, applicability, and discount conditions are still expressed in nat...
156
click to vote
APLAS
2005
ACM
16 years 11 days ago
2005
ACM
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of ...
201
click to vote
ADAEUROPE
2005
Springer
16 years 11 days ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...