Search Results - Semantics of Programming Languages—Program Analysis*
-
1
Authors: Astarte, Troy Kaighin
Source: Philosophies; Aug2025, Vol. 10 Issue 4, p90, 22p
-
2
Authors: Angius, Nicola
Source: Philosophies; Apr2025, Vol. 10 Issue 2, p40, 17p
-
3
Authors: et al.
Contributors: et al.
Source: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages-POPL 2017
Subject Terms: 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]
File Description: application/pdf
Access URL: 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
Authors:
Contributors:
Subject Terms: 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
File Description: 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
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.651.425; http://matt.might.net/papers/earl2012ipdcfa.pdf
-
6
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.9111; http://arxiv.org/pdf/cs/0608104v2.pdf
-
7
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: 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
File Description: 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
Authors:
Contributors:
Source: http://morpheus.cs.ucdavis.edu/languages/kiss.pdf.
Subject Terms: Verification, Reliability Keywords Model checking, race detection, program analysis, concurrent software, assertion checking
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.92.4895; http://morpheus.cs.ucdavis.edu/languages/kiss.pdf
Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.92.4895
http://morpheus.cs.ucdavis.edu/languages/kiss.pdf -
9
Authors:
Contributors:
Subject Terms: Verification, Reliability Keywords Model checking, race detection, program analysis, concurrent
File Description: 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
Authors: et al.
Contributors: et al.
Subject Terms: Languages, Algorithms, Experimentation Keywords Clone detection, abstract interpretation, static analysis, soft- ware
File Description: application/pdf
-
11
Authors:
Contributors:
Subject Terms: Algorithms, Languages Keywords Backward Analysis, Set-Sharing, Logic Programs, Maximal Models and Boolean Formulas
File Description: 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
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
13
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: context sensitivity
File Description: 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
Authors:
Contributors:
Subject Terms: General Terms, Verification, Experimentation, Theory
File Description: 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
Authors: et al.
Contributors: et al.
Subject Terms: General Terms Algorithms, Languages Keywords Checkpoint, replay
File Description: application/pdf
-
16
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.4633; http://arxiv.org/pdf/cs/0503055v1.pdf
-
18
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
Full Text Finder 
Nájsť tento článok vo Web of Science