H ? « ‹ ← → › »

Language peer sets for MODEL:
Japan↑
Japan/1984↑
Designed 1984 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑

MODEL(ID:4911/mod011)

alternate simple view
Country: Japan
Designed 1984

Modelling language
Related languages
Prolog → MODEL   Influence
References:
  • Szymanski, B. ; N. Prywes; E. Lock ; A. Pnueli ; (1984) Szymanski, B. ; N. Prywes; E. Lock ; A. Pnueli ; "On the scope of static checking in definitional languages" Pp197-207 Abstract
          in (1984) Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge 1984
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder