Search Results - ((automatic OR automation) OR automatizacia) programming—program transformation general terms*
-
1
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)
-
2
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
-
3
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
-
4
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
-
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: 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
-
7
Authors:
Source: Journal of Automated Reasoning; Jun2018, Vol. 61 Issue 1-4, p423-453, 31p
-
8
Authors: Swapan Basu
Resource Type: eBook.
Subjects: Factories--Technological innovations, Automation, Automatic control--Industrial applications
-
9
Authors:
Contributors:
Subject Terms: evaluation, program analysis, I.2.2 [Artificial Intelligence, Automatic Programming—program transformation General Terms algorithms, performance, theory Keywords narrowing, quasi-termination, offline partial evaluation
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.4892; http://www.dsic.upv.es/users/elp/german/icfp05/paper.pdf
-
10
Authors:
Contributors:
Subject Terms: and logic languages, D.3.4 [Programming Languages, Processors—code generation, optimization, E.1 [Data, Data Structures—arrays, lists, queues, records, E.2 [Data, Data Storage Representations—linked representations, F.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—computations on discrete structures, H.2.3 [Information Systems, Database Management—query languages, H.2.4 [Information Systems, Systems—query processing, rule-based databases, I.2.2 [Artificial Intelligence, Automatic Programming—program transformation General Terms, Algorithms, Languages, Performance Additional Key Words and Phrases, Complexity analysis, Datalog, data structure design, incremental computation, indexing, indexed representations, linked representations
File Description: application/pdf
-
11
Authors:
Source: Quantum Studies: Mathematics & Foundations; Oct2025, Vol. 12 Issue 3, p1-148, 148p
-
12
Authors:
Contributors:
Subject Terms: I.2.2 [Artificial Intelligence, Automatic Programming—Program transformation General Terms Languages, Performance
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.1605; http://www.dsic.upv.es/users/elp/german/pepm02/vidal.pdf
-
13
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.1.1 [Programming Techniques, Applicative (Functional) Programming, D.1.6 [Programming Techniques, Logic Programming, D.3.3 [Language Classifications, Multiparadigm Languages, I.2.2 [Artificial Intelligence, Automatic Programming—program transformation General Terms, Languages, Performance, Theory Additional Key Words and Phrases, Conditional term-rewriting systems, integration of functional and logic programming, narrowing strategies, partial evaluation
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.6018; http://www.dsic.upv.es/users/elp/german/toplas/paper.pdf
-
14
Authors: et al.
Source: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p974-1042, 69p
-
15
Authors: et al.
Source: Journal of Automated Reasoning; Jun2020, Vol. 64 Issue 5, p947-999, 53p
Subject Terms: COMPUTER programming, SEMANTICS, COMPILERS (Computer programs), PROOF theory
Geographic Terms: PARIS (France)
-
16
Authors: et al.
Contributors: et al.
Subject Terms: gramming Languages, Processors---compilers, optimization, I.1.2 [Algebraic Manipulation, Algorithms---analysis of algorithms, I.2.2 [Artificial Intelligence, Automatic Programming---program transformation General Terms, Partial Redundancy, Code Motion, Static Single Assignment Form Additional Key Words and Phrases, common subexpressions, data flow analysis, program optimization
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.9783; http://reality.sgi.com/dehnert_engr/papers/KCLLTC99.ps
-
17
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
-
18
Authors:
Source: Journal of Manufacturing & Materials Processing; Dec2024, Vol. 8 Issue 6, p276, 36p
-
19
Authors: et al.
Source: Algorithms; Apr2025, Vol. 18 Issue 4, p219, 31p
-
20
Authors: et al.
Source: Journal of Information Technology (Sage Publications Inc.); Dec2025, Vol. 40 Issue 4, p441-469, 29p
Full Text Finder 
Nájsť tento článok vo Web of Science