Výsledky vyhľadávania - (automatic OR automation) programming—program transformation additional key words and phrases

Optimizing Modular Logic Languages

Autori: Michele Bugliesi Anna Ciampolini Evelina Lamma a ďalší

Prispievatelia: Michele Bugliesi Anna Ciampolini Evelina Lamma a ďalší

Zdroj: http://www.dsi.unive.it/~michele/Papers/cs98.pdf.

Predmety: 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 súboru: 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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.134.199
http://www.dsi.unive.it/~michele/Papers/cs98.pdf

Automatic Program Specialization for Java

Autori: Ulrik P. Schultz Julia L. Lawall Charles Consel a ďalší

Prispievatelia: Ulrik P. Schultz Julia L. Lawall Charles Consel a ďalší

Zdroj: http://www.cs.ucsb.edu/~ckrintz/papers/schultz-specialization.pdf.gz.

Predmety: 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 súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.1203

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.1203
http://www.cs.ucsb.edu/~ckrintz/papers/schultz-specialization.pdf.gz

Compiler Transformations for High-Performance Computing

Autori: David F. Bacon Susan L. Graham Oliver J. Sharp a ďalší

Prispievatelia: David F. Bacon Susan L. Graham Oliver J. Sharp a ďalší

Zdroj: http://www.research.ibm.com/people/d/dfb/papers/Bacon94Compiler.ps.

Predmety: 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 súboru: 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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.4885
http://www.research.ibm.com/people/d/dfb/papers/Bacon94Compiler.ps

From Datalog rules to efficient programs with time and space guarantees

Autori: Yanhong A. Liu Scott D. Stoller The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Yanhong A. Liu Scott D. Stoller The Pennsylvania State University CiteSeerX Archives

Zdroj: http://ftp.cs.sunysb.edu/pub/liu/Rules-TOPLAS09.pdf.

Predmety: 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 súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.8989

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.8989
http://ftp.cs.sunysb.edu/pub/liu/Rules-TOPLAS09.pdf

Polymorphic specialization for ML

Autori: Simon Helsen Peter Thiemann Universität Freiburg a ďalší

Prispievatelia: Simon Helsen Peter Thiemann Universität Freiburg a ďalší

Zdroj: http://www.swen.uwaterloo.ca/~shelsen/papers/helsen-thiemann-toplas-2004.pdf.

Predmety: 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 súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.1022

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.1022
http://www.swen.uwaterloo.ca/~shelsen/papers/helsen-thiemann-toplas-2004.pdf

Partial Evaluation of Functional Logic Programs

Autori: Maria Alpuente Moreno Falaschi German Vidal a ďalší

Prispievatelia: Maria Alpuente Moreno Falaschi German Vidal a ďalší

Zdroj: http://www.dsic.upv.es/users/elp/german/toplas/paper.pdf.

Predmety: 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 súboru: 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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.6018
http://www.dsic.upv.es/users/elp/german/toplas/paper.pdf

Partial Redundancy Elimination in SSA Form

Autori: Robert Kennedy Sun Chan Shin-ming Liu a ďalší

Prispievatelia: Robert Kennedy Sun Chan Shin-ming Liu a ďalší

Zdroj: http://reality.sgi.com/dehnert_engr/papers/KCLLTC99.ps.

Predmety: 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 súboru: 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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.9783
http://reality.sgi.com/dehnert_engr/papers/KCLLTC99.ps

Kleene Algebra with Tests

Autori: Dexter Kozen The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Dexter Kozen The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.cornell.edu/kozen/papers/kat.ps.

Predmety: 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 súboru: 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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.70
http://www.cs.cornell.edu/kozen/papers/kat.ps

Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms.

Autori: Ji, Ruyi Zhao, Yuwei Xiong, Yingfei a ďalší

Zdroj: ACM Transactions on Programming Languages & Systems; Jun2024, Vol. 46 Issue 2, p1-59, 59p

