H ?
«
‹
←
→
›
»
Language peer sets for HACL: Japan↑ Japan/1994↑ Designed 1994 ↑ 1990s languages ↑ Fifth generation↑ Post-Cold War↑ Genus Linear ↑ Experimental and other ↑ Linear↑ Logic-reflexive↑ Close mapping ↑ Linear/1994↑ Logic-reflexive/1994↑ Close mapping/1994↑ Linear/Japan↑ Logic-reflexive/Japan↑ Close mapping/Japan↑ Experimental and other ↑ Experimental and other/1994↑ Experimental and other/jp ↑ HACL(ID:5032/hac001)Concurrent OO language based on linear logicalternate simple viewCountry: Japan Designed 1994 Genus: Linear Sammet category: Experimental and other Concurrent 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: Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |