Výsledky vyhľadávania - Semantics of Programming Languages—Program Analysis General Terms Programming Languages~

Conceptualising Programming Language Semantics.

Autori: Astarte, Troy Kaighin

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

Predmety: PROGRAMMING languages, SEMANTICS, COMPUTER science education, HISTORICAL analysis, THEORY of knowledge, METAPHOR

Meaning and Reference in Programming Languages.

Autori: Angius, Nicola

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

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

A.: Heap reference analysis using access graphs

Autori: Uday P. Khedker Amitabha Sanyal Amey Karkare a ďalší

Prispievatelia: Uday P. Khedker Amitabha Sanyal Amey Karkare a ďalší

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

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

Dostupnosť: 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

Autori: Jean Goubault-Larrecq Barbara König

Typ zdroja: eBook.

Predmet: Software engineering--Congresses, Computer software--Congresses

Kategórie: 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

Autori: Nobuko Yoshida

Typ zdroja: eBook.

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

Kategórie: 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

Autori: Amal Ahmed

Typ zdroja: eBook.

Predmet: Programming languages (Electronic computers), Computer organization, Computer science, Computers

Kategórie: 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

Autori: Luís Caires

Typ zdroja: eBook.

Predmet: Information theory, Computer industry, Computer science, Software engineering, Computer system performance, Electronic data processing

Kategórie: 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

Autori: Thomas Wies

Typ zdroja: eBook.

Predmet: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Kategórie: COMPUTERS / Programming / Compilers

Making abstract domains condensing

Autori: Roberto Giacobazzi Francesco Ranzato Università Di Padova a ďalší

Prispievatelia: Roberto Giacobazzi Francesco Ranzato Università Di Padova a ďalší

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

Predmety: 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 súboru: application/pdf

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

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

Rutgers University

Autori: Robert Hirschfeld The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Robert Hirschfeld The Pennsylvania State University CiteSeerX Archives

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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.

Autori: Abramov, Sergei Gluck, Robert

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

Predmety: PROGRAMMING languages, COMPUTER programming, COMPUTER science

7Efficient Identification of Linchpin Vertices in Dependence Clusters

Autori: David Binkley The Pennsylvania State University CiteSeerX Archives

Prispievatelia: David Binkley The Pennsylvania State University CiteSeerX Archives

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

Predmety: 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 súboru: 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

Dostupnosť: 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

Autori: Gilles Barthe Federico Olmedo The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Gilles Barthe Federico Olmedo The Pennsylvania State University CiteSeerX Archives

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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

Autori: K. R. Jayaram Patrick Eugster The Pennsylvania State University CiteSeerX Archives

Prispievatelia: K. R. Jayaram Patrick Eugster The Pennsylvania State University CiteSeerX Archives

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

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

Dostupnosť: 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

Prispievatelia: The Pennsylvania State University CiteSeerX Archives

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

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

Dostupnosť: 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

Autori: Aseem Rastogi Avik Chaudhuri Basil Hosmer a ďalší

Prispievatelia: Aseem Rastogi Avik Chaudhuri Basil Hosmer a ďalší

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

Predmety: 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 súboru: 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

Dostupnosť: 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

Autori: Heejung Kim Yungbum Jung Sunghun Kim a ďalší

Prispievatelia: Heejung Kim Yungbum Jung Sunghun Kim a ďalší

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

Predmety: Languages, Algorithms, Experimentation Keywords Clone detection, abstract interpretation, static analysis, soft- ware

Popis súboru: application/pdf

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

Dostupnosť: 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

Autori: Eric Bodden Mira Mezini Claus Brabrand a ďalší

Prispievatelia: Eric Bodden Mira Mezini Claus Brabrand a ďalší

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

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

Dostupnosť: 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.

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

Prispievatelia: The Pennsylvania State University CiteSeerX Archives

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

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

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