351 search results - page 71 / 71 » Multi-Modal-Method: A Design Method for Building Multi-Modal... |
123
click to vote
ICFP
2010
ACM
15 years 4 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...