Výsledky vyhľadávania - "Programming language semantics"

Interfacing Programming Language Semantics and Pragmatics: What Does "Hello, World" Mean?

Autori: Sack, Warren¹ (AUTHOR)

Zdroj: Philosophies. Aug2025, Vol. 10 Issue 4, p86. 23p.

Predmety: *PROGRAMMING language semantics, *PRAGMATICS, *COMPUTER programming education, *CONNOTATION (Linguistics), *SPEECH acts (Linguistics), *SYNTAX in programming languages, *INTERDISCIPLINARY research

Conceptualising Programming Language Semantics

Autori: Troy Kaighin Astarte

Zdroj: Philosophies. 10:90

Prístupová URL adresa: https://cronfa.swan.ac.uk/Record/cronfa70136

Programming language semantics in modal type theories

Autori: Stassen, Philipp Jan Andries

Zdroj: Stassen, P J A 2024, Programming language semantics in modal type theories. Department of Computer Science, University of Aarhus, Aarhus.

Prístupová URL adresa: https://pure.au.dk/portal/en/publications/ffa6e58d-64fd-4a1c-bb11-401463312e4a

A Theorem Proving Approach to Programming Language Semantics

Autori: Subhajit Roy

Zdroj: 2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET). :153-165

Programming language semantics: It's easy as 1,2,3.

Autori: HUTTON, GRAHAM¹ (AUTHOR) graham.hutton@nottingham.ac.uk

Zdroj: Journal of Functional Programming. 2023, Vol. 33, p1-26. 26p.

Predmety: *PROGRAMMING language semantics, *SEMANTICS, *COMPUTER science

Formalising and analysing SMMT models using the mCRL2 toolset.

Autori: van Laarhoven, J. E. P. M. Bunte, O. van Gool, L. C. M. a ďalší

Zdroj: International Journal on Software Tools for Technology Transfer. Oct2025, Vol. 27 Issue 5, p511-532. 22p.

Predmety: *SOFTWARE verification, *PROGRAMMING language semantics, *SOFTWARE validation, *CODE generators, *FINITE state machines, *COMPUTER software

Programming language semantics as a foundation for Bayesian inference

Autori: Szymczak, Marcin Gordon, Andrew Aspinall, David

Prispievatelia: Szymczak, Marcin Gordon, Andrew Aspinall, David

Predmety: probabilistic programming paradigm, Bayesian modelling, Tabular, probabilistic languages, inference algorithms, Markov chain Monte Carlo, Metropolis-Hastings

Prístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.738956

Meaning and Reference in Programming Languages.

Autori: Angius, Nicola¹ (AUTHOR)

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 Domain-theoretic Approach to Statistical Programming Languages.

Autori: GOUBAULT-LARRECQ, JEAN XIAODONG JIA THÉRON, CLÉMENT

Zdroj: Journal of the ACM. Oct2023, Vol. 70 Issue 5, p1-63. 63p.

Predmety: *PROGRAMMING languages, PROGRAMMING language semantics, PROGRAM transformation, REAL numbers

Gazelle: A Framework for Compositional Programming-Language Semantics and Reasoning

Autori: Alvarez, Mario McGilvray Jhala, Ranjit1

Témy: Computer science, Composition, Foundational, Programming Languages, Verification, publication

URL: https://escholarship.org/uc/item/5847p18d
https://escholarship.org/

Gazelle: A Framework for Compositional Programming-Language Semantics and Reasoning

Autori: Jhala, Ranjit Alvarez, Mario McGilvray

Témy: Computer science, Composition, Foundational, Programming Languages, Verification, publication

URL: https://escholarship.org/uc/item/5847p18d
https://escholarship.org/content/qt5847p18d/qt5847p18d.pdf

The Rational Programmer: Investigating Programming Language Pragmatics.

Autori: Dimoulas, Christos Felleisen, Matthias

Zdroj: Communications of the ACM; Jul2025, Vol. 68 Issue 7, p120-130, 11p

Predmety: PRAGMATICS, PROGRAMMING languages, PROGRAMMING language semantics, TYPESCRIPT (Computer program language), JAVASCRIPT programming language, COMPUTER software development

Development Use Cases for Semantics-Driven Modeling Languages: Choosing underlying semantic theories and definition techniques must closely follow intended use cases for the modeling language.

Autori: BROY, MANFRED RUMPE, BERNHARD

