H ? « ‹ ← → › »

Language peer sets for V:
United States↑
United States/1981↑
Designed 1981 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑
Genus Definition languages ↑
Specialised Languages ↑
Definition languages↑
Language-related↑
Content-reflexive ↑
Definition languages/1981↑
Language-related/1981↑
Content-reflexive/1981↑
Definition languages/United States↑
Language-related/United States↑
Content-reflexive/United States↑
Specialised Languages ↑
Specialised Languages/1981↑
Specialised Languages/us ↑

V(ID:1130/v::001)

alternate simple view
Country: United States
Designed 1981
Published: 1985
Genus: Definition languages
Sammet category: Specialised Languages

A wide spectrum language, based on Pascal and translating into LISP.

Used in the knowledge-based environment CHI, (the forerunner of Refine)
Related languages
CHI → V   Subsystem
References:
  • Green, C. C. (1976) Green, C. C. "The design of the PSI program synthesis system," in Proc. 2nd Int. Conf Software Eng., San Francisco, CA, 1976, pp. 4-18.
  • Green, C. C.; Gabriei, R. P.; Kant, E.; Kedzierski (1979) Green, C. C.; Gabriei, R. P.; Kant, E.; Kedzierski, B.; McCune, B. P.; Phiiiips, J.; Tappei, S. and Westfoid, S. J. "Results in knowledge-based program synthesis," Proc. 6th Int. Joint Conf Artif Intell., Tokyo, Japan, Aug. 20-23, 1979.
  • Green et al., C. (1981) Green et al., C. "Research on knowledge-based programming and algorithm design -- 1981," Kestrel Inst., Palo Alto, CA, 1981.
  • Green, C. C.; Phillips, J.; Westfold, S. J. T. Pr (1981) Green, C. C.; Phillips, J.; Westfold, S. J. T. Pressburger, B. Kedzierski, S. Angebranndt, B. Mont-Reynaud, and S. Tappei, "Research on .knowledge-based programming and algorithm design -- 1981," Tech. Rep. KES.U.81.2, Kestrel, Inst., Palo Alto, CA, Aug. 1981
  • Green and Westfold (1982) Green, C. C. and S. J. Westfold, "Knowledge-based programming self-applied"
          in Machine Intelligence 10, J.E. (1982) Machine Intelligence 10, J.E. Hayes, Donald Michie, and Y-H. Pao, editors, Ellis Horwood Ltd., Chicester, England, 1982.
  • Green, C. C.; Luckham, D.; Balzer, R.; Cheatham, T (1983) Green, C. C.; Luckham, D.; Balzer, R.; Cheatham, T. and C. Rich, "Report on a knowledge-based software assistant," Rome Air Develop. Cen., Rome, NY, RADC Rep. RADC-TR-195 (also Kestrel Inst. Rep. KES.U.83.2), Aug. 1983
          in Machine Intelligence 10, J.E. (1982) Machine Intelligence 10, J.E. Hayes, Donald Michie, and Y-H. Pao, editors, Ellis Horwood Ltd., Chicester, England, 1982.
  • Green, C. C.; R. Balzer, and T. Cheatham, (1983) Green, C. C.; R. Balzer, and T. Cheatham, "Software technology in the 1990's using a new paradigm," Computer, Nov. 1983.
          in Machine Intelligence 10, J.E. (1982) Machine Intelligence 10, J.E. Hayes, Donald Michie, and Y-H. Pao, editors, Ellis Horwood Ltd., Chicester, England, 1982.
  • D.R. Smith et al, (1985) D.R. Smith et al, "Research on Knowledge-Based Software Environments at Kestrel Institute" Abstract Extract: Introduction Extract: Rationale for the design of CHI Extract: the V Language Extract: The PSI Project Extract: Related Research Systems Extract: Concluding remarks
          in (1985) IEEE Transactions on Software Engineering, November 1985
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder