Výsledky vyhledávání - automation programming—program transformation general terms*
-
1
Autoři:
Zdroj: Quantum Studies: Mathematics & Foundations; Oct2025, Vol. 12 Issue 3, p1-148, 148p
-
2
Autoři: a další
Zdroj: Journal of Information Technology (Sage Publications Inc.); Dec2025, Vol. 40 Issue 4, p441-469, 29p
-
3
Autoři: a další
Zdroj: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p974-1042, 69p
-
4
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors – optimization, I.2.2 [Artificial Intelligence, Automatic Programming – Program transformation. General Terms Algorithm, Performance, Languages Keywords Reactive System, Partial Evaluation, Tupling
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.4563; http://gallium.inria.fr/~naxu/research/CompileRTFRP.pdf
-
5
Autoři: a další
Zdroj: ACM Transactions on Programming Languages & Systems; Jun2024, Vol. 46 Issue 2, p1-59, 59p
-
6
Autoři:
Zdroj: Journal of Manufacturing & Materials Processing; Dec2024, Vol. 8 Issue 6, p276, 36p
-
7
Autoři: a další
Zdroj: Multibody System Dynamics; May2025, Vol. 64 Issue 1, p1-31, 31p
-
8
Autoři: a další
Zdroj: Algorithms; Apr2025, Vol. 18 Issue 4, p219, 31p
-
9
Autoři:
Zdroj: Journal of Automated Reasoning; Jun2018, Vol. 61 Issue 1-4, p423-453, 31p
-
10
Autoři:
Zdroj: Philippine Journal of Science; Feb2025, Vol. 154 Issue 1, p1-22, 22p
-
11
Autoři: a další
Zdroj: Journal of Automated Reasoning; Jun2020, Vol. 64 Issue 5, p947-999, 53p
Geografický termín: PARIS (France)
-
12
Zdroj: American Journal of Health-System Pharmacy; 10/15/2023, Vol. 80 Issue 20, p1411-1500, 90p
Geografický termín: UNITED States
-
13
Autoři: Baxter, Ira D.
Zdroj: Communications of the ACM; Apr92, Vol. 35 Issue 4, p73-89, 17p
-
14
Zdroj: Communications of the ACM; Oct82, Vol. 25 Issue 10, p748-753, 6p
-
15
Autoři: a další
Zdroj: Buildings (2075-5309); Mar2024, Vol. 14 Issue 3, p610, 31p
-
16
Zdroj: Communications of the ACM; Jul1982, Vol. 25 Issue 7, p487-492, 6p
Témata: SEQUENTIAL machine theory, REDUCED instruction set computers, MICROELECTRONICS, INTEGRATED circuits
Reviews & Products: COMMUNICATIONS of the ACM (Periodical)
-
17
Autoři:
Zdroj: Software & Systems Modeling; Aug2024, Vol. 23 Issue 4, p973-1002, 30p
-
18
Zdroj: Communications of the ACM; Apr1982, Vol. 25 Issue 4, p286-291, 6p
-
19
Autoři:
Zdroj: Foundations of Science; Sep2023, Vol. 28 Issue 3, p841-857, 17p
-
20
Autoři: a další
Zdroj: Software & Systems Modeling; May2020, Vol. 19 Issue 3, p647-691, 45p
Full Text Finder
Nájsť tento článok vo Web of Science