Zdroj: Communications of the ACM. May2023, Vol. 66 Issue 5, p62-71. 10p. 3 Diagrams, 4 Charts, 1 Graph.

Predmety: *COMPUTER software development, *PROGRAMMING languages, *SYSTEMS design, PROGRAMMING language semantics, SYNTAX in programming languages

Towards Meta-interpretive Learning of Programming Language Semantics

Autori: Bartha, Sándor Cheney, James

Zdroj: Lecture Notes in Computer Science ISBN: 9783030492090
Inductive Logic Programming-29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Inductive Logic Programming

Predmety: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Programming Languages (cs.PL), Machine Learning (cs.LG), Logic in Computer Science (cs.LO)

Prístupová URL adresa: http://arxiv.org/pdf/1907.08834
http://arxiv.org/abs/1907.08834
https://rd.springer.com/chapter/10.1007/978-3-030-49210-6_2
https://dblp.uni-trier.de/db/journals/corr/corr1907.html#abs-1907-08834
https://arxiv.org/abs/1907.08834
https://arxiv.org/pdf/1907.08834.pdf
https://link.springer.com/chapter/10.1007/978-3-030-49210-6_2

Universal Composability Is Robust Compilation.

Autori: Patrignani, Marco Künnemann, Robert Wahby, Riad S. a ďalší

Zdroj: ACM Transactions on Programming Languages & Systems. Dec2024, Vol. 46 Issue 4, p1-64. 64p.

Predmety: *PROGRAMMING languages, *CRYPTOGRAPHY, PROGRAMMING language semantics, SYNTAX (Grammar)

On the Interpretation of Denotational Semantics.

Autori: Cardone, Felice¹ (AUTHOR)

Zdroj: Philosophies. Jun2025, Vol. 10 Issue 3, p54-N.PAG. 18p.

Predmety: *SEMANTICS, *PROGRAMMING language semantics, *MATHEMATICAL category theory, *PROGRAMMING languages, *INTUITIONISTIC mathematics, *FUNCTIONAL programming (Computer science)

Common fixed points on partial fuzzy metric spaces.

Autori: Yousif, Amenah Kareem Mohammed, Mohammed Jassim

Zdroj: AIP Conference Proceedings. 2025, Vol. 3264 Issue 1, p1-7. 7p.

Predmety: *PROGRAMMING language semantics, *METRIC spaces, *GENERALIZATION

On the Learnability of Programming Language Semantics

Autori: Khulood Alyahya Dan R. Ghica

Zdroj: Electronic Proceedings in Theoretical Computer Science, Vol 261, Iss Proc. ICE 2017, Pp 57-75 (2017)

Predmety: FOS: Computer and information sciences, Computer Science - Programming Languages, Electronic computers. Computer science, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, QA75.5-76.95, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Mathematics, Programming Languages (cs.PL)

Prístupová URL adresa: https://arxiv.org/pdf/1708.02319
http://arxiv.org/abs/1708.02319
https://doaj.org/article/301aeedffd784c708b20e9e2afefd0ea
https://arxiv.org/abs/1708.02319
https://arxiv.org/pdf/1708.02319.pdf
https://ui.adsabs.harvard.edu/abs/2017arXiv170802319G/abstract
https://ore.exeter.ac.uk/repository/bitstream/10871/34041/1/1708.02319v2.pdf
https://arxiv.org/abs/1708.02319
https://dblp.uni-trier.de/db/series/eptcs/eptcs261.html#abs-1708-02319
https://doi.org/10.4204/EPTCS.261.7
https://ore.exeter.ac.uk/repository/handle/10871/34041
https://research.birmingham.ac.uk/portal/en/publications/on-the-learnability-of-programming-language-semantics(ca7a7074-fd01-49b3-bb91-6f912bded4f7).html

Foundation for synthesising programming language semantics

Autori: Bartha, Sándor Cheney, James Belle, Vaishak

Prispievatelia: Bartha, Sándor Cheney, James Belle, Vaishak

Predmety: programming languages, semantics, program synthesis

Popis súboru: application/pdf

Prístupová URL adresa: https://hdl.handle.net/1842/41415

Concrete constructions of noncommutative free dcpo semigroups.

Autori: Zhou, Chengyu Luan, Wei Li, Qingguo

Zdroj: Journal of Algebra & Its Applications. Feb2025, p1. 26p.

Predmety: *PROGRAMMING language semantics, *CONCRETE construction, *FREE groups, *ALGEBRA, *GENERALIZATION