H ? « »

Language peer sets for Cactus:
Designed 1998
1990s languages
New internationlism


alternate simple view
Country: Greece
Designed 1998

Branching-time programming language(branching rather than linear)

Related languages
Prolog Cactus   Extension of

  • Rondogiannis, Panos; Gergatsoulis, Manolis; Panayi (1997) Rondogiannis, Panos; Gergatsoulis, Manolis; Panayiotopoulos, Themis; "Cactus: A Branching-Time Logic Programming Language" pp511-524 pdf Abstract
          in Dov M. Gabbay, et al (1997) Dov M. Gabbay, et al "Qualitative and Quantitative Practical Reasoning" First International Joint Conference on Qualitative and Quantitative Practical Reasoning ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, Proceedings. Lecture Notes in Computer Science 1244 Springer 1997,
  • Rondogiannis, P., M. Gergatsoulis, et al. (1998) Rondogiannis, P., M. Gergatsoulis, et al. "Branching-time logic programming: the language Cactus and its applications" pdf Abstract
          in (1998) Computer Languages 24(3)
  • Gergatsoulis, M. (2000) Gergatsoulis, M. "Extensions of the branching-time logic programming language CACTUS" pp117-132
          in Gergatsoulis, M. (2000) Gergatsoulis, M. and P. Rondogiannis (editors), Intensional Programming II, pages 117-132, World Sientific, 2000
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder