506 search results - page 102 / 102 » Proving Properties about Lists Using Containers |
305
Voted
PLPV
2011
ACM
14 years 10 months 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...