TOAST

From KRRwiki

Jump to: navigation, search

Contents

Introduction

The Total Optimisation using Answer Set Technology (TOAST) project aims to:

  • create a practical, multi-platform toolchain that applies superoptimisation techniques to machine instruction programs
  • develop knowledge, experience and tools for applying answer set programming (ASP) to large-scale, real-world problems

It started in the summer of 2004 and involves the following people:

Publications

Downloads

We are very close to releasing TOAST v1. Full source code and documentation will be available to download here shortly.

References

H. Massalin. Superoptimizer: A Look at the Smallest Program. In Proceedings of the 2nd International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'87), pages 122-126, IEEE Computer Society Press, 1987.

Personal tools