Browsing Computer Science Senior Integrated Projects by Author "Arney, David"

Now showing items 1-1 of 1

    • Developing a Modal Specification Language 

      Arney, David (2001)
      Meta-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 ...