• Suche: "PROGRAMMING language semantics"

Treffer 1 - 20 von 1.556

1

Monadic Intersection Types, Relationally, and Ordered.
Galal, Zeinab ; Gavazzo, Francesco ; Treglia, Riccardo ; et al.
ACM Transactions on Programming Languages & Systems. Dec2025, Vol. 47 Issue 4, p1-51. 51p.

Fachzeitschrift
Merkliste
2

A Domain-theoretic Approach to Statistical Programming Languages.
GOUBAULT-LARRECQ, JEAN ; XIAODONG JIA ; THÉRON, CLÉMENT
Journal of the ACM. Oct2023, Vol. 70 Issue 5, p1-63. 63p.

Fachzeitschrift
Merkliste
3

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, MANFRED ; RUMPE, BERNHARD
Communications of the ACM. May2023, Vol. 66 Issue 5, p62-71. 10p. 3 Diagrams, 4 Charts, 1 Graph.

Zeitschrift
Merkliste
4

Universal Composability Is Robust Compilation.
Patrignani, Marco ; Künnemann, Robert ; Wahby, Riad S. ; et al.
ACM Transactions on Programming Languages & Systems. Dec2024, Vol. 46 Issue 4, p1-64. 64p.

Fachzeitschrift
Merkliste
5

The Rational Programmer: Investigating Programming Language Pragmatics.
Dimoulas, Christos ; Felleisen, Matthias
Communications of the ACM. Jul2025, Vol. 68 Issue 7, p120-130. 11p.

Zeitschrift
Merkliste
6

Formalising and analysing SMMT models using the mCRL2 toolset.
van Laarhoven, J. E. P. M. ; Bunte, O. ; van Gool, L. C. M. ; et al.
International Journal on Software Tools for Technology Transfer. Oct2025, Vol. 27 Issue 5, p511-532. 22p.

SOFTWARE verification PROGRAMMING language sem... SOFTWARE validation CODE generators FINITE state machines COMPUTER software
Fachzeitschrift
Merkliste
7

Interfacing Programming Language Semantics and Pragmatics: What Does "Hello, World" Mean?
Sack, Warren
Philosophies. Aug2025, Vol. 10 Issue 4, p86. 23p.

PROGRAMMING language sem... PRAGMATICS COMPUTER programming edu... CONNOTATION (Linguistics... SPEECH acts (Linguistics... SYNTAX in programming la... …
Fachzeitschrift
Merkliste
8

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.
Din, Crystal Chang ; Hähnle, Reiner ; Henrio, Ludovic ; et al.
ACM Transactions on Programming Languages & Systems. Mar2024, Vol. 46 Issue 1, p1-58. 58p.

Fachzeitschrift
Merkliste
9

On the Interpretation of Denotational Semantics.
Cardone, Felice
Philosophies. Jun2025, Vol. 10 Issue 3, p54-N.PAG. 18p.

SEMANTICS PROGRAMMING language sem... MATHEMATICAL category th... PROGRAMMING languages INTUITIONISTIC mathemati... FUNCTIONAL programming (...
Fachzeitschrift
Merkliste
10

Common fixed points on partial fuzzy metric spaces.
Yousif, Amenah Kareem ; Mohammed, Mohammed Jassim
AIP Conference Proceedings. 2025, Vol. 3264 Issue 1, p1-7. 7p.

PROGRAMMING language sem... METRIC spaces GENERALIZATION
Konferenz
Merkliste
11

Meaning and Reference in Programming Languages.
Angius, Nicola
Philosophies. Apr2025, Vol. 10 Issue 2, p40. 17p.

SEMANTICS PROGRAMMING language sem... DEFINITIONS PROGRAMMING languages AGENT (Philosophy) SOURCE code …
Fachzeitschrift
Merkliste
12

Concrete constructions of noncommutative free dcpo semigroups.
Zhou, Chengyu ; Luan, Wei ; Li, Qingguo
Journal of Algebra & Its Applications. Feb2025, p1. 26p.

PROGRAMMING language sem... CONCRETE construction FREE groups ALGEBRA GENERALIZATION
Fachzeitschrift
Merkliste
13

Early-Stage Graph Fusion with Refined Graph Neural Networks for Semantic Code Search.
Ao, Longhao ; Qi, Rongzhi
Applied Sciences (2076-3417); Jan2026, Vol. 16 Issue 1, p12, 19p

GRAPH neural networks PROGRAMMING language sem... FLOWGRAPHS GRAPH connectivity
Fachzeitschrift
Merkliste
14

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

Konferenz
Merkliste
15

Learning Deep Semantics for Test Completion
Nie, Pengyu ; Banerjee, Rahul ; Li, Junyi Jessy ; et al.
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

Konferenz
Merkliste
16

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 process... SENTIMENT analysis ARTIFICIAL intelligence …
Zeitschrift
Merkliste
17

Improving Deep Assertion Generation via Fine-Tuning Retrieval-Augmented Pre-Trained Language Models.
Zhang, Quanjun ; Fang, Chunrong ; Zheng, Yi ; et al.
ACM Transactions on Software Engineering & Methodology; Sep2025, Vol. 34 Issue 7, p1-23, 23p

COMPUTER software qualit... ASSERTIONS (Logic) SOFTWARE validation DEEP learning LANGUAGE models PROGRAMMING language sem...
Fachzeitschrift
Merkliste
18

Undecidability of Bisimilarity by Defender's Forcing.
Janč, Petr ; Sarba, Jiří
Journal of the ACM. Feb2008, Vol. 55 Issue 1, p1-26. 26p. 3 Diagrams, 2 Charts.

Fachzeitschrift
Merkliste
19

Remote Attribute Grammars.
Boyland, John Tang
Journal of the ACM. Jul2005, Vol. 52 Issue 4, p627-687. 61p. 6 Diagrams.

Fachzeitschrift
Merkliste
20

Eric Snyder.  Semantics and the Ontology of Number.
Glanzberg, Michael
Philosophia Mathematica. Jun2024, Vol. 32 Issue 2, p242-251. 10p.

PROGRAMMING language sem... PHILOSOPHY of mathematic... NATURAL languages NATURAL numbers LINGUISTIC analysis POLYSEMY …
Fachzeitschrift
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter