Search Results - Semantics of Programming Languages

Refine Results
  1. 1

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

    Source: The Scientific Issues of Ternopil Volodymyr Hnatiuk National Pedagogical University. Series: pedagogy; Vol. 1 No. 1 (2023): Наукові записки Тернопільського національного педагогічного університету імені Володимира Гнатюка. Серія: педагогіка.; 177-184
    Наукові записки Тернопільського національного педагогічного університету імені Володимира Гнатюка. Серія: педагогіка; Том 1 № 1 (2023): Наукові записки Тернопільського національного педагогічного університету імені Володимира Гнатюка. Серія: педагогіка.; 177-184

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

    File Description: application/pdf

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

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Save to List
  2. 2

    Conceptualising Programming Language Semantics.

    Authors: Astarte, Troy Kaighin1 (AUTHOR)

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

    Subject Terms: *PROGRAMMING languages, *SEMANTICS, *COMPUTER science education, *HISTORICAL analysis, *THEORY of knowledge, *METAPHOR

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  3. 3

    Meaning and Reference in Programming Languages.

    Authors: Angius, Nicola1 (AUTHOR)

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

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

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  4. 4

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

    Authors: STANISLAV TKACHUK OLEKSII MELNYK

    Source: The Scientific Issues of Ternopil Volodymyr Hnatiuk National Pedagogical University. Series: pedagogy. 1:177-184

    Subject Terms: 4. Education

    Nájsť tento článok vo Web of Science
    Save to List
  5. 5

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

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

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

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

    File Description: application/pdf

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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  6. 6

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

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

    Index Terms: 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

    View this record from OAIster Nájsť tento článok vo Web of Science
    Save to List
  7. 7

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

    Source: 2415-3605; 2311-6382

    Index Terms: 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

    View this record from OAIster Nájsť tento článok vo Web of Science
    Save to List
  8. 8

    Equivalence of the schemes of programs based on the algebraic approach to setting the semantics of programming languages

    Authors: Y. P. Korablin

    Source: Российский технологический журнал, Vol 10, Iss 1, Pp 18-27 (2022)

    Subject Terms: program scheme, Information theory, equivalence of program schemes, semantic domains, equational characterization of the semantic meanings of programs, 0103 physical sciences, Q350-390, 01 natural sciences, process semantics, 0104 chemical sciences

    Access URL: https://doaj.org/article/b1fb99ea0ca6488194fa4596762ff711

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Save to List
  9. 9

    On the Interpretation of Denotational Semantics.

    Authors: Cardone, Felice1 (AUTHOR)

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

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

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  10. 10

    Hypernet semantics of programming languages

    Authors: Muroya, Koko

    Subject Terms: QA75 Electronic computers. Computer science, QA76 Computer software

    Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.817915

    View record in EThOS Nájsť tento článok vo Web of Science
    Save to List
  11. 11

    Games in the Semantics of Programming Languages: An Elementary Introduction

    Authors: Jürjens, Jan

    Source: Synthese, 2002 Oct 01. 133(1/2), 131-158.

    Access URL: https://www.jstor.org/stable/20117298

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  12. 12

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

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

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

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

    File Description: application/pdf

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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  13. 13

    Commutative Monads for Probabilistic Programming Languages

    Authors: Jia, Xiaodong Lindenhovius, Bert Mislove, Michael et al.

    Contributors: Jia, Xiaodong Lindenhovius, Bert Mislove, Michael et al.

    Source: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). :1-14

    Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Calculus, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Computer Science - Programming Languages, Cost accounting, Mathematics - Category Theory, 0102 computer and information sciences, 02 engineering and technology, Computer science, 01 natural sciences, Semantics, Logic in Computer Science (cs.LO), FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Category Theory (math.CT), Computer languages, Probabilistic logic, Programming Languages (cs.PL)

    Access URL: http://arxiv.org/pdf/2102.00510
    http://arxiv.org/abs/2102.00510
    https://inria.hal.science/hal-03519225v1
    https://doi.org/10.1109/lics52264.2021.9470611
    https://www.arxiv-vanity.com/papers/2102.00510/
    https://doi.org/10.1109/LICS52264.2021.9470611
    http://easyconferences.eu/lics2021/accepted-papers/#23
    https://dblp.uni-trier.de/db/journals/corr/corr2102.html#abs-2102-00510
    https://ui.adsabs.harvard.edu/abs/2021arXiv210200510J/abstract
    https://arxiv.org/abs/2102.00510
    https://arxiv.org/pdf/2102.00510.pdf

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Save to List
  14. 14

    PROOF OF EQUIVALENCE OF SEMANTIC METHODS FOR A SELECTED DOMAIN-SPECIFIC LANGUAGE.

    Authors: Steingartner, William Novitzká, Valerie Schreiner, Wolfgang

    Source: Journal of Applied Mathematics & Computational Mechanics; 2024, Vol. 23 Issue 2, p79-92, 14p

    Subject Terms: EQUIVALENCE (Linguistics), PROGRAMMING language semantics, PROGRAMMING languages, LANGUAGE acquisition, FORMAL languages, SEMANTICS

    Nájsť tento článok vo Web of Science
    Save to List
  15. 15

    Towards Meta-interpretive Learning of Programming Language Semantics

    Authors: Bartha, Sándor Cheney, James

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

    Subject Terms: 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)

    Access URL: 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

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Save to List
  16. 16

    Support for online teaching of the Semantics of Programming Languages course using interactive software tools

    Authors: William Steingartner

    Source: 2020 18th International Conference on Emerging eLearning Technologies and Applications (ICETA). :665-671

    Subject Terms: 4. Education, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 3. Good health

    Access URL: https://covid19.elsevierpure.com/da/publications/support-for-online-teaching-of-the-semantics-of-programming-langu
    https://jglobal.jst.go.jp/en/detail?JGLOBAL_ID=202102221191688500

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Save to List
  17. 17

    Semantics-Based Rapid Prototyping of a Subset of SQL: RISC Report Series, 25-02

    Authors: Schreiner, Wolfgang Steingartner, William Universitätsbibliothek

    Contributors: Schreiner, Wolfgang Steingartner, William Universitätsbibliothek

    Subject Terms: domain specific languages, formal semantics of programming languages, interpreters, rapid prototyping

    Access URL: https://epub.jku.at/id/11531099
    https://doi.org/10.35011/risc.25-02
    https://resolver.obvsg.at/urn:nbn:at:at-ubl:3-24808

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Save to List
  18. 18

    A comparison of big-step semantics definition styles

    Authors: Bereczky, Péter Horpácsi, Dániel Thompson, Simon

    Source: Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio computatorica. :117-141

    Subject Terms: FOS: Computer and information sciences, formal semantics, Computer Science - Programming Languages, pretty-big-step semantics, 0202 electrical engineering, electronic engineering, information engineering, Coq, 02 engineering and technology, functional big-step semantics, natural semantics, Programming Languages (cs.PL)

    File Description: application/pdf

    Access URL: http://arxiv.org/abs/2011.10373
    http://hdl.handle.net/10831/115528
    https://doi.org/10.71352/ac.57.117

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Save to List
  19. 19

    VDM Semantics of Programming Languages: Combinators and Monads

    Authors: Peter Mosses Peer, Hal

    Contributors: Peter Mosses Peer, Hal

    Source: Lecture Notes in Computer Science ISBN: 9783540752202

    Subject Terms: Denotational semantics, Monads, VDM, 0202 electrical engineering, electronic engineering, information engineering, Programming language semantics, 02 engineering and technology, Combinators

    File Description: application/pdf

    Access URL: https://hal.archives-ouvertes.fr/hal-00583552/document
    https://link.springer.com/content/pdf/10.1007%2Fs00165-009-0145-4.pdf
    https://rd.springer.com/chapter/10.1007/978-3-540-75221-9_23
    https://dblp.uni-trier.de/db/conf/birthday/BjornerZhou2007.html#Mosses07
    https://link.springer.com/article/10.1007%2Fs00165-009-0145-4
    https://cronfa.swan.ac.uk/Record/cronfa5290

    View record at OpenAIRE Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  20. 20

    Concepts and Semantics of Programming Languages 1 : A Semantical Approach with OCaml and Python

    Authors: Therese Hardin Mathieu Jaume Francois Pessaux et al.

    Resource Type: eBook.

    Subjects: Programming languages (Electronic computers)--Semantics, OCaml (Computer program language), Python (Computer program language)

    Categories: COMPUTERS / Computer Engineering, COMPUTERS / Languages / General, COMPUTERS / Languages / Python

    Save to List

Search Tools: