HACL(ID:5032/hac001)Concurrent OO language based on linear logicConcurrent OO language based on linear logic According to Proj Yonizawa's retrosepctive, it was inspired by several triggers: "Formal Semantics of COOL Trinity of language research: - design, semantics and high performance implementation - design done, high performance implementation done No good previous semantics: - denotational semantics criticized by D. Scott - Agha transitional semantics not satisfied - Overwhelmed by ?Imperialism? of pi-calculus - fond of and familiar with Gentzen style sequent calculus - encountered with Girard Linear Logic - reviewed a French paper on Linear concurrent logic programming - suggested N. Kobayashi to use a fragment of Linear Logic for a new calculus" References: |