Výsledky vyhľadávania - "Automatic Programming—program modification"

Migrating protocols in multi-threaded message-passing systems

Autori: Austin Anderson Julian Rathke The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Austin Anderson Julian Rathke The Pennsylvania State University CiteSeerX Archives

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

Predmety: 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

Popis súboru: 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

Dostupnosť: 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

Autori: Dexter Kozen The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Dexter Kozen The Pennsylvania State University CiteSeerX Archives

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

Predmety: 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

Popis súboru: 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

Dostupnosť: 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

Autori: Dexter Kozen The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Dexter Kozen The Pennsylvania State University CiteSeerX Archives

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

Predmety: 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

Popis súboru: 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

Dostupnosť: 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

Autori: Dong Kwan Kim Eli Tilevich The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Dong Kwan Kim Eli Tilevich The Pennsylvania State University CiteSeerX Archives

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

Predmety: 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

Popis súboru: 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

Dostupnosť: 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

Autori: Dong Kwan Kim Eli Tilevich The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Dong Kwan Kim Eli Tilevich The Pennsylvania State University CiteSeerX Archives

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

Predmety: 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

Popis súboru: 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

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