Algebra-Based Loop Synthesis

被引：0

作者：

Humenberger, Andreas ^{[1
]}

Bjorner, Nikolaj ^{[2
]}

Kovacs, Laura ^{[1
]}

机构：

[1] TU Wien, Vienna, Austria

[2] Microsoft Res, Redmond, WA USA

来源：

INTEGRATED FORMAL METHODS, IFM 2020 | 2020年 / 12546卷

基金：

欧洲研究理事会;

关键词：

VERIFICATION;

D O I：

10.1007/978-3-030-63461-2_24

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We present a method for synthesizing loops over affine assignments from polynomial invariants. It is complete when the number of auxiliary variables is bounded, thus serving as a foundation for strength reduction optimization that convert polynomial expressions into incremental affine computations. Our work has applications towards synthesizing loops satisfying a given polynomial loop invariant, program verification, as well as generating number sequences from algebraic relations. To understand viability of the methodology and heuristics for synthesizing loops with a large number of auxiliary variables, we implement and evaluate the method using the Absynth tool.

引用

页码：440 / 459

页数：20

共 50 条

[41] No-frills physics: a concise study guide for algebra-based physics
Ardiansyah, Abd Aziz
Surya Atmaja, Devi Yulianty
McCluskey, Matthew D.
CONTEMPORARY PHYSICS, 2024, 65 (01) : 64 - 64
[42] Students' perceptions of case-reuse based problem solving in algebra-based physics
Mateycik, Fran
Hrepic, Zdeslav
Jonassen, David
Rebello, N. Sanjay
2007 PHYSICS EDUCATION RESEARCH CONFERENCE, 2007, 951 : 144 - +
[43] RcAMA - An Recursive Composition Algebra-based Framework for Detection of Multistage Attacks
Bopche, Ghanshyam S.
Rai, Gopal N.
Tiwari, Deepnarayan
2023 15TH INTERNATIONAL CONFERENCE ON COMMUNICATION SYSTEMS & NETWORKS, COMSNETS, 2023,
[44] A Linear Algebra-based Programming Interface for Graph Computations in Scala and Spark
Horn, William
Tanase, Gabriel
Yu, Hao
Pattnaik, Pratap
2017 IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW), 2017, : 653 - 659
[45] Algebra-based scalable overlay network monitoring: Algorithms, evaluation and applications
Chen, Yan
Bindel, David
Song, Han Hee
Katz, Randy H.
IEEE-ACM TRANSACTIONS ON NETWORKING, 2007, 15 (05) : 1084 - 1097
[46] Geometric Algebra-Based Multilevel Declassification Method for Geographical Field Data
Luo, Wen
Li, Dongshuang
Yu, Zhaoyuan
Wang, Yun
Yan, Zhengjun
Yuan, Linwang
ADVANCES IN COMPUTER GRAPHICS, CGI 2020, 2020, 12221 : 501 - 512
[47] Tensor algebra-based geometric methodology to codify central chirality on organic molecules
Garcia-Jacas, C. R.
Marrero-Ponce, Y.
Hernandez-Ortega, T.
Martinez-Mayorga, K.
Cabrera-Leyva, L.
Ledesma-Romero, J. C.
Aguilera-Fernandez, I.
Rodriguez-Leon, A. R.
SAR AND QSAR IN ENVIRONMENTAL RESEARCH, 2017, 28 (06) : 541 - 556
[48] Math remediation intervention for student success in the algebra-based introductory physics course
Forrest, Rebecca L.
Stokes, Donna W.
Burridge, Andrea B.
Voight, Carol D.
PHYSICAL REVIEW PHYSICS EDUCATION RESEARCH, 2017, 13 (02):
[49] Algebra-based students & vectors: can ijk coaching improve arrow subtraction?
Buncher, John B.
2018 PHYSICS EDUCATION RESEARCH CONFERENCE (PERC), 2019,
[50] Geometric algebra-based multi-criteria constrained maximal flow analysis
Key Laboratory of VGE, Ministry of Education, Nanjing Normal University, 1 Wenyuan Road, Nanjing 210023, China
不详
Wuhan Daxue Xuebao Xinxi Kexue Ban, 7 (862-868):

← 1 2 3 4 5 →