Search Results - (automatic OR automatizace) programming—program transformation general terms algorithms*

From Datalog rules to efficient programs with time and space guarantees

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

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

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

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

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

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

Fast Narrowing-Driven Partial Evaluation for Inductively Sequential Programs

Authors: J. Guadalupe Ramos The Pennsylvania State University CiteSeerX Archives

Contributors: J. Guadalupe Ramos The Pennsylvania State University CiteSeerX Archives

Source: http://www.dsic.upv.es/users/elp/german/icfp05/paper.pdf.

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.4892
http://www.dsic.upv.es/users/elp/german/icfp05/paper.pdf

Partial Redundancy Elimination in SSA Form

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

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

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

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

Availability: 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.

Authors: Ji, Ruyi Zhao, Yuwei Xiong, Yingfei 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)

Logic program proportions.

Authors: Antić, Christian

Source: Annals of Mathematics & Artificial Intelligence; Apr2025, Vol. 93 Issue 2, p321-342, 22p

Abstract Efficient Trust Management Policy Analysis from Rules ∗

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.sunysb.edu/~katia/HriTekLiu07.pdf.

Subject Terms: lists, queues, records, F.2 [Analysis of Algorithms and Problems Complexity, Nonnumerical Algorithms and Problems— computations on discrete structures, I.2.2 [Artificial Intelligence, Automatic Programming—Program transformation General Terms security, algorithms, languages, performance Keywords access control, policy analysis, security, algorithm, time

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.121.9016; http://www.cs.sunysb.edu/~katia/HriTekLiu07.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.121.9016
http://www.cs.sunysb.edu/~katia/HriTekLiu07.pdf

Simultaneous optimal system and controller design for multibody systems with joint friction using direct sensitivities.

Authors: Verulkar, Adwait Sandu, Corina Sandu, Adrian et al.

Source: Multibody System Dynamics; May2025, Vol. 64 Issue 1, p1-31, 31p

Analysis and Transformation of Constrained Horn Clauses for Program Verification.

Authors: DE ANGELIS, EMANUELE FIORAVANTI, FABIO GALLAGHER, JOHN P. et al.

Source: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p974-1042, 69p

Subject Terms: CONSTRAINT programming, LOGIC programming, PROGRAMMING languages, SYSTEMS software, PROGRAM transformation

ABSTRACTS from other ACM Publications.

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

Subject Terms: AUTOMATIC theorem proving, SPANNING trees, TREE graphs, PROOF theory

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Authors: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Subjects: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Energy-efficient Techniques in SDN: Software, Hardware, and Hybrid Approaches.

Authors: Verma, Vikas Jain, Manish

Source: Philippine Journal of Science; Feb2025, Vol. 154 Issue 1, p1-22, 22p

Subject Terms: ENERGY conservation, SOFTWARE-defined networking, ENERGY consumption, NETWORK performance, TRAFFIC flow

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Authors: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Subjects: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Today's TBB

Authors: Michael J. Voss James R. Reinders

Resource Type: eBook.

Subjects: Compilers (Computer programs), Computer programming, Algorithms, Artificial intelligence—Data processing

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms

ABSTRACTS from other ACM Publications.

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

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

Reviews & Products: COMMUNICATIONS of the ACM (Periodical)

Multi-Scale Information Collaborative Management Method in Hierarchical Construction Projects Based on Building Information Modeling.

Authors: Zhao, Xuefeng Yan, Wenkai Xia, Yu et al.

Source: Applied Sciences (2076-3417); Dec2024, Vol. 14 Issue 24, p12053, 29p

Subject Terms: BUILDING information modeling, INFORMATION resources management, CONSTRUCTION projects, DATA management, INFORMATION modeling, CONSTRUCTION project management

Evaluating Energy Efficiency and Optimal Positioning of Industrial Robots in Sustainable Manufacturing.

Authors: Ruzarovsky, Roman Horak, Tibor Bocak, Robert

Source: Journal of Manufacturing & Materials Processing; Dec2024, Vol. 8 Issue 6, p276, 36p

Subject Terms: INDUSTRIAL energy consumption, SUSTAINABILITY, CONSUMPTION (Economics), ENERGY consumption, ENERGY industries

ABSTRACTS from other ACM Publications.

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

Learning programs by learning from failures.

Authors: Cropper, Andrew Morel, Rolf

Source: Machine Learning; Apr2021, Vol. 110 Issue 4, p801-856, 56p

Subject Terms: INDUCTION (Logic), LOGIC programming

Energy-efficient Techniques in SDN: Software, Hardware, and Hybrid Approaches.

Authors: Verma, Vikas Jain, Manish

Source: Philippine Journal of Science; Feb2024, Vol. 153 Issue 1, p1-22, 22p

Subject Terms: ENERGY conservation, ENERGY consumption, NETWORK performance, TRAFFIC flow, RESEARCH personnel

A two-level vertex-searching global algorithm framework for bilevel linear fractional programming problems.

Authors: Chen, Hui-Ju

Source: Systems Science & Control Engineering; Dec2020, Vol. 8 Issue 1, p488-499, 12p

Subject Terms: ALGORITHMS, LINEAR programming, FRACTIONAL programming, BILEVEL programming, NONCONVEX programming, GLOBAL optimization