article · 2008

Using Aspect-Oriented Programming in the Development of a Multi-strategy Theorem Prover

Adolfo Gustavo, Serra Seca Neto, Marcelo Finger

Cited by 0Abstract and details only

Abstract

When a computer program is written to implement a nondeterministic algorithm, it must have a strategy for choosing the next step that is going to be performed. Automated Theorem Provers (ATP’s) usually implement nondeterministic algorithms, therefore the representation of strategies is a very important part of their design. A multi-strategy theorem prover is an ATP where we can vary the strategy without modifying the implementation. In this paper we present some remarks towards the development of an aspect-oriented multi-strategy prover. 1

Cite this paper

APA 7

Gustavo, A., Neto, S. S., & Finger, M. (2008). Using Aspect-Oriented Programming in the Development of a Multi-strategy Theorem Prover.

MLA 9

Gustavo, Adolfo, et al. “Using Aspect-Oriented Programming in the Development of a Multi-strategy Theorem Prover.” 2008.

Chicago

Gustavo, Adolfo, Serra Seca Neto, and Marcelo Finger. 2008. “Using Aspect-Oriented Programming in the Development of a Multi-strategy Theorem Prover.”

Harvard

Gustavo, A., Neto, S.S. and Finger, M. (2008) ‘Using Aspect-Oriented Programming in the Development of a Multi-strategy Theorem Prover’.

BibTeX

@article{gustavo2008using,
  title = {{Using Aspect-Oriented Programming in the Development of a Multi-strategy Theorem Prover}},
  author = {Gustavo, Adolfo and Neto, Serra Seca and Finger, Marcelo},
  year = {2008}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.