Suchergebnisse - (automatic OR automation) programming—program transformation additional key work AND phrases

Polymorphic specialization for ML

Autoren: Simon Helsen Peter Thiemann Universität Freiburg et al.

Weitere Verfasser: Simon Helsen Peter Thiemann Universität Freiburg et al.

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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 Redundancy Elimination in SSA Form

Autoren: Robert Kennedy Sun Chan Shin-ming Liu et al.

Weitere Verfasser: Robert Kennedy Sun Chan Shin-ming Liu et al.

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

Schlagwörter: 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

Dateibeschreibung: 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

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

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

Autoren: Ji, Ruyi Zhao, Yuwei Xiong, Yingfei et al.

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

Schlagwörter: DECOMPOSITION method, PROGRAM transformation, SYNTAX (Grammar)

Partial Evaluation of Functional Logic Programs

Autoren: Maria Alpuente Moreno Falaschi German Vidal et al.

Weitere Verfasser: Maria Alpuente Moreno Falaschi German Vidal et al.

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

Schlagwörter: 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

Dateibeschreibung: 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

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

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).

Autoren: Porra, Jaana Hirschheim, Rudy Land, Frank et al.

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

Schlagwörter: SYSTEMS development, BUSINESS informatics, INFORMATION storage & retrieval systems, NARRATION

ABSTRACTS from other ACM Publications.

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

Schlagwörter: AUTOMATIC theorem proving, SPANNING trees, TREE graphs, PROOF theory

ABSTRACTS from other ACM Publications.

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

Schlagwörter: DATA compression, CODING theory, DATABASE management, COMPUTER industry, COMPUTER programming

Design Maintenance Systems.

Autoren: Baxter, Ira D.

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

Schlagwörter: SOFTWARE engineering, COMPUTER software development, COMPUTER systems, SYSTEMS design, SYSTEMS development, COMPUTER software

J-Orchestra: Enhancing Java Programs with Distribution Capabilities

Autoren: Eli Tilevich The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Eli Tilevich The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: 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

Dateibeschreibung: 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

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

Mitigating Program Security Vulnerabilities: Approaches and Challenges.

Autoren: Shahriar, Hossain Zulkernine, Mohammad

Quelle: ACM Computing Surveys; Jun2012, Vol. 44 Issue 3, p11-11:46, 46p, 6 Diagrams, 12 Charts

Schlagwörter: PROGRAMMING languages, COMPUTER security, COMPUTER programming, SOFTWARE engineering, COMPUTER software, COMPUTER science

Software Vulnerability Analysis and Discovery Using Machine-Learning and Data-Mining Techniques: A Survey.

Autoren: GHAFFARIAN, SEYED MOHAMMAD SHAHRIARI, HAMID REZA

Quelle: ACM Computing Surveys; Jul2018, Vol. 50 Issue 4, p56:1-56:36, 36p, 1 Diagram, 5 Charts, 1 Graph

Schlagwörter: COMPUTER software safety measures, MACHINE learning, ARTIFICIAL intelligence, DATA mining, DATABASE searching

Fifty Years of Prolog and Beyond.

Autoren: KÖRNER, PHILIPP LEUSCHEL, MICHAEL BARBOSA, JOÃO et al.

Quelle: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p776-858, 83p

Schlagwörter: LOGIC programming, PROGRAMMING languages, SWOT analysis, LEARNING

Products of weighted logic programs.

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

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

Schlagwörter: LOGIC programming, PROGRAM transformation, NATURAL language processing, ALGORITHMS, MATHEMATICAL optimization, MACHINE learning

From the Prototype to the Final Embedded System Using the Ocarina AADL Tool Suite.

Autoren: Get, Jerome Hugues Get, Bechir Zalila Get, Laurent Pautet et al.

Quelle: ACM Transactions on Embedded Computing Systems; Jul2008, Vol. 7 Issue 4, p42-42:25, 25p, 5 Diagrams, 1 Chart

Schlagwörter: EMBEDDED computer systems, RAPID prototyping, AUTOMATION, PROGRAMMING languages, SYSTEMS on a chip

CURRICULUM 68.

Autoren: Nauarro, Silvio O.

Quelle: Communications of the ACM; Mar1968, Vol. 11 Issue 3, p151-197, 47p

Schlagwörter: COMPUTER science, ACADEMIC programs, COMMITTEES, TECHNICAL specifications, CONTINUING education, HIGHER education

Firma/Körperschaft: ASSOCIATION for Computing Machinery

From Datalog Rules to Efficient Programs with Time and Space Guarantees.

Autoren: LIU, YANHONG A. STOLLER, SCOTT D.

Quelle: ACM Transactions on Programming Languages & Systems; Aug2009, Vol. 31 Issue 6, p21-21:38, 38p, 2 Diagrams, 7 Charts, 3 Graphs

Schlagwörter: DATA structures, INDEXING, PROGRAM transformation, RECURSION theory, ALGORITHMS, COMPUTATIONAL complexity

High-level specifications for automatically generating parallel code.

Autoren: Acosta, Alejandro Almeida, Francisco Peláez, Ignacio

Quelle: Concurrency & Computation: Practice & Experience; May2013, Vol. 25 Issue 7, p989-1012, 24p, 5 Diagrams, 8 Charts, 3 Graphs

Schlagwörter: CODING theory, COMPUTER systems, TECHNICAL specifications, GRAPHICS processing units, POWER Computing computers, COMPUTER architecture, COMPUTER programming

THE OPERATIONAL VERSUS THE CONVENTIONAL APPROACH TO SOFTWARE DEVELOPMENT.

Autoren: Zave, Pamela

Quelle: Communications of the ACM; Feb1984, Vol. 27 Issue 2, p104-118, 15p, 8 Diagrams, 3 Charts

Schlagwörter: COMPUTER software development, COMPUTER programming

Plant Intelligent Automation and Digital Transformation Volume II : MIS and HW-SW Implementation

Autoren: Swapan Basu

Resource Type: eBook.

Categories: TECHNOLOGY & ENGINEERING / Power Resources / Electrical

How to Reorganize Computational Science and Technologies?

Autoren: Il'in, V. P.

Quelle: Herald of the Russian Academy of Sciences; May2019, Vol. 89 Issue 3, p250-258, 9p