Výsledky vyhledávání - "Semantics of Programming Languages— Program Analysis"
-
1
Autoři: a další
Přispěvatelé: a další
Zdroj: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages-POPL 2017
Témata: heap abstraction, Software/Program Verification, 0202 electrical engineering, electronic engineering, information engineering, disjunctions, Specifying and Verifying and Reasoning about Programs, abstract interpretation, 02 engineering and technology, silhouette, clumping of disjuncts, separation logics, Semantics of Programming Languages-Program analysis, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
Popis souboru: application/pdf
Přístupová URL adresa: https://hal.inria.fr/hal-01648679/file/popl17.pdf
https://dl.acm.org/doi/abs/10.1145/3093333.3009881
https://hal.inria.fr/hal-01648679/document
https://dblp.uni-trier.de/db/conf/popl/popl2017.html#LiBCR17
https://dl.acm.org/doi/pdf/10.1145/3009837.3009881
https://dl.acm.org/citation.cfm?doid=3009837.3009881 -
2
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: 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
-
3
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.1599; http://www.bodden.de/pubs/bmb+13spllift.pdf
-
4
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.278.7682; http://www.bodden.de/pubs/bmb%2B13spllift.pdf
-
5
Autoři: a další
Přispěvatelé: a další
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
-
6
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.3.4 [Programming lan- guages, Processors—Optimization, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis, Operational semantics General Terms Languages, Theory Keywords CFA2, pushdown systems, abstract interpretation, pushdown analysis, program analysis, abstract machines, abstract garbage collection, higher-order
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.651.425; http://matt.might.net/papers/earl2012ipdcfa.pdf
-
7
Autoři: a další
Přispěvatelé: a další
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
-
8
Autoři: a další
Přispěvatelé: a další
Témata: 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 souboru: application/pdf
-
9
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming—Distributed Programming, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages— Program Analysis, C.2.4 [Computer-Communication Networks, Distributed Systems—Distributed Applications General Terms Languages, Performance Keywords event, distributed, correlation, language, program analysis
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.1183; http://www.cs.purdue.edu/homes/peugster/EventJava/EvProgAnal.pdf
-
10
Autoři:
Přispěvatelé:
Témata: 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 souboru: application/pdf
-
11
Autoři:
Přispěvatelé:
Témata: 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 souboru: application/pdf
-
12
Autoři: a další
Přispěvatelé: a další
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
-
13
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors C.2.2 [Computer-Communication Networks, Network Protocols—Protocol Verification, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages —Program Analysis, K.6.5 [Management of Computing and Information Systems, Security and Protection—Authentication General Terms Security, Theory, Verification
Popis souboru: application/pdf
-
14
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors C.2.2 [Computer-Communication Networks, Network Protocols—Protocol Verification, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages —Program Analysis, K.6.5 [Management of Computing and Information Systems, Security and Protection— Authentication
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.442; http://www.dsi.unive.it/~cortesi/paperi/Fmse07.pdf
-
15
Autoři: a další
Přispěvatelé: a další
Témata: 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 souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.9111; http://arxiv.org/pdf/cs/0608104v2.pdf
-
16
Autoři: a další
Přispěvatelé: a další
Témata: 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 souboru: application/pdf
-
17
Autoři: a další
Přispěvatelé: a další
Témata: 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 souboru: application/pdf
-
18
Autoři: a další
Přispěvatelé: a další
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
-
19
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, F.3.2 [Logic and Meanings of Programs, Semantics of Programming Languages—Program analysis, Denotational semantics, D.1.6 [Programming Techniques, Logic Programming General Terms, Algorithms, Design, Performance, Theory Additional Key Words and Phrases, Abstract interpretation, existentially quantified substitutions, logic programming
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.4633; http://arxiv.org/pdf/cs/0503055v1.pdf
-
20
Autoři: a další
Přispěvatelé: a další
Zdroj: https://ensta.hal.science/hal-00978015 ; 2014.
Témata: Worst-Case Execution Time Analysis, Iterative Refinement, Graph Prunning, F.3.2 [Logics and Meanings of Programs]: Semantics of Programming Languages--Program analysis, C.3 [Special-Purpose and Application-Based Systems]: Real-time and embedded systems, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Full Text Finder 
Nájsť tento článok vo Web of Science