2 search results - page 1 / 1 » Specification Enforcing Refinement for Convertibility Verifi... |
ACSD
2009
IEEE
14 years 12 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...
170
click to vote
POPL
2006
ACM
15 years 9 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...