Java bytecode compilation for high-performance, platform-independent logical inference.

DSpace/Manakin Repository

BEARdocs is currently undergoing a scheduled upgrade. We expect the upgrade to be completed no later than Monday, March 2nd, 2015. During this time you will be able to access existing documents, but will not be able to log in or submit new documents.

Show simple item record

dc.contributor.advisor Sturgill, David Brian. Arte, Ashish.
dc.contributor.other Baylor University. Dept. of Computer Science. 2005
dc.description.abstract Automated reasoning systems are powerful computer programs capable of solving complex problems. They are characterized as computationally intensive having high performance requirements. Very few reasoning systems have been implemented in Java so far; its performance is regarded as an impediment to its use as a programming language for computationally intensive applications such as automated reasoning. In this thesis we discuss techniques that motivate the use of Java as the underlying platform to design a framework for high-performance logical inference. The techniques are centered around the idea of using a specialized compiler that can generate Java classes which contain Java bytecodes customized for performing reasoning efficiently. The benefit of generating bytecodes customized for logical inference is reflected in the improved performance observed from the experiments conducted. en
dc.rights Baylor University theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. Contact for inquiries about permission. en
dc.subject Artificial intelligence -- Computer programs. en
dc.subject Java (Computer program language). en
dc.subject Logic. en
dc.subject Compiling (Electronic computers). en
dc.title Java bytecode compilation for high-performance, platform-independent logical inference. en
dc.type Thesis en M.S. en
dc.rights.accessrights Worldwide access. en
dc.contributor.department Computer Science. en

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search BEARdocs

Advanced Search


My Account