المؤلفون: Patrignani, Marco¹ (AUTHOR) marco.patrignani@unitn.it, Künnemann, Robert² (AUTHOR) robert.kuennemann@cispa.de, Wahby, Riad S.³ (AUTHOR) riad@cmu.edu, Cecchetti, Ethan⁴ (AUTHOR) cecchetti@wisc.edu

المصدر: ACM Transactions on Programming Languages & Systems. Dec2024, Vol. 46 Issue 4, p1-64. 64p.

مصطلحات موضوعية: *PROGRAMMING languages, *CRYPTOGRAPHY, PROGRAMMING language semantics, ORANGES, SYNTAX (Grammar)

المؤلفون: GOUBAULT-LARRECQ, JEAN¹ goubault@lsv.fr, XIAODONG JIA² jia.xiaodong@yahoo.com, THÉRON, CLÉMENT³ clement.theron@ens-parissaclay.fr

المصدر: Journal of the ACM. Oct2023, Vol. 70 Issue 5, p1-63. 63p.

مصطلحات موضوعية: *PROGRAMMING languages, PROGRAMMING language semantics, PROGRAM transformation, REAL numbers

المؤلفون: BROY, MANFRED¹, RUMPE, BERNHARD² rumpe@se-rwth.de

المصدر: Communications of the ACM. May2023, Vol. 66 Issue 5, p62-71. 10p. 3 Diagrams, 4 Charts, 1 Graph.

مصطلحات موضوعية: *COMPUTER software development, *PROGRAMMING languages, *SYSTEMS design, PROGRAMMING language semantics, SYNTAX in programming languages

المؤلفون: Din, Crystal Chang¹ Crystal.Din@uib.no, Hähnle, Reiner² haehnle@cs.tu-darmstadt.de, Henrio, Ludovic³ ludovic.henrio@cnrs.fr, Johnsen, Einar Broch⁴ einarj@ifi.uio.no, Pun, Violet Ka I⁵ Violet.Ka.I.Pun@hvl.no, Tarifa, S. Lizeth Tapia⁴ sltarifa@ifi.uio.no

المصدر: ACM Transactions on Programming Languages & Systems. Mar2024, Vol. 46 Issue 1, p1-58. 58p.

مصطلحات موضوعية: *LOGIC, *MODULAR design, PROGRAMMING language semantics, SYMBOLIC computation, LOGIC design, FIRST-order logic, SEMANTICS, CONCRETE

المؤلفون: Glanzberg, Michael¹ (AUTHOR) michael.glanzberg@philosophy.rutgers.edu

المصدر: Philosophia Mathematica. Jun2024, Vol. 32 Issue 2, p242-251. 10p.

مصطلحات موضوعية: *PROGRAMMING language semantics, *PHILOSOPHY of mathematics, *NATURAL languages, *NATURAL numbers, *LINGUISTIC analysis, *POLYSEMY, *SEMANTICS

المؤلفون: Zhao, Lianying, Shuang, He, Xu, Shengjie, Huang, Wei, Cui, Rongzhen, Bettadpur, Pushkar, Lie, David

المصدر: ACM Computing Surveys; Dec2024, Vol. 56 Issue 12, p1-37, 37p

مصطلحات موضوعية: COMPUTER operating system security measures, COMPUTER software execution, INSTRUCTION set architecture, C (Computer program language), PROGRAMMING language semantics, COMPUTER firmware

المؤلفون: Li, Lu¹ (AUTHOR) 2033816@tongji.edu.cn, Liu, Yan¹ (AUTHOR) yanliu.sse@tongji.edu.cn

المصدر: International Journal of Software Engineering & Knowledge Engineering. Nov/Dec2022, Vol. 32 Issue 11/12, p1667-1688. 22p.

مصطلحات موضوعية: *PROGRAMMING languages, MODERN languages, PROGRAMMING language semantics, SOURCE code, LANGUAGE policy, SHALLOW-water equations

المؤلفون: Combemale, Benoit¹ (AUTHOR), Gray, Jeff² (AUTHOR), Jézéquel, Jean-Marc³ (AUTHOR), Rumpe, Bernhard⁴ (AUTHOR) bernhard.rumpe@sosym.org

المصدر: Software & Systems Modeling. Oct2024, Vol. 23 Issue 5, p1053-1054. 2p.

مصطلحات موضوعية: *PROGRAMMING language semantics, *MODELING languages (Computer science), *CYBER physical systems, *EPISTEMIC uncertainty, *SOFTWARE engineering

المؤلفون: WARREN, DAVID SCOTT

المصدر: Theory & Practice of Logic Programming; Jul2024, Vol. 24 Issue 4, p885-900, 16p

