タイトル | Open architectures for formal reasoning and deductive technologies for software development |
本文(外部サイト) | http://hdl.handle.net/2060/19950010171 |
著者(英) | Manna, Zohar; Pnueli, Amir; Mccarthy, John; Talcott, Carolyn; Waldinger, Richard; Mason, Ian |
著者所属(英) | Stanford Univ. |
発行日 | 1994-07-31 |
言語 | eng |
内容記述 | The objective of this project is to develop an open architecture for formal reasoning systems. One goal is to provide a framework with a clear semantic basis for specification and instantiation of generic components; construction of complex systems by interconnecting components; and for making incremental improvements and tailoring to specific applications. Another goal is to develop methods for specifying component interfaces and interactions to facilitate use of existing and newly built systems as 'off the shelf' components, thus helping bridge the gap between producers and consumers of reasoning systems. In this report we summarize results in several areas: our data base of reasoning systems; a theory of binding structures; a theory of components of open systems; a framework for specifying components of open reasoning system; and an analysis of the integration of rewriting and linear arithmetic modules in Boyer-Moore using the above framework. |
NASA分類 | COMPUTER PROGRAMMING AND SOFTWARE |
レポートNO | 95N16586 NASA-CR-197528 NAS 1.26:197528 |
権利 | No Copyright |