H ? « ‹ ← → › »

Language peer sets for Manna and Waldinger 1971:
Designed 1971 ↑
1970s languages ↑
Third generation↑
High Cold War↑

Manna and Waldinger 1971(ID:8180/)

alternate simple view
Designed 1971

Deductive automatic programming system. Development of PROW and forerunner of TABLOG
Related languages
PROW → Manna and Waldinger 1971   Evolution of
Manna and Waldinger 1971 → TABLOG   Evolution of
References:
  • Manna, Zohar; Waldinger, Richard J. (1971) Manna, Zohar; Waldinger, Richard J. "Toward automatic program synthesis", Communications of the ACM, v.14 n.3, p.151-165, March 1971
  • Leavenworth and Sammet (1974) Leavenworth, Burt M.; Sammet, Jean E. "An overview of nonprocedural languages" pp1-12 Abstract Extract: Manna and Waldinger system
          in [VHLL 1974] (1974) Proceedings of the ACM SIGPLAN symposium on Very high level languages, March 28-29, 1974, Santa Monica, California, United States
  • Manna, Zohar and Waldinger, Richard (1979) Manna, Zohar and Waldinger, Richard "Synthesis: dreams of programs", iEEE Trans. Sofiw. Eng. SE-5, 4 (July 1979), 294-328.
          in [VHLL 1974] (1974) Proceedings of the ACM SIGPLAN symposium on Very high level languages, March 28-29, 1974, Santa Monica, California, United States
  • Manna, Zohar and Waldinger, Richard (1980) Manna, Zohar and Waldinger, Richard "A Deductive Approach to Program Synthesis" ACM Transactions on Programming Languages and Systems (TOPLAS) vol2(1) January 1980 pp 90-121 1980 Abstract Online copy
          in [VHLL 1974] (1974) Proceedings of the ACM SIGPLAN symposium on Very high level languages, March 28-29, 1974, Santa Monica, California, United States
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder