• Corpus ID: 235694554

A Note on Exhaustive State Space Search for Efficient Code Generation

@article{Bik2021ANO,
  title={A Note on Exhaustive State Space Search for Efficient Code Generation},
  author={Aart J. C. Bik},
  journal={ArXiv},
  year={2021},
  volume={abs/2107.00564}
}
  • A. Bik
  • Published 24 June 2021
  • Computer Science
  • ArXiv
This note explores state space search to find efficient instruction sequences that perform particular data manipulations. Once found, the instruction sequences are hard-wired in the code generator that needs these data manipulations. Since state space is only searched while developing the compiler, search time is not at a premium, which allows exhaustively searching for the best possible instruction sequences. 

References

SHOWING 1-5 OF 5 REFERENCES
The birth of Prolog
TLDR
The history of this project is given and the preliminary and then the final versions of Prolog are described, including the Q-systems, which was a language which played a prominent part in Prolog's genesis.
Artificial Intelligence and the Design of Expert Systems
TLDR
Provides a thorough discussion of AI's theoretical foundations and advanced applications, including expert system design and knowledge-based programming, and should appeal to a broad audience.
Artificial Intelligence and the Design of Expert Systems. Benjamin-Cummings
  • 1989
The Software Vectorization Handbook: Applying Multimedia Extensions for Maximum Performance
  • 2004