Home : Project Archive : Logicware
 

Inference System Integration via Logic Morphisms (Logicware)

David Espinosa, Principal Investigator
Dusko Pavlovic
James L. McDonald

Impact

• Compose and refine specifications written in different formalisms.
• Translate between formalisms.
• Interoperate inference tools including:
  • Compilers
  • Theorem provers
  • Program analyzers
  • Decision and semi-decision procedures

New Ideas

• Implement the theory of logics and logic morphisms, due to Meseguer (1989).
• Build a heterogeneous category of specifications in multiple logics.
• Build the above category in a modular way from individual logics and logic morphisms.

Here's an HTML slide show describing the project's technical material.

Here's the original Powerpoint.

- Back to Top -

- Home - About Kestrel - Research Staff - Current Projects - Project Archive -
- Publications - Technology Transfer - Career Opportunities - Contact Kestrel -