Výsledky vyhľadávania - Semantics of Programming Languages—Program Analysis General Terms Algorithms
-
1
Autori: Astarte, Troy Kaighin
Zdroj: Philosophies; Aug2025, Vol. 10 Issue 4, p90, 22p
-
2
Autori: Angius, Nicola
Zdroj: Philosophies; Apr2025, Vol. 10 Issue 2, p40, 17p
-
3
Prispievatelia: The Pennsylvania State University CiteSeerX Archives
Predmety: context sensitivity
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.78.5573; http://www.cs.rpi.edu/~milanova/docs/paste07.pdf
-
4
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: 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
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: application/pdf
-
6
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: application/pdf
-
7
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: application/pdf
-
8
Autori:
Prispievatelia:
Predmety: 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 súboru: application/pdf
-
9
Autori:
Prispievatelia:
Predmety: Categories and Subject Descriptors F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program Analysis, D.1.6 [Programming Techniques, Logic Programming General Terms Algorithms, Languages, Performance
Popis súboru: application/pdf
-
10
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.9111; http://arxiv.org/pdf/cs/0608104v2.pdf
-
11
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Languages, Algorithms, Experimentation Keywords Clone detection, abstract interpretation, static analysis, soft- ware
Popis súboru: application/pdf
-
12
Autori:
Prispievatelia:
Predmety: 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
Popis súboru: application/pdf
-
13
Autori:
Prispievatelia:
Predmety: Categories and Subject Descriptors D.2.4 [Software Engineer- ing, Program Verification—Validation, D.3.4 [Programming Lan- guages, Processors—Optimization, F.3.2 [Logics and Meaning of Programs, Semantics of Programming Languages—Program Analysis, G.1.0 [Mathematics of Computing, Numerical Analysis— Computer Arithmetic General Terms Algorithms, Languages, Theory, Verification Keywords Program Transformation, Numerical Precision, Ab- stract Interpretation, Compiler Optimizations, Floating-Point Num
Popis súboru: application/pdf
-
14
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: application/pdf
-
15
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: application/pdf
-
16
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: application/pdf
-
17
Autori: a ďalší
Prispievatelia: a ďalší
Popis súboru: application/pdf
-
18
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors—Optimization, F.3.2 [Logics and Meaning of Programs, Semantics of Programming Languages—Program analysis, F.3.3 [Logics and Meaning of Programs, Studies of Program Constructs—Type structure General Terms Algorithms, Languages, Performance, Theory Keywords Gradual typing, Type inference, ActionScript
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.367.6364; http://www.cs.umd.edu/~aseem/grad_ti.pdf
-
19
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Programs, F.3.2 [Logics and meaning of programs, Semantics of Programming Languages—Program analysis, D.2.4 [Software Engineering, Software/Program Verification General Terms Algorithms, Theory, Verification Keywords inter-procedural analysis, abstract domains, interrupt- driven
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.653.4297; http://goblint.in.tum.de/papers/osek.pdf
-
20
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors F.3.1 [Specifying and Verifying and Reasoning about Programs, Semantics of Programming Languages- Program analysis, K.6.5 [Security and Protection, Verification. General Terms Algorithms, Design, Security, Languages, Verification Keywords Software security, Vulnerability analysis, Formal vulnerability specification, Common
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.258.7143; http://www.ict.swin.edu.au/personal/jgrundy/papers/ase2012_1.pdf
Full Text Finder 
Nájsť tento článok vo Web of Science