Výsledky vyhledávání - "Programming Language Semantics"

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

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

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

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

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)

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

Common fixed points on partial fuzzy metric spaces.

Autoři: Yousif, Amenah Kareem Mohammed, Mohammed Jassim

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

Témata: *PROGRAMMING language semantics, *METRIC spaces, *GENERALIZATION

Universal Composability Is Robust Compilation.

Autoři: Patrignani, Marco Künnemann, Robert Wahby, Riad S. a další

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

Témata: *PROGRAMMING languages, *CRYPTOGRAPHY, PROGRAMMING language semantics, SYNTAX (Grammar)

Concrete constructions of noncommutative free dcpo semigroups.

Autoři: Zhou, Chengyu Luan, Wei Li, Qingguo

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

Témata: *PROGRAMMING language semantics, *CONCRETE construction, *FREE groups, *ALGEBRA, *GENERALIZATION

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; Vol. 1 No. 1 (2023): Наукові записки Тернопільського національного педагогічного університету імені Володимира Гнатюка. Серія: педагогіка.; 177-184
Наукові записки Тернопільського національного педагогічного університету імені Володимира Гнатюка. Серія: педагогіка; Том 1 № 1 (2023): Наукові записки Тернопільського національного педагогічного університету імені Володимира Гнатюка. Серія: педагогіка.; 177-184

Témata: семантика мови програмування, методична система, професійна освіта, 4. Education, programming language semantics, methodological system, educational process, professional education, освітній процес

Popis souboru: application/pdf

Přístupová URL adresa: http://nzp.tnpu.edu.ua/article/view/283963

Technical research on real-time multimodal interaction architecture based on AI big language model for dynamic adjustment of semantic features in intelligent customer service robots.

Autoři: Wei, Haizhi

Zdroj: Journal of Combinatorial Mathematics & Combinatorial Computing; Dec2025, Vol. 127a, p3867-3886, 20p

Témata: TECHNOLOGY, CUSTOMER services, INDUSTRIAL robots, NATURAL language processing, SENTIMENT analysis, ARTIFICIAL intelligence, PROGRAMMING language semantics

Improving Deep Assertion Generation via Fine-Tuning Retrieval-Augmented Pre-Trained Language Models.

Autoři: Zhang, Quanjun Fang, Chunrong Zheng, Yi a další

Zdroj: ACM Transactions on Software Engineering & Methodology; Sep2025, Vol. 34 Issue 7, p1-23, 23p

Témata: COMPUTER software quality control, ASSERTIONS (Logic), SOFTWARE validation, DEEP learning, LANGUAGE models, PROGRAMMING language semantics

CATI++: empirical study and evaluation for adjacent instruction enhanced type inference.

Autoři: Chen, Ligeng He, Zhongling Qian, Yi a další

Zdroj: Computer Journal; Jul2025, Vol. 68 Issue 7, p788-803, 16p

Témata: MACHINE learning, DATA flow computing, PROGRAMMING language semantics

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: *LOGIC, *MODULAR design, PROGRAMMING language semantics, SYMBOLIC computation, LOGIC design, FIRST-order logic, SEMANTICS, CONCRETE

Eric Snyder.  Semantics and the Ontology of Number.

Autoři: Glanzberg, Michael¹ (AUTHOR) michael.glanzberg@philosophy.rutgers.edu

Zdroj: Philosophia Mathematica. Jun2024, Vol. 32 Issue 2, p242-251. 10p.

Témata: *PROGRAMMING language semantics, *PHILOSOPHY of mathematics, *NATURAL languages, *NATURAL numbers, *LINGUISTIC analysis, *POLYSEMY, *SEMANTICS

A TOPOLOGICALLY ENRICHED PROBABILITY MONAD ON THE CARTESIAN CLOSED CATEGORY OF CGWH SPACES.

Autoři: KRISTEL, PETER PETERSEIM, BENEDIKT

Zdroj: Theory & Applications of Categories. 2024, Vol. 41, p1983-2012. 30p.

Témata: *PROGRAMMING language semantics, *HAUSDORFF spaces, *HAUSDORFF measures, *TOPOLOGICAL spaces, *PROBABILITY theory

Type-directed operational semantics for gradual typing.

Zdroj: Journal of Functional Programming. 2024, Vol. 34, p1-55. 55p.

Témata: *PROGRAMMING language semantics, *CALCULI, *SEMANTICS, *CALCULUS

A Comparative Study of Vibe Coding with ChatGPT and Gemini in Front-end Web Development.

Autoři: Horvat, Marko Kralj, Barbara Gledec, Gordan

Zdroj: Central European Conference on Information & Intelligent Systems; 2025, p787-796, 10p

Témata: GENERATIVE artificial intelligence, LANGUAGE models, JAVASCRIPT programming language, HTML (Document markup language), GENERATIVE pre-trained transformers, PROGRAMMING language semantics, WEB-based user interfaces

Broadening the applicability of local completeness analysis with intensional and extensional guarantees.

Autoři: Ascari, Flavio Bruni, Roberto Gori, Roberta

Zdroj: Theoretical Computer Science. Nov2025, Vol. 1054, pN.PAG-N.PAG. 1p.

Témata: *SOFTWARE verification, *PROGRAMMING language semantics, *COMPUTER software correctness, *MATHEMATICAL domains, *LOGIC