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

www.cs.colorado.edu 2Measuring Enforcement Windows with Symbolic Trace Interpretation: What Well-Behaved Programs Say

Autoři: Devin Coughlin Bor-yuh Evan Chang Amer Diwan a další

Přispěvatelé: Devin Coughlin Bor-yuh Evan Chang Amer Diwan a další

Zdroj: http://www.cs.colorado.edu/~bec/papers/CU-CS-1093-12-enforcements.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Symbolic execution, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis General Terms Languages, Verification Keywords symbolic trace interpretation, validation scope, enforcement windows, static a

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.298.5394
http://www.cs.colorado.edu/~bec/papers/CU-CS-1093-12-enforcements.pdf

Mixing Type Checking and Symbolic Execution

Autoři: Khoo Yit Phang Bor-yuh Evan Chang Jeffrey S. Foster a další

Přispěvatelé: Khoo Yit Phang Bor-yuh Evan Chang Jeffrey S. Foster a další

Zdroj: http://www.cs.umd.edu/~khooyp/Khoo_Yit_Phang_files/Mixing Type Checking and Symbolic Execution (PLDI 2010).pdf.

Témata: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification, D.2.5 [Software Engineering, Testing and Debugging—Symbolic execution, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis General Terms Languages, Verification Keywords Mix, mixed off-the-shelf analysis, symbolic execution, type checking

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.381.8384; http://www.cs.umd.edu/~khooyp/Khoo_Yit_Phang_files/Mixing Type Checking and Symbolic Execution (PLDI 2010).pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.381.8384
http://www.cs.umd.edu/~khooyp/Khoo_Yit_Phang_files/Mixing Type Checking and Symbolic Execution (PLDI 2010).pdf

Systematic Derivation of

Autoři: Claus Brabrand Andrzej Wπsowski Claus Brabr a další

Přispěvatelé: Claus Brabrand Andrzej Wπsowski Claus Brabr a další

Zdroj: http://www.itu.dk/people/brabrand/TR-2014-170.pdf.

Témata: Categories and Subject Descriptors D.2.4 [Software Engineer- ing, Software/Program Verification, F.3.2 [Theory of Computa- tion, Semantics of Programming Languages —Program Analysis General Terms Languages, Theory, Verification Keywords Software Product Lines, Verification, Static Analysis, Abstract Interpretation

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.588.8642
http://www.itu.dk/people/brabrand/TR-2014-170.pdf