Výsledky vyhledávání - Semantics of Programming Languages. Process models
-
1
Autoři:
Zdroj: Grantee Submission. 2021Paper presented at the International Conference on Artificial Intelligence in Education (AIED) (2021).
Peer Reviewed: Y
Page Count: 5
Sponsoring Agency: Institute of Education Sciences (ED)
Office of Naval Research (ONR) (DOD)Descriptors: Reading Comprehension, Memory, Inferences, Syntax, Semantics, Programming Languages, Natural Language Processing, Graphs, Visual Aids, Reading Processes, Models, Heuristics, Cognitive Processes, Prior Learning, Computer Software
IES Funded: Yes
-
2
Autoři:
Zdroj: Cuestiones de Fisioterapia; 2025, Vol. 54 Issue 4, p7495-7504, 10p
-
3
Autoři: Angius, Nicola
Zdroj: Philosophies; Apr2025, Vol. 10 Issue 2, p40, 17p
-
4
Autoři: Y. P. Korablin
Zdroj: Российский технологический журнал, Vol 10, Iss 1, Pp 18-27 (2022)
Témata: program scheme, semantic domains, process semantics, equational characterization of the semantic meanings of programs, equivalence of program schemes, Information theory, Q350-390
Popis souboru: electronic resource
Relation: https://www.rtj-mirea.ru/jour/article/view/451; https://doaj.org/toc/2782-3210; https://doaj.org/toc/2500-316X
Přístupová URL adresa: https://doaj.org/article/b1fb99ea0ca6488194fa4596762ff711
-
5
Autoři: Astarte, Troy Kaighin
Zdroj: Philosophies; Aug2025, Vol. 10 Issue 4, p90, 22p
-
6
THE APPROACH AND THE SOFTWARE TOOL TO CALCULATE SEMANTIC QUALITY MEASURES OF BUSINESS PROCESS MODELS
Autoři:
Zdroj: Вісник Національного технічного університету "ХПÌ": Системний аналіз, управління та інформаційні технології, Iss 1 (7), Pp 66-69 (2022)
Témata: business process modeling, semantic quality, quality measure, natural language processing, software tool, Technology
Popis souboru: electronic resource
Relation: http://samit.khpi.edu.ua/article/view/260704; https://doaj.org/toc/2079-0023; https://doaj.org/toc/2410-2857
Přístupová URL adresa: https://doaj.org/article/1b6aa153a6434e3f9a1d630d483be343
-
7
Autoři: Cardone, Felice
Zdroj: Philosophies; Jun2025, Vol. 10 Issue 3, p54-N.PAG, 18p
-
8
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
-
9
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
-
10
Autoři:
Zdroj: Journal of Intelligence; Mar2025, Vol. 13 Issue 3, p26, 34p
-
11
Autoři: a další
Zdroj: Pharmaceutics; Oct2025, Vol. 17 Issue 10, p1274, 26p
-
12
Autoři:
Zdroj: International Association for Development of the Information Society. 2022 (Sustainability).
Peer Reviewed: Y
Page Count: 5
-
13
Autoři:
Témata: Semantics of programming languages, history of programming languages, mathematical theory of computation, InProceedings, Text, doc-type:ResearchArticle, publishedVersion
URL:
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Gabbrielli.8
Is Part Of OASIcs, Volume 86, Recent Developments in the Design and Implementation of Programming Languages (2020) -
14
Autoři: a další
Zdroj: Veterinary Pathology. Nov2025, Vol. 62 Issue 6, p829-848. 20p.
Plný text ve formátu HTML Plný text ve formátu PDF -
15
Autoři: a další
Zdroj: Water Resources Research; Mar2022, Vol. 58 Issue 3, p1-28, 28p
-
16
Autoři: a další
Zdroj: Information Systems. Jan2015, Vol. 47, p129-177. 49p.
-
17
Autoři:
Zdroj: Information. Oct2025, Vol. 16 Issue 10, p870. 32p.
-
18
Přispěvatelé:
Témata: Categorical models and logics, language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, semantics of programming languages, program analysis, logics of programming, software specification and refinement, models of concurrent systems, emerging models of computation, logical aspects of computational complexity, correctness, transformation, and verification, models of software security, Computer science, Mathematical foundations, Algorithms and data structures, Systems analysis and design, Mathematical theory of computation
Popis souboru: application/pdf
Relation: Lecture Notes in Computer Science
Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/54027
-
19
Autoři:
Zdroj: ICSE: International Conference on Software Engineering; 2022, p859-870, 12p
-
20
Přispěvatelé:
Témata: Mathematical Logic and Foundations, Discrete Mathematics in Computer Science, Programming Languages, Compilers, Interpreters, Programming Techniques, Logic in AI, Computer Systems Organization and Communication Networks, categorical models and logics, language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, semantics of programming languages, program analysis, correctness, transformation, and verification, logics of programming, software specification and refinement, emerging models of computation, logical aspects of computational complexity, models of software security, logical foundations of data bases, mathematics, artificial intellegence, formal logic, linguistics, Mathematical foundations, Mathematical logic, Discrete mathematics, Maths for computer scientists, Programming & scripting languages: general, Compilers & interpreters, Computer programming / software engineering, Artificial intelligence, Computer networking & communications, Programming and scripting languages: general, Computer networking and communications
Popis souboru: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
Přístupová URL adresa: http://library.oapen.org/handle/20.500.12657/37723
Nájsť tento článok vo Web of Science 
Full Text Finder 
Full Text