1173 search results - page 219 / 235 » On the Compositionality of Round Abstraction |
SIGSOFT
2008
ACM
14 years 10 months ago
2008
ACM
Executable models are increasingly being employed by development teams to implement robust software systems. Modern executable models offer powerful composition mechanisms that al...
WWW
2008
ACM
14 years 10 months ago
2008
ACM
With Telecom market reaching saturation in many geographies and revenues from voice calls decreasing, Telecom operators are trying to identify new sources of revenue. For this pur...
POPL
2008
ACM
14 years 10 months ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...
TLDI
2010
ACM
14 years 6 months ago
2010
ACM
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
CAV
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...