Search Results - (automatic OR automation) programming—program transformation
-
1
Authors: Swapan Basu
Resource Type: eBook.
Subjects: Factories--Technological innovations, Automation, Automatic control--Industrial applications
-
2
Authors:
Source: AIP Conference Proceedings; 2025, Vol. 3356 Issue 1, p1-12, 12p
-
3
Authors: et al.
Source: ACM Transactions on Programming Languages & Systems; Jun2024, Vol. 46 Issue 2, p1-59, 59p
Subject Terms: DECOMPOSITION method, PROGRAM transformation, SYNTAX (Grammar)
-
4
Authors:
Source: Signal & Image Processing Letters; 2023, Vol. 5 Issue 1, p19-30, 12p
Subject Terms: CATFISHES, WATER quality, WATER use, STANDARD deviations, AUTOMATION, PUMPING machinery
Geographic Terms: INDONESIA
-
5
Authors: et al.
Source: Multibody System Dynamics; May2025, Vol. 64 Issue 1, p1-31, 31p
-
6
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors C.3 [Computer Systems Organization, Special-Purpose and Application-Based Systems, Real-time and embedded systems, D.4.5 [Software, Operating Systems, Reliability [Checkpoint/restart, Fault-tolerance, I.2.2 [Computing Methodologies, Artificial Intelligence, Automatic Programming[Program transformation] General Terms Reliability, Languages. Keywords Fault-tolerance, Heartbeating, Checkpointing, Program transformations
File Description: application/pdf
-
7
Authors: Baxter, Ira D.
Source: Communications of the ACM; Apr92, Vol. 35 Issue 4, p73-89, 17p
-
8
Authors: et al.
Source: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p974-1042, 69p
-
9
Authors: et al.
Contributors: et al.
Subject Terms: Systems, Security and Protection—access controls, I.2.2 [Artificial Intelligence, Automatic Programming—Program transformation General Terms Design, Languages, Performance, Security Keywords access control, complexity guarantees, incrementalization, optimization
File Description: application/pdf
-
10
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.3.4 [Programming Languages, Processors—Optimization, I.2.2 [Artificial Intelligence, Automatic Programming—Program transformation General Terms, Design, Experimentation Additional Key Words and Phrases, Automatic program specialization, object-oriented languages, partial evaluation, Java, optimization
File Description: application/pdf
-
11
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.4563; http://gallium.inria.fr/~naxu/research/CompileRTFRP.pdf
-
12
Authors:
Source: Journal of Manufacturing & Materials Processing; Dec2024, Vol. 8 Issue 6, p276, 36p
-
13
Authors: et al.
Contributors: et al.
Source: ftp://ftp.daimi.aau.dk/pub/empl/danvy/Papers/danvy-hatcliff-loplas93.ps.gz
Subject Terms: Logic---lambda calculus and related systems, I.2.2 [Artificial Intelligence, Automatic Programming---program transformation
File Description: application/postscript
-
14
Authors: et al.
Contributors: et al.
Subject Terms: Processors--compilers, optimization, D.1.3 [Programming Techniques, Concurrent Programming, I.2.2 [Artificial Intelligence, Automatic Programming--program transformation General Terms, Compilation, Parallelism Additional Key Words and Phrases, Vectorization, multiprocessors, superscalar processors, dependence analysis, locality
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.4885; http://www.research.ibm.com/people/d/dfb/papers/Bacon94Compiler.ps
-
15
-
16
Authors:
Source: Software & Systems Modeling; Aug2024, Vol. 23 Issue 4, p973-1002, 30p
-
17
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.2 [Software Engineering, Design Tools and Techniques—computer-aided software engineering, I.2.2 [Artificial Intelligence, Automatic Programming—program transformation, I.2.8 [Artificial Intelligence, Problem Solving, Control Methods, and Search
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.295.648; http://acmbulletin.fiit.stuba.sk/vol3num3/mederly.pdf
-
18
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.1.2 [Programming Tech- niques, Automatic Programming- program modification, pro- gram transformation, D.1.3 [Programming Techniques, Concur- rent Programming- multi-threaded programming, D.2.7 [Soft- ware Engineering, Distribution, Maintenance, and Enhancement, D.3.1 [Programming Languages, Formal Definitions and Theory General Terms Languages, Typing Keywords Dynamic Software Update, Multi-Party Session Types, Distributed-Protocols
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.558.9972; http://www.cs.cmu.edu/~tdumitra/hotswup09/papers/hotswup09_submission_2.pdf
-
19
Authors:
Contributors:
Subject Terms: recursion
File Description: application/pdf
-
20
Authors:
Source: Philippine Journal of Science; Feb2025, Vol. 154 Issue 1, p1-22, 22p
Nájsť tento článok vo Web of Science 
Full Text Finder