Výsledky vyhledávání - "Semantics of Programming Languages—Program analysis General Terms Algorithms"

DOJ: Dynamically parallelizing object-oriented programs

Autoři: Yong Eom Stephen Yang James C. Jenista a další

Přispěvatelé: Yong Eom Stephen Yang James C. Jenista a další

Zdroj: http://demsky.eecs.uci.edu/publications/doj.pdf?origin%3Dpublication_detail.

Témata: Categories and Subject Descriptors F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program Analysis General Terms Algorithms, Performance Keywords Parallel Programming, Dynamic Analysis, Object- Oriented Analysis, Heap Analysis, Parallelization

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.692.1298; http://demsky.eecs.uci.edu/publications/doj.pdf?origin%3Dpublication_detail

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.692.1298
http://demsky.eecs.uci.edu/publications/doj.pdf?origin%3Dpublication_detail

F.: Dynamic detection of atomic-set-serializability violations

Autoři: Christian Hammer Julian Dolby M Ana Vaziri Frank Tip a další

Přispěvatelé: Christian Hammer Julian Dolby M Ana Vaziri Frank Tip a další

Zdroj: http://pp.info.uni-karlsruhe.de/uploads/publikationen/hammer08icse.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Program- ming—Parallel Programming, D.2.5 [Software Engineer- ing, Testing and Debugging—Tracing, D.2.4 [Software Engineering, Software/Program Verification—Reliability, F.3.2 [Logics and Meaning of Programs, Semantics of Programming Languages—Program Analysis General Terms Algorithms, Experimentation, Measurement, Reliability Keywords Concurrent Object-Oriented Programming, Data Races, Atom- icity, Serializability, Dynamic Analysis

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.554.292
http://pp.info.uni-karlsruhe.de/uploads/publikationen/hammer08icse.pdf

F.: Dynamic detection of atomic-set-serializability violations

Autoři: Christian Hammer Julian Dolby M Ana Vaziri Frank Tip a další

Přispěvatelé: Christian Hammer Julian Dolby M Ana Vaziri Frank Tip a další

Zdroj: http://www.cse.msu.edu/~cse914/Readings/dynamicDetectionOfAtomicSetSerializabilityViolations-icse08.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Program- ming—Parallel Programming, D.2.5 [Software Engineer- ing, Testing and Debugging—Tracing, D.2.4 [Software Engineering, Software/Program Verification—Reliability, F.3.2 [Logics and Meaning of Programs, Semantics of Programming Languages—Program Analysis General Terms Algorithms, Experimentation, Measurement, Reliability Keywords Concurrent Object-Oriented Programming, Data Races, Atom- icity, Serializability, Dynamic Analysis

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.548.9015
http://www.cse.msu.edu/~cse914/Readings/dynamicDetectionOfAtomicSetSerializabilityViolations-icse08.pdf

Dynamic path conditions in dependence graphs

Autoři: Christian Hammer Martin Grimme Jens Krinke a další

Přispěvatelé: Christian Hammer Martin Grimme Jens Krinke a další

Zdroj: http://pp.info.uni-karlsruhe.de/uploads/publikationen/hammer06pepm.pdf.

Témata: Categories and Subject Descriptors D.2.4 [Software Engineer- ing, Software/Program Verification, D.2.5 [Software Engineer- ing, Testing and Debugging—Tracing, F.3.1 [Logics and Mean- ing of Programs, Specifying and Verifying and Reasoning about Programs, F.3.2 [Logics and Meaning of Programs, Semantics of Programming Languages—Program Analysis General Terms Algorithms, Reliability, Security, Theory, Verifi- cation Keywords Dynamic Slicing, Dynamic Chopping, Path Condition, Information Flow Control

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.518.5052
http://pp.info.uni-karlsruhe.de/uploads/publikationen/hammer06pepm.pdf

Rethinking Soot for Summary-Based Whole-Program Analysis

Autoři: Dacong Yan Guoqing Xu Atanas Rountev a další

Přispěvatelé: Dacong Yan Guoqing Xu Atanas Rountev a další

Zdroj: http://www.ics.uci.edu/~guoqingx/papers/yan-soap12.pdf.

Témata: Categories and Subject Descriptors F.3.2 [Logics and Meaning of Programs, Semantics of Programming Languages—Program analysis General Terms Algorithms, measurement, experimentation Keywords Summary, whole-program static analysis, library

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.640.4964
http://www.ics.uci.edu/~guoqingx/papers/yan-soap12.pdf

Rutgers University

Autoři: Robert Hirschfeld The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Robert Hirschfeld The Pennsylvania State University CiteSeerX Archives

Zdroj: http://hpi.uni-potsdam.de/hirschfeld/publications/media/WlokaHirschfeldHaensel_2007_ToolSupportedRefactoringOfAspectOrientedPrograms.pdf.

Témata: Categories and Subject Descriptors D.2.7 [Software Engineer- ing, Distribution, Maintenance, and Enhancement, F.3.2 [Logics andMeanings of Programs, Semantics of Programming Languages— program analysis General Terms Algorithms, Measurement, Languages Keywords Software refactoring, Aspect-oriented programming, Change impact analysis, Static program analysis, Code generation

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.467.8889
http://hpi.uni-potsdam.de/hirschfeld/publications/media/WlokaHirschfeldHaensel_2007_ToolSupportedRefactoringOfAspectOrientedPrograms.pdf