Εμφανίζονται 1 - 20 Αποτελέσματα από 1.603 για την αναζήτηση '"programming language semantics"', χρόνος αναζήτησης: 1,21δλ Περιορισμός αποτελεσμάτων
  1. 1
    Academic Journal

    Formalising and analysing SMMT models using the mCRL2 toolset.

    Συγγραφείς: van Laarhoven, J. E. P. M.1 (AUTHOR) jordi.vanlaarhoven@cpp.canon, Bunte, O.2 (AUTHOR) o.bunte@tue.nl, van Gool, L. C. M.1 (AUTHOR) louis.vangool@cpp.canon, Willemse, T. A. C.2 (AUTHOR) t.a.c.willemse@tue.nl

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

    Θεματικοί όροι: *SOFTWARE verification, *PROGRAMMING language semantics, *SOFTWARE validation, *CODE generators, *FINITE state machines, *COMPUTER software

    Προσθήκη στα αγαπημένα
  2. 2
    Academic Journal

    A Domain-theoretic Approach to Statistical Programming Languages.

    Συγγραφείς: GOUBAULT-LARRECQ, JEAN1 goubault@lsv.fr, XIAODONG JIA2 jia.xiaodong@yahoo.com, THÉRON, CLÉMENT3 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

    Full Text Finder
    Προσθήκη στα αγαπημένα
  3. 3
    Academic Journal

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

    Συγγραφείς: Sack, Warren1 (AUTHOR)

    Πηγή: Philosophies. Aug2025, Vol. 10 Issue 4, p86. 23p.

    Θεματικοί όροι: *PROGRAMMING language semantics, *PRAGMATICS, *COMPUTER programming education, *CONNOTATION (Linguistics), *SPEECH acts (Linguistics), *SYNTAX in programming languages, *INTERDISCIPLINARY research

    Full Text Finder
    Προσθήκη στα αγαπημένα
  4. 4
    Periodical

    The Rational Programmer: Investigating Programming Language Pragmatics.

    Συγγραφείς: Dimoulas, Christos, Felleisen, Matthias

    Πηγή: Communications of the ACM; Jul2025, Vol. 68 Issue 7, p120-130, 11p

    Θεματικοί όροι: PRAGMATICS, PROGRAMMING languages, PROGRAMMING language semantics, TYPESCRIPT (Computer program language), JAVASCRIPT programming language, COMPUTER software development

    Full Text Finder
    Προσθήκη στα αγαπημένα
  5. 5
    Periodical

    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.

    Συγγραφείς: BROY, MANFRED1, RUMPE, BERNHARD2 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

    Full Text Finder
    Προσθήκη στα αγαπημένα
  6. 6
    Academic Journal

    On the Interpretation of Denotational Semantics.

    Συγγραφείς: Cardone, Felice1 (AUTHOR)

    Πηγή: Philosophies. Jun2025, Vol. 10 Issue 3, p54-N.PAG. 18p.

    Θεματικοί όροι: *SEMANTICS, *PROGRAMMING language semantics, *MATHEMATICAL category theory, *PROGRAMMING languages, *INTUITIONISTIC mathematics, *FUNCTIONAL programming (Computer science)

    Full Text Finder
    Προσθήκη στα αγαπημένα
  7. 7
    Academic Journal

    Meaning and Reference in Programming Languages.

    Συγγραφείς: Angius, Nicola1 (AUTHOR)

    Πηγή: Philosophies. Apr2025, Vol. 10 Issue 2, p40. 17p.

    Θεματικοί όροι: *SEMANTICS, *PROGRAMMING language semantics, *DEFINITIONS, *PROGRAMMING languages, *AGENT (Philosophy), *SOURCE code, *PHILOSOPHY of language

    Full Text Finder
    Προσθήκη στα αγαπημένα
  8. 8
    Conference

    Common fixed points on partial fuzzy metric spaces.

    Συγγραφείς: Yousif, Amenah Kareem1 (AUTHOR) amenahkareem9@gmail.com, Mohammed, Mohammed Jassim2 (AUTHOR) mohammed.195775@gmail.com

    Πηγή: AIP Conference Proceedings. 2025, Vol. 3264 Issue 1, p1-7. 7p.

    Θεματικοί όροι: *PROGRAMMING language semantics, *METRIC spaces, *GENERALIZATION

    Προσθήκη στα αγαπημένα
  9. 9
    Academic Journal

    Universal Composability Is Robust Compilation.

    Συγγραφείς: Patrignani, Marco1 (AUTHOR) marco.patrignani@unitn.it, Künnemann, Robert2 (AUTHOR) robert.kuennemann@cispa.de, Wahby, Riad S.3 (AUTHOR) riad@cmu.edu, Cecchetti, Ethan4 (AUTHOR) cecchetti@wisc.edu

    Πηγή: ACM Transactions on Programming Languages & Systems. Dec2024, Vol. 46 Issue 4, p1-64. 64p.

    Θεματικοί όροι: *PROGRAMMING languages, *CRYPTOGRAPHY, PROGRAMMING language semantics, SYNTAX (Grammar)

    Full Text Finder
    Προσθήκη στα αγαπημένα
  10. 10
    Academic Journal

    Concrete constructions of noncommutative free dcpo semigroups.

    Συγγραφείς: Zhou, Chengyu1 (AUTHOR) zhouchy126@126.com, Luan, Wei2 (AUTHOR) mathluan@163.com, Li, Qingguo1 (AUTHOR) liqingguoli@aliyun.com

    Πηγή: Journal of Algebra & Its Applications. Feb2025, p1. 26p.

    Θεματικοί όροι: *PROGRAMMING language semantics, *CONCRETE construction, *FREE groups, *ALGEBRA, *GENERALIZATION

    Προσθήκη στα αγαπημένα
  11. 11
    Academic Journal

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

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

    Θεματικοί όροι: семантика мови програмування, методична система, професійна освіта, 4. Education, programming language semantics, methodological system, educational process, professional education, освітній процес

    Περιγραφή αρχείου: application/pdf

    Σύνδεσμος πρόσβασης: http://nzp.tnpu.edu.ua/article/view/283963

    View record at OpenAIRE Full Text Finder
    Προσθήκη στα αγαπημένα
  12. 12
    Conference

    A Theorem Proving Approach to Programming Language Semantics

    Συγγραφείς: Roy, Subhajit

    Πηγή: 2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET) ICSE-SEET Software Engineering: Software Engineering Education and Training (ICSE-SEET), 2023 IEEE/ACM 45th International Conference on. :153-165 May, 2023

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

    Προσθήκη στα αγαπημένα
  13. 13
    Conference

    Learning Deep Semantics for Test Completion

    Συγγραφείς: Nie, Pengyu, Banerjee, Rahul, Li, Junyi Jessy, Mooney, Raymond J., Gligoric, Milos

    Πηγή: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2023 IEEE/ACM 45th International Conference on. :2111-2123 May, 2023

    Relation: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)

    Προσθήκη στα αγαπημένα
  14. 14
    Periodical

    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.

    Συγγραφείς: Wei, Haizhi

    Πηγή: Journal of Combinatorial Mathematics & Combinatorial Computing; Dec2025, Vol. 127a, p3867-3886, 20p

    Θεματικοί όροι: TECHNOLOGY, CUSTOMER services, INDUSTRIAL robots, NATURAL language processing, SENTIMENT analysis, ARTIFICIAL intelligence, PROGRAMMING language semantics

    Προσθήκη στα αγαπημένα
  15. 15
    Academic Journal

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

    Συγγραφείς: Zhang, Quanjun, Fang, Chunrong, Zheng, Yi, Zhang, Yaxin, Zhao, Yuan, Huang, Rubing, Zhou, Jianyi, Yang, Yun, Zheng, Tao, Chen, Zhenyu

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

    Θεματικοί όροι: COMPUTER software quality control, ASSERTIONS (Logic), SOFTWARE validation, DEEP learning, LANGUAGE models, PROGRAMMING language semantics

    Full Text Finder
    Προσθήκη στα αγαπημένα
  16. 16
    Academic Journal

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

    Συγγραφείς: Chen, Ligeng, He, Zhongling, Qian, Yi, Mao, Bing

    Πηγή: Computer Journal; Jul2025, Vol. 68 Issue 7, p788-803, 16p

    Θεματικοί όροι: MACHINE learning, DATA flow computing, PROGRAMMING language semantics

    Συνδεδεμένο Πλήρες Κείμενο
    Προσθήκη στα αγαπημένα
  17. 17
    Academic Journal

    Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.

    Συγγραφείς: Din, Crystal Chang1 Crystal.Din@uib.no, Hähnle, Reiner2 haehnle@cs.tu-darmstadt.de, Henrio, Ludovic3 ludovic.henrio@cnrs.fr, Johnsen, Einar Broch4 einarj@ifi.uio.no, Pun, Violet Ka I5 Violet.Ka.I.Pun@hvl.no, Tarifa, S. Lizeth Tapia4 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

    Full Text Finder
    Προσθήκη στα αγαπημένα
  18. 18
    eBook

    Transfinite Structured Programming

    Συγγραφείς: Bhaskar, SiddharthAff10

    Συνεισφορές: Hartmanis, Juris, Founding EditorAff1, Goos, Gerhard, Founding EditorAff2, Bertino, Elisa, Series EditorAff3, Gao, Wen, Series EditorAff4, Steffen, Bernhard, Series EditorAff5, Yung, Moti, Series EditorAff6, Beckmann, Arnold, editorAff7, Oitavem, Isabel, editorAff8, Manea, Florin, editorAff9

    Πηγή: Crossroads of Computability and Logic: Insights, Inspirations, and Innovations : 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings. 15764:159-174

    Προσθήκη στα αγαπημένα
  19. 19
    Academic Journal

    Eric Snyder.  Semantics and the Ontology of Number.

    Συγγραφείς: Glanzberg, Michael1 (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

    Συνδεδεμένο Πλήρες Κείμενο
    Προσθήκη στα αγαπημένα
  20. 20
    Academic Journal

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

    Συγγραφείς: KRISTEL, PETER1, PETERSEIM, BENEDIKT1

    Πηγή: Theory & Applications of Categories. 2024, Vol. 41, p1983-2012. 30p.

    Θεματικοί όροι: *PROGRAMMING language semantics, *HAUSDORFF spaces, *HAUSDORFF measures, *TOPOLOGICAL spaces, *PROBABILITY theory

    Full Text Finder
    Προσθήκη στα αγαπημένα

Εργαλεία αναζήτησης: