Výsledky vyhledávání - Semantic Programming Language

Conceptualising Programming Language Semantics.

Autoři: Astarte, Troy Kaighin¹ (AUTHOR)

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

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

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

Autoři: Sack, Warren¹ (AUTHOR)

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

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

The Rational Programmer: Investigating Programming Language Pragmatics.

Autoři: Dimoulas, Christos Felleisen, Matthias

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

Témata: *PROGRAMMING languages, *COMPUTER software development, PRAGMATICS, PROGRAMMING language semantics, TYPESCRIPT (Computer program language), JAVASCRIPT programming language

Meaning and Reference in Programming Languages.

Autoři: Angius, Nicola¹ (AUTHOR)

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

AquaLang: A Dataflow Programming Language

Autoři: Segeljakt, Klas Haridi, Seif Carbone, Paris

Zdroj: DEBS 2024 - Proceedings of the 18th ACM International Conference on Distributed and Event-Based Systems. :42-53

Témata: Computer programming languages, Data flow analysis, Continuous data, Data flow modeling, Data stream, Data-intensive application, Dataflow, Dataflow programming, Dataflow system, Performance, Programmability, Semantic gap, Semantics

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-74846
https://doi.org/10.1145/3629104.3666030

A Domain-theoretic Approach to Statistical Programming Languages.

Autoři: GOUBAULT-LARRECQ, JEAN XIAODONG JIA THÉRON, CLÉMENT

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

Témata: *PROGRAMMING languages, PROGRAMMING language semantics, PROGRAM transformation, REAL numbers

Programming Languages and Systems

Přispěvatelé: Vafeiadis, Viktor

Témata: effects, functional programming, semantics, program synthesis, session types, dependent types, quantum programming, verification, program analysis, abstract interpretation, Programming and scripting languages: general, Compilers and interpreters

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/101667

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.

Autoři: BROY, MANFRED RUMPE, BERNHARD

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

Témata: *COMPUTER software development, *PROGRAMMING languages, *SYSTEMS design, PROGRAMMING language semantics, SYNTAX in programming languages

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.

Autoři: Din, Crystal Chang Hähnle, Reiner Henrio, Ludovic a další

Zdroj: ACM Transactions on Programming Languages & Systems. Mar2024, Vol. 46 Issue 1, p1-58. 58p.

Témata: *PROGRAMMING language semantics, *SYMBOLIC computation, *LOGIC, *LOGIC design, *MODULAR design, *FIRST-order logic, *SEMANTICS, *CONCRETE

METHODS OF STUDYING THE SEMANTICS OF PROGRAMMING LANGUAGES BY THE STUDENTS OF PROFESSIONAL EDUCATION INSTITUTIONS

Zdroj: The Scientific Issues of Ternopil Volodymyr Hnatiuk National Pedagogical University. Series: pedagogy; 177-184; 177-184; 2415-3605; 2311-6382

Témata: educational process, programming language semantics, methodological system, professional education, info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion

URL: http://nzp.tnpu.edu.ua/article/view/283963
http://nzp.tnpu.edu.ua/article/view/283963/278144
http://nzp.tnpu.edu.ua/article/view/283963/278144

METHODS OF STUDYING THE SEMANTICS OF PROGRAMMING LANGUAGES BY THE STUDENTS OF PROFESSIONAL EDUCATION INSTITUTIONS

Zdroj: 2415-3605; 2311-6382

Témata: educational process, programming language semantics, methodological system, professional education, info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion

URL: http://nzp.tnpu.edu.ua/article/view/283963
http://nzp.tnpu.edu.ua/article/view/283963/278144
http://nzp.tnpu.edu.ua/article/view/283963/278144

On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language

Autoři: Vieira, Renata Moreira, Alvaro Wooldridge, Michael a další

Témata: Agent programming, Speech Acts

Relation: Vieira, R., Moreira, Á. F., Wooldridge, M., & Bordini, R. H. (2007). On the formal semantics of speech-act based communication in an agent-oriented programming language. Journal of Artificial Intelligence Research, 29, 221-267.; https://www.jair.org/index.php/jair/article/view/10503; renatav@uevora.pt; nd; 283

Dostupnost: http://hdl.handle.net/10174/39575

Semantics for a Turing-Complete Reversible Programming Language with Inductive Types

Autoři: Kostia Chardonnet and Louis Lemonnier and Benoît Valiron Chardonnet, Kostia Lemonnier, Louis a další

Témata: Reversible programming, functional programming, Computability, Denotational Semantics, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2024.19
Is Part Of LIPIcs, Volume 299, 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024)

Semantics and provenance of configuration programming language μPuppet

Autoři: Fu, Weili Cheney, James Anderson, Paul

Přispěvatelé: Fu, Weili Cheney, James Anderson, Paul

Témata: 005.13, automated configuration management tools, configuration errors, provenance techniques, µPuppet, Puppet language, programming languages, configuration languages

Přístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.798916

On the Interpretation of Denotational Semantics.

Autoři: Cardone, Felice¹ (AUTHOR)

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

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

Programming language semantics as a foundation for Bayesian inference

Autoři: Szymczak, Marcin Gordon, Andrew Aspinall, David

Přispěvatelé: Szymczak, Marcin Gordon, Andrew Aspinall, David

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

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

Formalising and analysing SMMT models using the mCRL2 toolset.

Autoři: van Laarhoven, J. E. P. M. Bunte, O. van Gool, L. C. M. a další

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

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

Hypernet semantics of programming languages

Autoři: Muroya, Koko

Témata: QA75 Electronic computers. Computer science, QA76 Computer software

Přístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.817915

Compilation Semantics for a Programming Language with Versions.

Additional Titles: Compilation Semantics for a Programming Language with Versions

Autoři: Tanabe, Yudai

Témata: Journal Article., NA.

URL: https://doi.org/10.48550/ARXIV.2310.00298
http://t2r2.star.titech.ac.jp/cgi-bin/publicationinfo.cgi?q_publication_content_number=CTT100914643

Promoting Student Competencies in Informatics Education by Combining Semantic Waves and Algorithmic Thinking

Autoři: Ritter, Frauke Standl, Bernhard

Zdroj: Informatics in Education. 2023 22(1):141-160.

Peer Reviewed: Y

Page Count: 20

Descriptors: Algorithms, Information Science Education, Computer Science Education, COVID-19, Pandemics, Thinking Skills, Concept Formation, Programming, Lesson Plans, Semantics, Workshops, Programming Languages, Online Courses, Bayesian Statistics, Pilot Projects, Secondary School Students