Suchergebnisse - "Semantics of Programming Languages—program analysis General Terms"
-
1
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Model checking, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Invariants, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis General Terms Design, Verification Keywords Automated verification, data model, inductive invariants, Ruby on Rails
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.433.1629; http://www.cs.ucsb.edu/~bultan/publications/icse14.pdf
-
2
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis General Terms Design, Languages, Performance Keywords Software product lines, inter-procedural static analysis, context
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.1599; http://www.bodden.de/pubs/bmb+13spllift.pdf
-
3
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis General Terms Design, Languages, Performance Keywords Software product lines, inter-procedural static analysis, context
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.278.7682; http://www.bodden.de/pubs/bmb%2B13spllift.pdf
-
4
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
-
5
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
6
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors, D.2.3 [Software Engineering, Coding Tools and Techniques—Objectoriented programming, program editors, D.2.6 [Software Engineering, Programming Environments— Interactive environments, D.2.7 [Software Engineering, Distribution, Maintenance, and Enhancement— Restructuring, reverse engineering, and reengineering, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis General Terms, Algorithms, Design, Languages Additional Key Words and Phrases, Refactoring, type constraints, program transformation ACM Reference Format
Dateibeschreibung: application/pdf
-
7
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
8
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
9
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors, D.3.4 [Programming Languages, Processors—Memory management (garbage collection, Optimization, F.3.2 [Logics and Meanings Of Programs, Semantics of Programming Languages—Program analysis General Terms, Algorithms, Languages, Theory Additional Key Words and Phrases, Aliasing, Data Flow Analysis, Heap References, Liveness
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.9111; http://arxiv.org/pdf/cs/0608104v2.pdf
-
10
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors, D.3.4 [Programming Languages, Processors—Memory management (garbage collection, Optimization, F.3.2 [Logics and Meanings Of Programs, Semantics of Programming Languages—Program analysis General Terms, Algorithms, Languages, Theory Additional Key Words and Phrases, Aliasing, Data Flow Analysis, Heap References, Liveness
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.1491; http://arxiv.org/pdf/cs/0608104v1.pdf
-
11
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging— debugging aids, D.2.6 [Software Engineering, Programming Environments, E.1 [Data Structures, Graphs, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis General Terms, Algorithms, Languages Additional Key Words and Phrases, Slicing, Internal Representation, Performance Enhancement
Dateibeschreibung: application/pdf
-
12
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging— debugging aids, D.2.6 [Software Engineering, Programming Environments, E.1 [Data Structures, Graphs, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis General Terms, Algorithms, Languages Additional Key Words and Phrases, Slicing, Internal Representation, Performance Enhancement
Dateibeschreibung: application/pdf
-
13
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
14
Autoren:
Weitere Verfasser:
Schlagwörter: and meanings of Programs, Semantics of Programming Languages—Program Analysis General Terms, Algorithms, Documentation, Experimentation, Languages, Theory Additional Key Words and Phrases, Class hierarchy reengineering, concept analysis
Dateibeschreibung: application/pdf
-
15
Autoren: et al.
Weitere Verfasser: et al.
Quelle: http://www.cs.umd.edu/~khooyp/Khoo_Yit_Phang_files/Mixing Type Checking and Symbolic Execution (PLDI 2010).pdf.
Schlagwörter: 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
Dateibeschreibung: 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
Verfügbarkeit: 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 -
16
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, F.3.1 [Logics and Meaning 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, Verification, Experimentation, Theory ACM Reference Format
Dateibeschreibung: application/pdf
-
17
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, D.3.1 [Programming Languages, Formal Definitions and Theory, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis General Terms, Languages, Security, Theory, Verification Additional Key Words and Phrases, Coq proof assistant, differential privacy, relational Hoare logic
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.683.867; http://software.imdea.org/%7Ebkoepf/papers/toplas13.pdf
-
18
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
19
Weitere Verfasser: The Pennsylvania State University CiteSeerX Archives
Schlagwörter: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification— Reliability, D.2.5 [Software Engineering, Testing and Debugging—Debugging aids, F.3.2 [Logics and Meaning of Programs, Semantics of Programming Languages—Program Analysis General Terms, Design, Algorithms, Performance Additional Key Words and Phrases, Memory leaks, container profiling, leaking confidence ACM Reference Format
Dateibeschreibung: application/pdf
-
20
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
Nájsť tento článok vo Web of Science