Predmety: DECOMPOSITION method, PROGRAM transformation, SYNTAX (Grammar)

ABSTRACTS from other ACM Publications.

Zdroj: Communications of the ACM; Apr1982, Vol. 25 Issue 4, p286-291, 6p

Predmety: AUTOMATIC theorem proving, SPANNING trees, TREE graphs, PROOF theory

Seventy years of information systems development methodologies from early business computing to the Agile era: A two-part history. Part 1: From Pre to Early ISD methodology era: The emergence of ISD methodologies and their golden era (1880–1980).

Autori: Porra, Jaana Hirschheim, Rudy Land, Frank a ďalší

Zdroj: Journal of Information Technology (Sage Publications Inc.); Dec2025, Vol. 40 Issue 4, p441-469, 29p

Predmety: SYSTEMS development, BUSINESS informatics, INFORMATION storage & retrieval systems, NARRATION

Derivación deductiva de programas funcionales con patrones

Autori: Velázquez Iturbide, Ángel

Thesis Advisors: Cerrada Somolinos, José Antonio

Predmety: Informática

Prístupová URL adresa: http://hdl.handle.net/10803/453220

J-Orchestra: Enhancing Java Programs with Distribution Capabilities

Autori: Eli Tilevich The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Eli Tilevich The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.vt.edu/~tilevich/papers/jorchestra.pdf.

Predmety: 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 súboru: 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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.4166
http://www.cs.vt.edu/~tilevich/papers/jorchestra.pdf

Revising UNITY Programs: Possibilities and Limitations

Autori: Borzoo Bonakdarpour Ali Ebnenasir Sandeep S. Kulkarni a ďalší

Prispievatelia: Borzoo Bonakdarpour Ali Ebnenasir Sandeep S. Kulkarni a ďalší

Zdroj: http://www.cse.msu.edu/publications/tech/TR/MSU-CSE-07-23.pdf.

Predmety: 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 súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.497.7334

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.497.7334
http://www.cse.msu.edu/publications/tech/TR/MSU-CSE-07-23.pdf

Substructural logic and partial correctness

Autori: Dexter Kozen The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Dexter Kozen The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.cornell.edu/~kozen/papers/slapc.pdf.

Predmety: 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 súboru: 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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.3390
http://www.cs.cornell.edu/~kozen/papers/slapc.pdf

ABSTRACTS from other ACM Publications.

Zdroj: Communications of the ACM; Oct82, Vol. 25 Issue 10, p748-753, 6p

Predmety: DATA compression, CODING theory, DATABASE management, COMPUTER industry, COMPUTER programming

Design Maintenance Systems.

Autori: Baxter, Ira D.

Zdroj: Communications of the ACM; Apr92, Vol. 35 Issue 4, p73-89, 17p

Predmety: SOFTWARE engineering, COMPUTER software development, COMPUTER systems, SYSTEMS design, SYSTEMS development, COMPUTER software

ABSTRACTS from other ACM Publications.

Zdroj: Communications of the ACM; Jul1982, Vol. 25 Issue 7, p487-492, 6p

Predmety: SEQUENTIAL machine theory, REDUCED instruction set computers, MICROELECTRONICS, INTEGRATED circuits

Reviews & Products: COMMUNICATIONS of the ACM (Periodical)

Parallelism Detection Using Graph Labelling.

Autori: Telegin, P. N. Baranov, A. V. Shabanov, B. M. a ďalší

Zdroj: Lobachevskii Journal of Mathematics; Oct2022, Vol. 43 Issue 10, p2893-2900, 8p

Products of weighted logic programs.

Autori: COHEN, SHAY B. SIMMONS, ROBERT J. SMITH, NOAH A.

Zdroj: Theory & Practice of Logic Programming; 03/01/2011, Vol. 11 Issue 2/3, p263-296, 34p

Predmety: LOGIC programming, PROGRAM transformation, NATURAL language processing, ALGORITHMS, MATHEMATICAL optimization, MACHINE learning