Výsledky vyhľadávania - Semantics of Programming Languages—Program analysis*
-
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
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages-POPL 2017
Predmety: 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 súboru: application/pdf
Prí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 -
4
Autori:
Prispievatelia:
Predmety: 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 súboru: 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
-
5
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.651.425; http://matt.might.net/papers/earl2012ipdcfa.pdf
-
6
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
-
7
Prispievatelia: The Pennsylvania State University CiteSeerX Archives
Predmety: General Terms, Languages, Theory Additional Key Words and Phrases, Abstract interpretation, abstract domain, completeness, fixpoint completeness, complete core, complete shell, integer interval analysis, logic program analysis
Popis súboru: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.82.2; http://profs.sci.univr.it/~giaco/download/jacm.ps.gz
-
8
Autori:
Prispievatelia:
Zdroj: http://morpheus.cs.ucdavis.edu/languages/kiss.pdf.
Predmety: Verification, Reliability Keywords Model checking, race detection, program analysis, concurrent software, assertion checking
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.92.4895; http://morpheus.cs.ucdavis.edu/languages/kiss.pdf
Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.92.4895
http://morpheus.cs.ucdavis.edu/languages/kiss.pdf -
9
Autori:
Prispievatelia:
Predmety: Verification, Reliability Keywords Model checking, race detection, program analysis, concurrent
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.119.2392; http://www.cs.ucla.edu/~rupak/Courses/winter08/CS239/Papers/KISS.pdf
-
10
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Languages, Algorithms, Experimentation Keywords Clone detection, abstract interpretation, static analysis, soft- ware
Popis súboru: application/pdf
-
11
Autori:
Prispievatelia:
Predmety: Algorithms, Languages Keywords Backward Analysis, Set-Sharing, Logic Programs, Maximal Models and Boolean Formulas
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.301.4911; http://www.secs.oakland.edu/~l2lu/pubs/PPDP05.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
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
-
14
Autori:
Prispievatelia:
Predmety: General Terms, Verification, Experimentation, Theory
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.2993; http://www.di.ens.fr/~mauborgn/publi/toplas29.pdf
-
15
Autori: a ďalší
Prispievatelia: a ďalší
Popis súboru: application/pdf
-
16
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
-
17
Autori:
Prispievatelia:
Predmety: 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 súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.4633; http://arxiv.org/pdf/cs/0503055v1.pdf
-
18
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 Design, Languages, Performance Keywords Software product lines, inter-procedural static analysis, context
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.1599; http://www.bodden.de/pubs/bmb+13spllift.pdf
-
19
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 Design, Languages, Performance Keywords Software product lines, inter-procedural static analysis, context
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.278.7682; http://www.bodden.de/pubs/bmb%2B13spllift.pdf
-
20
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
Full Text Finder 
Nájsť tento článok vo Web of Science