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

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

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

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

Programming Languages and Systems : 30th European Symposium on Programming, ESOP 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

Autoři: Nobuko Yoshida

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses, Natural language processing (Computer science)

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Autoři: Amal Ahmed

Resource Type: eBook.

Témata: Programming languages (Electronic computers), Computer organization, Computer science, Computers

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Autoři: Luís Caires

Resource Type: eBook.

Témata: Information theory, Computer industry, Computer science, Software engineering, Computer system performance, Electronic data processing

Categories: COMPUTERS / Programming / Compilers, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Autoři: Thomas Wies

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Programming / Compilers

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

Rutgers University

Autoři: Robert Hirschfeld The Pennsylvania State University CiteSeerX Archives

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

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

Témata: 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

Popis souboru: application/pdf

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

Dostupnost: 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

From Standard to Non-Standard Semantics by Semantics Modifiers.

Autoři: Abramov, Sergei Gluck, Robert

Zdroj: International Journal of Foundations of Computer Science; Apr2001, Vol. 12 Issue 2, p171, 41p, 11 Diagrams

Témata: PROGRAMMING languages, COMPUTER programming, COMPUTER science

7Efficient Identification of Linchpin Vertices in Dependence Clusters

Autoři: David Binkley The Pennsylvania State University CiteSeerX Archives

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

Zdroj: http://www0.cs.ucl.ac.uk/staff/j.krinke/publications/toplas13.pdf.

Témata: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging—debugging aids, D.2.6 [Soft- ware Engineering, Programming Environments, E.1 [Data Structures, Graphs, F.3.2 [Logics and Meanings of Pro- grams, Semantics of Programming Languages—Program analysis General Terms, Algorithms, Performance Additional Key Words and Phrases, Slicing, Internal Representation, Performance Enhancement, Empirical Study ACM Reference Format

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.571.9633; http://www0.cs.ucl.ac.uk/staff/j.krinke/publications/toplas13.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.571.9633
http://www0.cs.ucl.ac.uk/staff/j.krinke/publications/toplas13.pdf

NProbabilistic Relational Reasoning for Differential Privacy

Autoři: Gilles Barthe Federico Olmedo The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Gilles Barthe Federico Olmedo The Pennsylvania State University CiteSeerX Archives

Zdroj: http://software.imdea.org/%7Ebkoepf/papers/toplas13.pdf.

Témata: Categories and Subject Descriptors, D.3.1 [Programming Languages, Formal Definitions and Theory, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis General Terms, Languages, Security, Theory, Verification Additional Key Words and Phrases, Coq proof assistant, differential privacy, relational Hoare logic

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.683.867; http://software.imdea.org/%7Ebkoepf/papers/toplas13.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.683.867
http://software.imdea.org/%7Ebkoepf/papers/toplas13.pdf

Program Analysis for Event-based Distributed Systems

Autoři: K. R. Jayaram Patrick Eugster The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: K. R. Jayaram Patrick Eugster The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.purdue.edu/homes/peugster/EventJava/EvProgAnal.pdf.

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.1183
http://www.cs.purdue.edu/homes/peugster/EventJava/EvProgAnal.pdf

Categories and Subject Descriptors: D.3.1 [Programming Languages]: Formal Definitions and Theory--semantics; F.3.2 [Logics and Meanings of Programs]: Semantics of Programming Languages--program analysis

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

Zdroj: http://profs.sci.univr.it/~giaco/download/jacm.ps.gz.

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.82.2
http://profs.sci.univr.it/~giaco/download/jacm.ps.gz

Gradual Typing and Evolutionary Programming Gradual typing

Autoři: Aseem Rastogi Avik Chaudhuri Basil Hosmer a další

Přispěvatelé: Aseem Rastogi Avik Chaudhuri Basil Hosmer a další

Zdroj: http://www.cs.umd.edu/~aseem/grad_ti.pdf.

Témata: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors—Optimization, F.3.2 [Logics and Meaning of Programs, Semantics of Programming Languages—Program analysis, F.3.3 [Logics and Meaning of Programs, Studies of Program Constructs—Type structure General Terms Algorithms, Languages, Performance, Theory Keywords Gradual typing, Type inference, ActionScript

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.367.6364; http://www.cs.umd.edu/~aseem/grad_ti.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.367.6364
http://www.cs.umd.edu/~aseem/grad_ti.pdf

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

The Moderating Effect of School Culture on the Relationship of Indigenous Peoples Language Attitude and Usage.

Autoři: Alfanta, Jogel M. Aves, Benedicto Norberto V.

Zdroj: Psychology & Education: A Multidisciplinary Journal; 2025, Vol. 32 Issue 10, p1225-1256, 32p

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