2 search results - page 1 / 1 » Specification Enforcing Refinement for Convertibility Verifi... |
ACSD
2009
IEEE
13 years 6 months ago
2009
IEEE
Protocol conversion deals with the automatic synthesis of an additional component, often referred to as an adaptor or a converter, to bridge mismatches between interacting compone...
POPL
2006
ACM
14 years 4 months ago
2006
ACM
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...