351 search results - page 71 / 71 » Multi-Modal-Method: A Design Method for Building Multi-Modal... |
ICFP
2010
ACM
14 years 10 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...