H ? « ‹ ← → › »

Language peer sets for FLANG:
Russian Federation↑
Russian Federation/1988↑
Designed 1988 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

FLANG(ID:5420/fla005)

constraint functional-logic language  

alternate simple view
Country: Russian Federation
Designed 1988

constraint functional-logic language

Andrei Mantsivoda; Mathematical Department, Irkutsk University

References:
  • Mantsivoda, A. (1988) Mantsivoda, A. Flang: the Main Ideas and Features. COLOG'88, Tallinn, 1988, Part II, 151-158.
  • Mantsivoda, A. (1992) Mantsivoda, A. "Flang: A Functional-Logic Language" p.257-270.
  • Mantsivoda, A.; Petukhin, V. (1992) Mantsivoda, A.; Petukhin, V. "Compiling Flang" pp286-293
          in [Proceedings] (1992) Proceedings of 2nd Russian Conference on Logic Programming, St.Petersburg, 1991, LNCS 592 Springer, 1992
  • Mantsivoda, A.; Petukhin. (1992) Mantsivoda, A.; Petukhin. V. Compiling Flang II. p.297-311.
          in Kastens, U. (1992) Kastens, U. and P. Pfahler (editors), Compiler Construction '92. LNCS 641, Springer-Verlag, 1992.
  • Abdrakhimov I. (1993) Abdrakhimov I. and A. Mantsivoda. Intelligent Backtracking in Flang. International Workshop on Constraint Processing at CSAM'93, St. Petersburg (ed. M. Meyer), DFKI Document D-93-14, p.215-221 DFKI Kaiserslautern, Germany.
          in Kastens, U. (1992) Kastens, U. and P. Pfahler (editors), Compiler Construction '92. LNCS 641, Springer-Verlag, 1992.
  • Mantsivoda, A. (1993) Mantsivoda, A. Flang and its Implementation. PLILP'93, Lecture Notes in Comp. Sci., 714, Springer, 1993, p.151-166.
          in Kastens, U. (1992) Kastens, U. and P. Pfahler (editors), Compiler Construction '92. LNCS 641, Springer-Verlag, 1992.
  • Mantsivoda, A.; Petukhin, V.; and A. Weimann. (1993) Mantsivoda, A.; Petukhin, V.; and A. Weimann. "Memory Management of Constraints in Flang" pp633-646
          in Proceedings of the 10th International Conference o (1993) Proceedings of the 10th International Conference on Logic Programming 1993, Budapest, Hungary (ed. by D.S.Warren), MIT Press, 1993
  • Mantsivoda. A. (1993) Mantsivoda. A. "Flang: an Artificial Intelligence Language" Kibernetika, 1993, No. 5, pp.350-367.
          in Proceedings of the 10th International Conference o (1993) Proceedings of the 10th International Conference on Logic Programming 1993, Budapest, Hungary (ed. by D.S.Warren), MIT Press, 1993
  • Mantsivoda, A. (1995) Mantsivoda, A. "Constraint Programming in Flang" System Informatics, Vol.4, Nauka, Novosibirsk, 1995, pp.118-159.
          in Proceedings of the 10th International Conference o (1993) Proceedings of the 10th International Conference on Logic Programming 1993, Budapest, Hungary (ed. by D.S.Warren), MIT Press, 1993
  • Abdrakhimov, I. (1996) Abdrakhimov, I. ; A. Mantsivoda. Positive Negation and the Completion Paradigm. Technical Report CW 234, June 1996, Katholieke Universiteit Leuven.
          in Proceedings of the 10th International Conference o (1993) Proceedings of the 10th International Conference on Logic Programming 1993, Budapest, Hungary (ed. by D.S.Warren), MIT Press, 1993
  • Mantsivoda, A. (1996) Mantsivoda, A. The Sigma-machine, its Soundness and Completeness. Technical Report CW 235, June 1996, Katholieke Universiteit Leuven
          in Proceedings of the 10th International Conference o (1993) Proceedings of the 10th International Conference on Logic Programming 1993, Budapest, Hungary (ed. by D.S.Warren), MIT Press, 1993
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder