Výsledky vyhledávání - Semantics of Programming Languages—Program analysis General Terms*

Conceptualising Programming Language Semantics.

Autoři: Astarte, Troy Kaighin

Zdroj: Philosophies; Aug2025, Vol. 10 Issue 4, p90, 22p

Témata: PROGRAMMING languages, SEMANTICS, COMPUTER science education, HISTORICAL analysis, THEORY of knowledge, METAPHOR

Meaning and Reference in Programming Languages.

Autoři: Angius, Nicola

Zdroj: Philosophies; Apr2025, Vol. 10 Issue 2, p40, 17p

Témata: SEMANTICS, PROGRAMMING language semantics, DEFINITIONS, PROGRAMMING languages, AGENT (Philosophy), SOURCE code, PHILOSOPHY of language

Semantics of Programming Languages—program analysis General Terms

Autoři: Heejung Kim Yungbum Jung Sunghun Kim a další

Přispěvatelé: Heejung Kim Yungbum Jung Sunghun Kim a další

Zdroj: http://ropas.snu.ac.kr/~kwang/paper/11-icse-kijukiyi.pdf.

Témata: Languages, Algorithms, Experimentation Keywords Clone detection, abstract interpretation, static analysis, soft- ware

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.470.5244
http://ropas.snu.ac.kr/~kwang/paper/11-icse-kijukiyi.pdf

SPL LIFT -- Transparent and Efficient Reuse of IFDS-based Static Program Analyses for Software Product Lines

Autoři: Eric Bodden Mira Mezini Claus Brabrand a další

Přispěvatelé: Eric Bodden Mira Mezini Claus Brabrand a další

Zdroj: http://www.bodden.de/pubs/bmb%2B13spllift.pdf.

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.278.7682
http://www.bodden.de/pubs/bmb%2B13spllift.pdf

A.: Heap reference analysis using access graphs

Autoři: Uday P. Khedker Amitabha Sanyal Amey Karkare a další

Přispěvatelé: Uday P. Khedker Amitabha Sanyal Amey Karkare a další

Zdroj: http://arxiv.org/pdf/cs/0608104v2.pdf.

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.9111
http://arxiv.org/pdf/cs/0608104v2.pdf

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

Přispěvatelé: The Pennsylvania State University CiteSeerX Archives

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

Témata: context sensitivity

Popis souboru: 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

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

Understanding class hierarchies using concept analysis

Autoři: Gregor Snelting FRANK TIP The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Gregor Snelting FRANK TIP The Pennsylvania State University CiteSeerX Archives

Zdroj: http://people.csail.mit.edu/mernst/teaching/6.893/readings/snelting-toplas00.pdf.

Témata: 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 souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.85.5137
http://people.csail.mit.edu/mernst/teaching/6.893/readings/snelting-toplas00.pdf

DOJ: Dynamically parallelizing object-oriented programs

Autoři: Yong Eom Stephen Yang James C. Jenista a další

Přispěvatelé: Yong Eom Stephen Yang James C. Jenista a další

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

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

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

SPL LIFT -- Statically Analyzing Software Product Lines in Minutes Instead of Years

Autoři: Eric Bodden Társis Tolêdo Márcio Ribeiro a další

Přispěvatelé: Eric Bodden Társis Tolêdo Márcio Ribeiro a další

Zdroj: http://www.bodden.de/pubs/bmb+13spllift.pdf.

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.1599
http://www.bodden.de/pubs/bmb+13spllift.pdf

www.cs.colorado.edu 2Measuring Enforcement Windows with Symbolic Trace Interpretation: What Well-Behaved Programs Say

Autoři: Devin Coughlin Bor-yuh Evan Chang Amer Diwan a další

Přispěvatelé: Devin Coughlin Bor-yuh Evan Chang Amer Diwan a další

Zdroj: http://www.cs.colorado.edu/~bec/papers/CU-CS-1093-12-enforcements.pdf.

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

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.298.5394
http://www.cs.colorado.edu/~bec/papers/CU-CS-1093-12-enforcements.pdf

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

Autoři: Christian Hammer Julian Dolby M Ana Vaziri Frank Tip a další

