3931 search results - page 68 / 787 » Separation logic and abstraction |
EUSFLAT
2009
14 years 7 months ago
2009
Abstract
ICALP
2007
Springer
15 years 4 months ago
2007
Springer
d Abstract) Paul Beame1, , Matei David2, , Toniann Pitassi2, , and Philipp Woelfel2,† 1 University of Washington 2 University of Toronto Abstract. We solve some fundamental probl...
137
click to vote
PLPV
2011
ACM
14 years 19 days ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
81
Voted
RULEML
2005
Springer
15 years 3 months ago
2005
Springer
In this paper we evolve a rule based approach to SLA representation and management which allows separating the contractual business logic from the application logic and enables aut...
SIAMCOMP
2000
14 years 9 months ago
2000
An exponential lower bound for the size of tree-like cutting planes refutations of a certain family of conjunctive normal form (CNF) formulas with polynomial size resolution refuta...