Search Results - (automatic OR automation) programming—program transformation additional key works and phrases
-
1
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.1.1 [PROGRAMMING TECHNIQUES, Applicative (Functional) Programming, D.3.1 [PROGRAMMING LANGUAGES, Formal Definitions and Theory, D.3.4 [PROGRAMMING LANGUAGES, Processors, F.3.2 [LOGICS AND MEANINGS OF PROGRAMS, Semantics of Programming Languages—Operational semantics, I.2.2 [ARTIFICIAL INTELLIGENCE, Automatic Programming—Program Transformation, Program Synthesis General Terms, Design, Languages, Theory Additional Key Words and Phrases, Binding-time Analysis, Program Specialization, Regions 1 Work performed while at the Universität Freiburg, Germany
File Description: application/pdf
-
2
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
-
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: 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
-
5
Authors: et al.
Source: Journal of Information Technology (Sage Publications Inc.); Dec2025, Vol. 40 Issue 4, p441-469, 29p
-
6
Source: Communications of the ACM; Apr1982, Vol. 25 Issue 4, p286-291, 6p
Subject Terms: AUTOMATIC theorem proving, SPANNING trees, TREE graphs, PROOF theory
-
7
Source: Communications of the ACM; Oct82, Vol. 25 Issue 10, p748-753, 6p
Subject Terms: DATA compression, CODING theory, DATABASE management, COMPUTER industry, COMPUTER programming
-
8
Authors: Baxter, Ira D.
Source: Communications of the ACM; Apr92, Vol. 35 Issue 4, p73-89, 17p
-
9
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.2.3 [Software Engineering, Coding Tools and Techniques—Object-oriented programming, D.2.7 [Software Engineering, Distribution, Maintenance, and Enhancement—Enhancement, D.1.2 [Programming Techniques, Automatic Programming—Program transformation, Automatic Programming—Program synthesis General Terms, Experimentation, Languages Additional Key Words and Phrases, Separation of concerns, Distributed Computing, Java, Middleware, RMI, Bytecode engineering
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.4166; http://www.cs.vt.edu/~tilevich/papers/jorchestra.pdf
-
10
Authors:
Source: ACM Computing Surveys; Jun2012, Vol. 44 Issue 3, p11-11:46, 46p, 6 Diagrams, 12 Charts
-
11
Authors:
Source: ACM Computing Surveys; Jul2018, Vol. 50 Issue 4, p56:1-56:36, 36p, 1 Diagram, 5 Charts, 1 Graph
-
12
Authors: et al.
Source: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p776-858, 83p
Subject Terms: LOGIC programming, PROGRAMMING languages, SWOT analysis, LEARNING
-
13
Authors:
Source: Theory & Practice of Logic Programming; 03/01/2011, Vol. 11 Issue 2/3, p263-296, 34p
-
14
Authors: et al.
Source: ACM Transactions on Embedded Computing Systems; Jul2008, Vol. 7 Issue 4, p42-42:25, 25p, 5 Diagrams, 1 Chart
Subject Terms: EMBEDDED computer systems, RAPID prototyping, AUTOMATION, PROGRAMMING languages, SYSTEMS on a chip
-
15
Authors: Nauarro, Silvio O.
Source: Communications of the ACM; Mar1968, Vol. 11 Issue 3, p151-197, 47p
Subject Terms: COMPUTER science, ACADEMIC programs, COMMITTEES, TECHNICAL specifications, CONTINUING education, HIGHER education
Company/Entity: ASSOCIATION for Computing Machinery
-
16
Authors:
Source: ACM Transactions on Programming Languages & Systems; Aug2009, Vol. 31 Issue 6, p21-21:38, 38p, 2 Diagrams, 7 Charts, 3 Graphs
Subject Terms: DATA structures, INDEXING, PROGRAM transformation, RECURSION theory, ALGORITHMS, COMPUTATIONAL complexity
-
17
Authors:
Source: Concurrency & Computation: Practice & Experience; May2013, Vol. 25 Issue 7, p989-1012, 24p, 5 Diagrams, 8 Charts, 3 Graphs
-
18
Authors: Zave, Pamela
Source: Communications of the ACM; Feb1984, Vol. 27 Issue 2, p104-118, 15p, 8 Diagrams, 3 Charts
Subject Terms: COMPUTER software development, COMPUTER programming
-
19
-
20
Authors: Il'in, V. P.
Source: Herald of the Russian Academy of Sciences; May2019, Vol. 89 Issue 3, p250-258, 9p
Nájsť tento článok vo Web of Science 
Full Text Finder