ResearchIndex: Proof Theoretic Approach To Specification Languages
Edit Page
Report
Scan day: 07 February 2014 UTC
15
Virus safety - good
Description: Thesis studies FORUM as specification language. FORUM is a higher order logic based on the logical connectives of Linear Logic. Initial example demonstrates that FORUM is well suited to specify concurrent computations by specifying the higher order ß calculus.
CiteSeerX — Proof Theoretic Approach To Specification Languages Proof Theoretic Approach To Specification Languages (1995) by Discussions Vijay Gehlot , Ramesh Subramanium , Anuj Dawar , Chuck Liang , Jawahar Lal Chirimar , Jawahar Lal Chirimar , Jawahar Lal Chirimar
Size: 269 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | CiteSeerX — Proof Theoretic Approach To Specification Languages |
| Keywords: | CiteSeerX, Discussions Vijay Gehlot, Ramesh Subramanium, Anuj Dawar, Chuck Liang, Jawahar Lal Chirimar, Jawahar Lal Chirimar, Jawahar Lal Chirimar |
| Description: | CiteSeerX - Document Details (Isaac Councill, Lee Giles, Pradeep Teregowda): PROOF THEORETIC APPROACH TO SPECIFICATION LANGUAGES Jawahar Lal Chirimar Advisor: Dale Miller In this thesis I study FORUM as a specification language. FORUM is a higher-order logic based on the logical connectives of Linear Logic. As an initial example, I demonstrate that FORUM is well suited for specifying concurrent computations by specifying the higherorder ß calculus. Next, I focus on the problem of specifying programming languages with higher-order functions, and imperative features such as assignable variables, exceptions and first-class continuations. I provide a modular and declarative specification of an untyped programming language, UML, which contains the above mentioned features. Further, I use the proof theory of FORUM to study program equivalence for the functional core of UML augmented with assignable variables. Using my compositional specifications in FORUM, I prove equivalence of programs that have been challenging for other specification languages. Finally I study t... |
| IP-address: | 130.203.136.95 |
WHOIS Info
| NS | Name Servers: NS1.PSU.EDU 128.118.25.6 NS2.PSU.EDU 128.118.70.6 |
| WHOIS | |
| Date | activated: 14-Jul-1986 last updated: 22-May-2013 expires: 31-Jul-2014 |