4257 search results - page 440 / 852 » The Logical Modularity of Programs |
146
click to vote
APN
2003
Springer
16 years 1 days ago
2003
Springer
The Model-Checking Kit [8] is a collection of programs which allow to model finite state systems using a variety of modelling languages, and verify them using a variety of checker...
179
click to vote
WOLLIC
2010
Springer
15 years 12 months ago
2010
Springer
The satisfiability and finite satisfiability problems for the two-variable fragment of first-order logic with counting were shown in [5] to be in NExpTime. This paper presents ...
162
click to vote
ENTCS
2008
15 years 6 months ago
2008
In the book on Advanced Topics in Types and Programming Languages, Crary illustrates the reasoning technique of logical relations in a case study about equivalence checking. He pr...
174
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
Despite its powerful module system, ML has not yet evolved for the modern world of dynamic and open modular programming, to which more primitive languages have adapted better so f...
163
click to vote
AOSD
2005
ACM
16 years 11 days ago
2005
ACM
Improving the structure of code can help developers work with a software system more efficiently and more consistently. To aid developers in re-structuring the implementation of c...