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 logic

alternate simple view

Country: 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:

Toshihiro Shimizu and Naoki Kobayashi (1994) Toshihiro Shimizu and Naoki Kobayashi "HACL Ver. 0.1 User's Manual" Department of Information Science University of Tokyo June 29, 1994

Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE ACM portal CiteSeer CSB ncstrl jstor Bookfinder