Výsledky vyhledávání - "Automatic Programming- program modification"

Migrating protocols in multi-threaded message-passing systems

Autoři: Austin Anderson Julian Rathke The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Austin Anderson Julian Rathke The Pennsylvania State University CiteSeerX Archives

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

Témata: 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 souboru: 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

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

Autoři: Dexter Kozen The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Dexter Kozen The Pennsylvania State University CiteSeerX Archives

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

Témata: 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 souboru: 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

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

Autoři: Dexter Kozen The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Dexter Kozen The Pennsylvania State University CiteSeerX Archives

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

Témata: 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 souboru: 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

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

Autoři: Dong Kwan Kim Eli Tilevich The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Dong Kwan Kim Eli Tilevich The Pennsylvania State University CiteSeerX Archives

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

Témata: 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 souboru: 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

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

Autoři: Dong Kwan Kim Eli Tilevich The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Dong Kwan Kim Eli Tilevich The Pennsylvania State University CiteSeerX Archives

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

Témata: 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 souboru: 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

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