Show simple item record

dc.contributor.advisorMcDowell, Raymond C.
dc.contributor.authorArney, David
dc.descriptioniv, 27 p.en_US
dc.description.abstractMeta-logical frameworks are used to create and analyze formal specifications of programming languages. This research builds upon McDowell and Miller's meta-logical framework FOƛ ∆N. FOƛ ∆N separates the meta-logic used for reasoning from the specification language in which the programming language is encoded. This separation adds a level of indirection that can make the specification cumbersome. The modal meta-logic we designed avoids this indirection by making the specification language a subset of the meta-logic, using a modal operator to distinguish the specification from statements about the specification. We prove that our logic's specification language subset is equivalent to first-order logic, the specification language used in FOƛ ∆N.en_US
dc.relation.ispartofSenior Individualized Projects. Computer Science.
dc.relation.ispartofKalamazoo College Computer Science Senior Individualized Projects Collection
dc.rightsU.S. copyright laws protect this material. Commercial use or distribution of this material is not permitted without prior written
dc.titleDeveloping a Modal Specification Languageen_US
KCollege.Access.ContactIf you are not a current Kalamazoo College student, faculty, or staff member, email to request access to this thesis.

Files in this item


This item appears in the following Collection(s)

  • Computer Science Senior Integrated Projects [237]
    This collection includes Senior Integrated Projects (SIP's) completed in the Computer Science Department. Abstracts are generally available to the public, but PDF files are available only to current Kalamazoo College students, faculty, and staff.

Show simple item record