Migrating protocols in multi-threaded message-passing systems

Authors: Austin Anderson, Julian Rathke

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.cmu.edu/~tdumitra/hotswup09/papers/hotswup09_submission_2.pdf.

Subject Terms: Categories and Subject Descriptors D.1.2 [Programming Tech- niques, Automatic Programming- program modification, pro- gram transformation, D.1.3 [Programming Techniques, Concur- rent Programming- multi-threaded programming, D.2.7 [Soft- ware Engineering, Distribution, Maintenance, and Enhancement, D.3.1 [Programming Languages, Formal Definitions and Theory General Terms Languages, Typing Keywords Dynamic Software Update, Multi-Party Session Types, Distributed-Protocols

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.558.9972; http://www.cs.cmu.edu/~tdumitra/hotswup09/papers/hotswup09_submission_2.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.558.9972
http://www.cs.cmu.edu/~tdumitra/hotswup09/papers/hotswup09_submission_2.pdf

Kleene Algebra with Tests

Authors: Dexter Kozen

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.cornell.edu/kozen/papers/kat.ps.

Subject Terms: Expressions and Their Representations---simplification of expressions, I.1.3 [Algebraic Manipulation, Languages and Systems---special-purpose algebraic systems, I.2.2 [Algebraic Manipulation, Automatic Programming---program modification, program synthesis, program transformation, program verification General Terms, Design, Languages, Theory, Verification Additional Key Words and Phrases, Dynamic logic, Kleene algebra, specification

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.70; http://www.cs.cornell.edu/kozen/papers/kat.ps

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.70
http://www.cs.cornell.edu/kozen/papers/kat.ps

Substructural logic and partial correctness

Authors: Dexter Kozen

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.cornell.edu/~kozen/papers/slapc.pdf.

Subject Terms: Manipulation, Languages and Systems—special-purpose algebraic systems, I.2.2 [Algebraic Manipulation, Automatic Programming—program modification, program synthesis, program transformation, program verification General Terms, Theory, Verification Additional Key Words and Phrases, Dynamic logic, Hoare logic, Kleene algebra, Kleene algebra with tests

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.3390; http://www.cs.cornell.edu/~kozen/papers/slapc.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.3390
http://www.cs.cornell.edu/~kozen/papers/slapc.pdf

E.: Overcoming JVM HotSwap constraints via binary rewriting

Authors: Dong Kwan Kim, Eli Tilevich

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.vt.edu/~tilevich/papers/HotSWUp08.pdf.

Subject Terms: Categories and Subject Descriptors D.1.2 [Programming Techniques, Automatic Programming—program modification, program transformation, D.2.3 [Software Engineering, Coding Tools and Techniques—object-oriented programming General Terms Languages, Experimentation Keywords HotSwap, Binary Refactoring, Virtual Superclass, JVM Languages

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.220.1887; http://www.cs.vt.edu/~tilevich/papers/HotSWUp08.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.220.1887
http://www.cs.vt.edu/~tilevich/papers/HotSWUp08.pdf

Overcoming JVM HotSwap Constraints via Binary Rewriting

Authors: Dong Kwan Kim, Eli Tilevich

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.vt.edu/~tilevich/papers/HotSWUp08.pdf.

Subject Terms: Categories and Subject Descriptors D.1.2 [Programming Techniques, Automatic Programming—program modification, program transformation, D.2.3 [Software Engineering, Coding Tools and Techniques—object-oriented programming General Terms Languages, Experimentation Keywords HotSwap, Binary Refactoring, Virtual Superclass, JVM Languages

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.143.4902; http://www.cs.vt.edu/~tilevich/papers/HotSWUp08.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.143.4902
http://www.cs.vt.edu/~tilevich/papers/HotSWUp08.pdf