ResearchIndex: Proof Theoretic Approach To Specification Languages

  Link Details for: ResearchIndex: Proof Theoretic Approach To Specification Languages

Link Title:	ResearchIndex: Proof Theoretic Approach To Specification Languages
Link URL:	http://citeseer.ist.psu.edu/chirimar95proof.html
Link Details:	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 ß cal
Category:	Top : Computers : Programming : Languages : Specification
Link Type:
ScreenShot: