Generating Optimal Code Using Answer Set Programming

被引：1

作者：

Crick, Tom ^{[1
]}

Brain, Martin ^{[1
]}

De Vos, Marina ^{[1
]}

Fitch, John ^{[1
]}

机构：

[1] Univ Bath, Dept Comp Sci, Bath BA2 7AY, Avon, England

来源：

LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS | 2009年 / 5753卷

关键词：

D O I：

10.1007/978-3-642-04238-6_57

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

This paper presents the Total Optimisation using Answer Set Technology (TOAST) system, which can be used to generate optimal code sequences for machine architectures via if technique known as superoptimisation. Answer set programming (ASP) is utilised as the modelling and computational framework for searching over the large. complex search spaces and for proving the functional equivalence of two code sequences. Experimental results are given showing the progress made in solver performance over the previous few years, along with an Outline Of future developments to the system and applications within compiler toolchanis.

引用

页码：554 / 559

页数：6

共 50 条

[21] Symbolic System Synthesis Using Answer Set Programming
Andres, Benjamin
Gebser, Martin
Schaub, Torsten
Haubelt, Christian
Reimann, Felix
Glass, Michael
[J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), 2013, 8148 : 79 - 91
[22] Using Answer Set Programming for Solving Boolean Games
De Clercq, Sofie
De Cock, Martine
Banters, Kim
Schockaert, Steven
Nowe, Ann
[J]. FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 602 - 605
[23] Explaining Object Motion Using Answer Set Programming
Wotawa, Franz
Klampfl, Lorenz
[J]. FOUNDATIONS OF INTELLIGENT SYSTEMS (ISMIS 2020), 2020, 12117 : 298 - 307
[24] Inferring Phylogenetic Trees Using Answer Set Programming
Daniel R. Brooks
Esra Erdem
Selim T. Erdoğan
James W. Minett
Don Ringe
[J]. Journal of Automated Reasoning, 2007, 39
[25] Automatic music composition using answer set programming
Boenn, Georg
Brain, Martin
De Vos, Marina
Ffitch, John
[J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2011, 11 : 397 - 427
[26] Synthesizing Concurrent Programs Using Answer Set Programming
De Angelis, Emanuele
Pettorossi, Alberto
Proietti, Maurizio
[J]. FUNDAMENTA INFORMATICAE, 2012, 120 (3-4) : 205 - 229
[27] Analyzing XACML policies using answer set programming
Mohsen Rezvani
David Rajaratnam
Aleksandar Ignjatovic
Maurice Pagnucco
Sanjay Jha
[J]. International Journal of Information Security, 2019, 18 : 465 - 479
[28] Land Evaluation Configuration using Answer Set Programming
Karamesouti, Mina
Tignon, Etienne
[J]. 27TH AGILE CONFERENCE ON GEOGRAPHIC INFORMATION SCIENCE GEOGRAPHIC INFORMATION SCIENCE FOR A SUSTAINABLE FUTURE, 2024, 5
[29] On Requirements Representation and Reasoning using Answer Set Programming
Padget, Julian
Elakehal, Emad Eldeen
Satoh, Ken
Ishikawa, Fuyuki
[J]. 2014 IEEE 1ST INTERNATIONAL WORKSHOP ON ARTIFICIAL INTELLIGENCE FOR REQUIREMENTS ENGINEERING (AIRE), 2014, : 35 - 42
[30] Answer Sets and the Language of Answer Set Programming
Lifschitz, Vladimir
[J]. AI MAGAZINE, 2016, 37 (03) : 7 - 11

← 1 2 3 4 5 →