Search Results - "Semantics of Programming Languages— program analysis General Terms Algorithms"

of Programs]: Semantics of Programming Languages—Program Analysis General Terms Algorithms

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.rpi.edu/~milanova/docs/paste07.pdf.

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.78.5573
http://www.cs.rpi.edu/~milanova/docs/paste07.pdf

DOJ: Dynamically parallelizing object-oriented programs

Authors: Yong Eom Stephen Yang James C. Jenista et al.

Contributors: Yong Eom Stephen Yang James C. Jenista et al.

Source: http://demsky.eecs.uci.edu/publications/doj.pdf?origin%3Dpublication_detail.

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.692.1298
http://demsky.eecs.uci.edu/publications/doj.pdf?origin%3Dpublication_detail

F.: Dynamic detection of atomic-set-serializability violations

Authors: Christian Hammer Julian Dolby M Ana Vaziri Frank Tip et al.

Contributors: Christian Hammer Julian Dolby M Ana Vaziri Frank Tip et al.

Source: http://pp.info.uni-karlsruhe.de/uploads/publikationen/hammer08icse.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.554.292

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.554.292
http://pp.info.uni-karlsruhe.de/uploads/publikationen/hammer08icse.pdf

Dynamic path conditions in dependence graphs

Authors: Christian Hammer Martin Grimme Jens Krinke et al.

Contributors: Christian Hammer Martin Grimme Jens Krinke et al.

Source: http://pp.info.uni-karlsruhe.de/uploads/publikationen/hammer06pepm.pdf.

Subject Terms: 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

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.518.5052

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.518.5052
http://pp.info.uni-karlsruhe.de/uploads/publikationen/hammer06pepm.pdf

Rethinking Soot for Summary-Based Whole-Program Analysis

Authors: Dacong Yan Guoqing Xu Atanas Rountev et al.

Contributors: Dacong Yan Guoqing Xu Atanas Rountev et al.

Source: http://www.ics.uci.edu/~guoqingx/papers/yan-soap12.pdf.

Subject Terms: 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

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.640.4964

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.640.4964
http://www.ics.uci.edu/~guoqingx/papers/yan-soap12.pdf

Rutgers University

Authors: Robert Hirschfeld The Pennsylvania State University CiteSeerX Archives

Contributors: Robert Hirschfeld The Pennsylvania State University CiteSeerX Archives

Source: http://hpi.uni-potsdam.de/hirschfeld/publications/media/WlokaHirschfeldHaensel_2007_ToolSupportedRefactoringOfAspectOrientedPrograms.pdf.

Subject Terms: 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

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.467.8889

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.467.8889
http://hpi.uni-potsdam.de/hirschfeld/publications/media/WlokaHirschfeldHaensel_2007_ToolSupportedRefactoringOfAspectOrientedPrograms.pdf

Practical lock/unlock pairing for concurrent programs.

Authors: Cho, Hyoun Kyu Kelly, Terence Wang, Yin et al.

Source: Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation & Optimization (CGO); 2013, p1-12, 12p

Query-directed adaptive heap cloning for optimizing compilers.

Authors: Sui, Yulei Li, Yue Xue, Jingling

Source: Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation & Optimization (CGO); 2013, p1-11, 11p

Dynamic Detection of Atomic-Set-Serializability Violations.

Authors: Hammer, Christian Dolby, Julian Vaziri, Mandana et al.

Source: ICSE: International Conference on Software Engineering; 2008, p231-240, 10p, 4 Diagrams, 3 Charts

Subject Terms: COMPUTER software, COMPUTER programming, SOFTWARE engineering, INFORMATION technology, ERRORS

Safe and Efficient Hybrid Memory Management for Java.

Authors: Stancu, Codrt Wimmer, Christian Brunthaler, Stefan et al.

Source: ACM / SIGPLAN Notices; Nov2015, Vol. 50 Issue 11, p81-92, 12p

On the Inference of Resource Usage Upper and Lower Bounds.

Authors: ALBERT, ELVIRA GENAIM, SAMIR MASUD, ABU NASER

Source: ACM Transactions on Computational Logic; Aug2013, Vol. 14 Issue 3, p1-35, 35p

Subject Terms: COST analysis, MATHEMATICAL bounds, LOOPS (Group theory), ITERATIVE methods (Mathematics), CONSTRAINT satisfaction, PROGRAMMING languages, AUTOMATION

Efficient Identification of Linchpin Vertices in Dependence Clusters.

Authors: BINKLEY, DAVID GOLD, NICOLAS HARMAN, MARK et al.

Source: ACM Transactions on Programming Languages & Systems; Jul2013, Vol. 35 Issue 2, p7:1-7:35, 35p

Subject Terms: PROGRAMMING languages, SOURCE code, DATA flow computing, EMPIRICAL research, DEPENDENCE (Statistics)

Practical Integrated Analysis of Pointers, Dataflow and Control Flow.

Authors: STAIGER-STÖHR, STEFAN

Source: ACM Transactions on Programming Languages & Systems; Apr2013, Vol. 35 Issue 1, p5:1-5:48, 48p

Subject Terms: DATA flow computing, PROGRAMMING language semantics, SEMANTICS, ALGORITHMS, LANGUAGE & languages, EXPERIMENTS

TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis.

Authors: JUNGHEE LIM REPS, THOMAS

Source: ACM Transactions on Programming Languages & Systems; Apr2013, Vol. 35 Issue 1, p4:1-4:59, 59p

Subject Terms: LANGUAGE & languages, SEMANTICS, ABSTRACTS, TRANSLATORS, TRANSLATING & interpreting, LITERARY interpretation

WYSINWYX: What You See Is Not What You eXecute.

Authors: Balakrishnan, Gogul Reps, Thomas

Source: ACM Transactions on Programming Languages & Systems; Aug2010, Vol. 32 Issue 6, p23-23:84, 84p, 13 Black and White Photographs, 11 Diagrams, 8 Charts, 1 Graph

Subject Terms: STATICS, DEBUGGING, ALGORITHMS, INFORMATION theory, DATA structures, FLOWGRAPHS, END-user computing, ELECTRONIC data processing, LICENSE agreements, DATA encryption

Finite Differencing of Logical Formulas for Static Analysis.

Authors: Reps, Thomas Sagiv, Mooly Loginov, Alexey

Source: ACM Transactions on Programming Languages & Systems; Aug2010, Vol. 32 Issue 6, p24-24:55, 55p, 7 Black and White Photographs, 22 Diagrams, 8 Charts

Subject Terms: STATICS, FINITE differences, ALGORITHMS, BENCHMARKING (Management), THEORY, CONFIRMATION (Logic), FORM (Logic), CONFIGURATION management, ABSTRACT thought

Efficient Path Conditions in Dependence Graphs for Software Safety Analysis.

Authors: Snelting, Gregor Robschink, Torsten Krinke, Jens

Source: ACM Transactions on Software Engineering & Methodology; Oct2006, Vol. 15 Issue 4, p410-457, 48p

Subject Terms: COMPUTER software, GRAPH theory, INTERVAL analysis, SCALABILITY, PROGRAMMING languages

SNIAFL: Towards a Static Noninteractive Approach to Feature Location.

Authors: Wei Zhao Lu Zhang Yin Liu et al.

Source: ACM Transactions on Software Engineering & Methodology; Apr2006, Vol. 15 Issue 2, p195-226, 32p

Subject Terms: COMPUTER software, INFORMATION retrieval, COMPUTER programmers, TECHNOLOGY, COMPUTER systems