مصطلحات موضوعية: PROGRAMMING language semantics, SEMANTICS (Philosophy), DATA structures, PROOF theory, SEMANTICS

المؤلفون: HUTTON, GRAHAM¹ (AUTHOR) graham.hutton@nottingham.ac.uk

المصدر: Journal of Functional Programming. 2023, Vol. 33, p1-26. 26p.

مصطلحات موضوعية: *PROGRAMMING language semantics, *SEMANTICS, *COMPUTER science

المؤلفون: PARKER, JASON¹ parkerj@brandonu.ca

المصدر: Theory & Applications of Categories. 2023, Vol. 39, p493-518. 26p.

مصطلحات موضوعية: *PARTIALLY ordered sets, *PROGRAMMING language semantics, *MATHEMATIC morphism, *METRIC spaces

المؤلفون: Ghasab, Ehsan Lotfali¹ (AUTHOR), Chaharpashlou, Reza¹ (AUTHOR), Lopes, António M.² (AUTHOR) aml@fe.up.pt

المصدر: Symmetry (20738994). Jan2023, Vol. 15 Issue 1, p70. 12p.

مصطلحات موضوعية: *INTEGRAL equations, *PROGRAMMING language semantics, *COMPUTER science

المؤلفون: DAGNINO, FRANCESCO, GAVAZZO, FRANCESCO

المصدر: Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 2, p1-34, 34p

مصطلحات موضوعية: LOGIC, PROGRAMMING language semantics

المؤلفون: PARK, SEWON, BRAUSSE, FRANZ, COLLINS, PIETER, KIM, SUNYOUNG, KONEČNÝ, MICHAL, LEE, GYESIK, MÜLLER, NORBERT, NEUMANN, EIKE, PREINING, NORBERT, ZIEGLER, MARTIN

المصدر: Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 2, p1-55, 55p

مصطلحات موضوعية: PROGRAMMING language semantics, COMPUTABLE functions, REAL numbers, LOGIC, PROGRAMMING languages, FIRST-order logic, SEMANTICS

المؤلفون: Steingartner, William, Novitzká, Valerie, Schreiner, Wolfgang

المصدر: Journal of Applied Mathematics & Computational Mechanics; 2024, Vol. 23 Issue 2, p79-92, 14p

مصطلحات موضوعية: EQUIVALENCE (Linguistics), PROGRAMMING language semantics, PROGRAMMING languages, LANGUAGE acquisition, FORMAL languages, SEMANTICS

المؤلفون: Aygün, Halis¹ (AUTHOR), Güner, Elif¹ (AUTHOR), Miñana, Juan-José^2,3 (AUTHOR) jj.minana@uib.es, Valero, Oscar^2,3 (AUTHOR)

المصدر: Mathematics (2227-7390). Sep2022, Vol. 10 Issue 17, p3092. 15p.

مصطلحات موضوعية: *METRIC spaces, *PROGRAMMING language semantics, *FIXED point theory, *CAUCHY sequences

المؤلفون: Memarian, Kayvan

المساهمون: Sewell, Peter

مصطلحات موضوعية: programming language semantics, C, pointer provenance, memory model

URL الوصول: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.883752

المؤلفون: Nishizaki, Shin-ya¹ (AUTHOR) nisizaki@c.titech.ac.jp, Seki, Shinnosuke² (AUTHOR)

المصدر: New Generation Computing. Jul2022, Vol. 40 Issue 2, p399-402. 4p.

مصطلحات موضوعية: *PROGRAMMING language semantics, *VERIFICATION of computer systems, *PATTERN matching, *COMPUTERS, *SINGLE-stranded DNA, *BLOCKCHAINS

المؤلفون: Glück, Robert¹ (AUTHOR) glueck@acm.org, Kaarsgaard, Robin^1,2 (AUTHOR) robin.kaarsgaard@ed.ac.uk, Yokoyama, Tetsuo³ (AUTHOR) tyokoyama@acm.org

المصدر: Theoretical Computer Science. Jun2022, Vol. 920, p46-63. 18p.

مصطلحات موضوعية: *PROGRAMMING languages, *PROGRAMMING language semantics, *INJECTIVE functions

المؤلفون: Janč, Petr¹, Sarba, Jiří² srba@cs.aau.dk

المصدر: Journal of the ACM. Feb2008, Vol. 55 Issue 1, p1-26. 26p. 3 Diagrams, 2 Charts.

مصطلحات موضوعية: *ELECTRONIC data processing, *PROGRAMMING languages, *MACHINE theory, PROGRAMMING language semantics, ALGEBRA, DECIDABILITY (Mathematical logic), MATHEMATICAL logic