Přispěvatelé: Christian Hammer Julian Dolby M Ana Vaziri Frank Tip a další

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

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

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

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

Inductive Verification of Data Model Invariants for Web Applications ∗

Autoři: Ivan Bocić Tevfik Bultan The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Ivan Bocić Tevfik Bultan The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.ucsb.edu/~bultan/publications/icse14.pdf.

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.433.1629
http://www.cs.ucsb.edu/~bultan/publications/icse14.pdf

Refactoring Using Type Constraints

Autoři: Frank Tip Robert M. Fuhrer ADAM KIEZUN a další

Přispěvatelé: Frank Tip Robert M. Fuhrer ADAM KIEZUN a další

Zdroj: http://pag.lcs.mit.edu/%7Emernst/pubs/refactoring-type-constraints-toplas2011.pdf.

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

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.1082
http://pag.lcs.mit.edu/%7Emernst/pubs/refactoring-type-constraints-toplas2011.pdf

Empirical Study of Optimization Techniques for Massive Slicing

Autoři: David Binkley Mark Harman Jens Krinke a další

Přispěvatelé: David Binkley Mark Harman Jens Krinke a další

Zdroj: http://www.cs.loyola.edu/~binkley/papers/toplas07-slicing-optimization.pdf.

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

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.4280
http://www.cs.loyola.edu/~binkley/papers/toplas07-slicing-optimization.pdf

Empirical Study of Optimization Techniques for Massive Slicing

Autoři: David Binkley Mark Harman Jens Krinke a další

Přispěvatelé: David Binkley Mark Harman Jens Krinke a další

Zdroj: http://www.fernuni-hagen.de/ST/publications/toplas06.pdf.

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

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.8235
http://www.fernuni-hagen.de/ST/publications/toplas06.pdf

Dynamic path conditions in dependence graphs

Autoři: Christian Hammer Martin Grimme Jens Krinke a další

Přispěvatelé: Christian Hammer Martin Grimme Jens Krinke a další

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

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

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

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

Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics

Autoři: Jan Hoffmann Martin Hofmann Ludwig-maximilians-universität München a další

Přispěvatelé: Jan Hoffmann Martin Hofmann Ludwig-maximilians-universität München a další

Zdroj: http://www.tcs.ifi.lmu.de/%7Ehoffmann/papers/aa_polyrec.pdf.

Témata: Of Programs, Semantics of Programming Languages—Program Analysis General Terms Programing Languages, Theory, Reliability Keywords Functional Programming, Static Analysis, Amortized Analysis, Resource Consumption, Formal Semantics, Big-Step Operational Semantics

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.186.9125; http://www.tcs.ifi.lmu.de/%7Ehoffmann/papers/aa_polyrec.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.186.9125
http://www.tcs.ifi.lmu.de/%7Ehoffmann/papers/aa_polyrec.pdf

Foundations of Software Science and Computation Structures

Autoři: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

Témata: Software engineering--Congresses, Computer software--Congresses

Categories: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics

Rethinking Soot for Summary-Based Whole-Program Analysis

Autoři: Dacong Yan Guoqing Xu Atanas Rountev a další

Přispěvatelé: Dacong Yan Guoqing Xu Atanas Rountev a další

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

Témata: 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 souboru: application/pdf

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

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

Making abstract domains condensing

Autoři: Roberto Giacobazzi Francesco Ranzato Università Di Padova a další

Přispěvatelé: Roberto Giacobazzi Francesco Ranzato Università Di Padova a další

Zdroj: http://arxiv.org/pdf/cs/0204016v1.pdf.

Témata: Categories and Subject Descriptors, D.3.1 [Programming Languages, Formal Definitions and Theory—semantics, D.3.2 [Programming Languages, Language Classifications—constraint and logic languages, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—program analysis General Terms, Languages, Theory Additional Key Words and Phrases, Abstract interpretation, abstract domain, completeness, linear logic, logic program analysis, condensation

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.4646; http://arxiv.org/pdf/cs/0204016v1.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.4646
http://arxiv.org/pdf/cs/0204016v1.pdf