Search Results - "Specifying and Verifying and Reasoning about Programs General Terms Algorithms"

A separation logic for refining concurrent objects

Authors: Aaron Turon Mitchell Wand The Pennsylvania State University CiteSeerX Archives

Contributors: Aaron Turon Mitchell Wand The Pennsylvania State University CiteSeerX Archives

Source: http://flint.cs.yale.edu/cs428/doc/refine-cobj.pdf.

Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms Algorithms, Verification

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.307.5696

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.307.5696
http://flint.cs.yale.edu/cs428/doc/refine-cobj.pdf

Transactional boosting: A methodology for highly-concurrent transactional objects

Authors: Maurice Herlihy Eric Koskinen The Pennsylvania State University CiteSeerX Archives

Contributors: Maurice Herlihy Eric Koskinen The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.brandeis.edu//~cs220/reads/p207-herlihy.pdf.

Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming – Parallel Programming, D.3.3 [Programming Languages, Language Constructs and Features – Frameworks, Concurrent programming structures, E.1 [Data Structures, Distributed data structures, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms Algorithms, Languages, Theory Keywords Transactional Boosting, non-blocking algorithms, abstract locks

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.332.7751

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.332.7751
http://www.cs.brandeis.edu//~cs220/reads/p207-herlihy.pdf

P.: Dynamic Partial-Order Reduction for Model Checking Software

Authors: Cormac Flanagan Patrice Godefroid The Pennsylvania State University CiteSeerX Archives

Contributors: Cormac Flanagan Patrice Godefroid The Pennsylvania State University CiteSeerX Archives

Source: http://users.soe.ucsc.edu/~cormac/papers/popl05-old.pdf.

Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms Algorithms, Verification, Reliability Keywords Partial-order

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.421.1291

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.421.1291
http://users.soe.ucsc.edu/~cormac/papers/popl05-old.pdf