H ? « ‹ ← → › »

Language peer sets for WHILE:
Designed 2002 ↑
2000s languages ↑
Internet↑
New internationlism↑

WHILE(ID:6206/whi001)

alternate simple view
Designed 2002

Multiple-agent game-theoretical programming language
References:
  • Nielson, H. (1992) Nielson, H. R. and F. Nielson. Semantics with Applications. Wiley, 1992.
  • Pauly, Marc (2002) Pauly, Marc "Programming and Verifying Subgame Perfect Mechanisms" Abstract Online copy
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder