Výsledky vyhledávání - PROGRAMMING language semantics

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

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

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

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

Přispěvatelé: Din, Crystal Hähnle, Reiner Henrio, Ludovic a další

Zdroj: ACM Transactions on Programming Languages and Systems

Témata: CCS Concepts, Programming logic, Theory of computation → Parallel computing models, • Software and its engineering → Concurrent programming structures, CCS Concepts: Theory of computation → Parallel computing models Programming logic Program semantics • Software and its engineering → Concurrent programming structures, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], Program semantics, 01 natural sciences

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.science/hal-04732946v1
https://hal.science/hal-04732946v1/document
https://doi.org/10.1145/3648439
https://hdl.handle.net/11250/3152463

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

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

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

Programming language semantics in modal type theories

Autoři: 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.

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

METHODS OF STUDYING THE SEMANTICS OF PROGRAMMING LANGUAGES BY THE STUDENTS OF PROFESSIONAL EDUCATION INSTITUTIONS ; МЕТОДИКА ВИВЧЕННЯ СЕМАНТИКИ МОВ ПРОГРАМУВАННЯ СТУДЕНТАМИ ЗАКЛАДІВ ПРОФЕСІЙНОЇ ОСВІТИ

Autoři: ТКАЧУК, СТАНІСЛАВ МЕЛЬНИК , ОЛЕКСІЙ

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 ; 2415-3605 ; 2311-6382

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

Popis souboru: application/pdf

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

Dostupnost: http://nzp.tnpu.edu.ua/article/view/283963

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

A Theorem Proving Approach to Programming Language Semantics

Autoři: Subhajit Roy

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

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

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

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

Mechanising and evolving the formal semantics of WebAssembly : the Web's new low-level language

Autoři: Watt, Conrad Sewell, Peter

Přispěvatelé: Watt, Conrad Sewell, Peter

Témata: WebAssembly, mechanisation, Isabelle/HOL, virtual machine, programming language semantics, WasmCert

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

Teaching and Assessing Programming Language Tracing

Autoři: Gregory L. Nelson

Zdroj: ProQuest LLC. 2021Ph.D. Dissertation, University of Washington.

Peer Reviewed: N

Page Count: 422

Descriptors: Programming Languages, Programming, Reading Skills, Syntax, Semantics, Learning Strategies, Program Effectiveness, Skill Development

Přístupová URL adresa: https://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:28643705