Migrating protocols in multi-threaded message-passing systems

Συγγραφείς: Austin Anderson, Julian Rathke

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.cs.cmu.edu/~tdumitra/hotswup09/papers/hotswup09_submission_2.pdf.

Θεματικοί όροι: 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

Περιγραφή αρχείου: 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

Διαθεσιμότητα: 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

Συγγραφείς: Dexter Kozen

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.cs.cornell.edu/kozen/papers/kat.ps.

Θεματικοί όροι: 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

Περιγραφή αρχείου: 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

Διαθεσιμότητα: 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

Συγγραφείς: Dexter Kozen

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.cs.cornell.edu/~kozen/papers/slapc.pdf.

Θεματικοί όροι: 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

Περιγραφή αρχείου: 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

Διαθεσιμότητα: 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

Συγγραφείς: Dong Kwan Kim, Eli Tilevich

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.cs.vt.edu/~tilevich/papers/HotSWUp08.pdf.

Θεματικοί όροι: 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

Περιγραφή αρχείου: 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

Διαθεσιμότητα: 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

Συγγραφείς: Dong Kwan Kim, Eli Tilevich

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.cs.vt.edu/~tilevich/papers/HotSWUp08.pdf.

Θεματικοί όροι: 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

Περιγραφή αρχείου: 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

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.143.4902
http://www.cs.vt.edu/~tilevich/papers/HotSWUp08.pdf