Výsledky vyhledávání - Automatic Programming—Program Transformation Additional Key Words AND Phrases~
-
1
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, I.2.2 [Artificial Intelligence, Automatic Programming—Program Transformation Additional Key Words and Phrases, Partial Deduction, Abstract Interpretation 1. MODULAR LOGIC PROGRAMMING
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.134.199; http://www.dsi.unive.it/~michele/Papers/cs98.pdf
-
2
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: application/pdf
-
3
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: 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
-
4
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
5
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: application/pdf
-
6
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: 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
-
7
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: 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
-
8
Autoři:
Přispěvatelé:
Témata: Expressions and Their Representations---simplification of expressions, I.1.3 [Algebraic Manipulation, Languages and Systems---special-purpose algebraic systems, I.2.2 [Algebraic Manipulation, Automatic Programming---program modification, program synthesis, program transformation, program verification General Terms, Design, Languages, Theory, Verification Additional Key Words and Phrases, Dynamic logic, Kleene algebra, specification
Popis souboru: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.70; http://www.cs.cornell.edu/kozen/papers/kat.ps
-
9
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: 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
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, F.3.1 [Logics and Meanings of Programs, Specifying, Verifying and Reasoning about Programs, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic, F.2.3 [Analysis of Algorithms and Problem Complexity, Tradeos between Complexity Mea- sures, D.1.2 [Programming Techniques, Automatic Programming|Program modication, synthesis, transformation, D.4.7 [Operating Systems, Organization and Design|Real-time and embedded systems General Terms, Algorithms, Theory, Verication Additional Key Words and Phrases, UNITY, Formal Methods, Stabilization
Popis souboru: application/pdf
-
11
Autoři:
Přispěvatelé:
Témata: Manipulation, Languages and Systems—special-purpose algebraic systems, I.2.2 [Algebraic Manipulation, Automatic Programming—program modification, program synthesis, program transformation, program verification General Terms, Theory, Verification Additional Key Words and Phrases, Dynamic logic, Hoare logic, Kleene algebra, Kleene algebra with tests
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.3390; http://www.cs.cornell.edu/~kozen/papers/slapc.pdf
-
12
Autoři: a další
Zdroj: ACM Transactions on Programming Languages & Systems; Jun2024, Vol. 46 Issue 2, p1-59, 59p
-
13
Autoři: Velázquez Iturbide, Ángel
Thesis Advisors: Cerrada Somolinos, José Antonio
Témata: Informática
Přístupová URL adresa: http://hdl.handle.net/10803/453220
-
14
Zdroj: Communications of the ACM; Apr1982, Vol. 25 Issue 4, p286-291, 6p
-
15
Zdroj: Communications of the ACM; Oct82, Vol. 25 Issue 10, p748-753, 6p
-
16
Autoři: a další
Zdroj: Lobachevskii Journal of Mathematics; Oct2022, Vol. 43 Issue 10, p2893-2900, 8p
-
17
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)
-
18
Autoři: Baxter, Ira D.
Zdroj: Communications of the ACM; Apr92, Vol. 35 Issue 4, p73-89, 17p
-
19
Autoři: a další
Zdroj: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p776-858, 83p
-
20
Autoři:
Zdroj: Theory & Practice of Logic Programming; 03/01/2011, Vol. 11 Issue 2/3, p263-296, 34p
Nájsť tento článok vo Web of Science 
Full Text Finder