H ? « »

Language peer sets for HACL:
Designed 1994
1990s languages
Fifth generation
Post-Cold War
Genus Linear
Experimental and other
Close mapping
Close mapping/1994
Close mapping/Japan
Experimental and other
Experimental and other/1994
Experimental and other/jp


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"

  • 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