H ? « ‹ ← → › »

Language peer sets for TFL:
France↑
France/1996↑
Designed 1996 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

TFL(ID:5416/tfl001)

alternate simple view
Country: France
Designed 1996

for TASK Formal Language

Based on the algebraic language PLUSS

"In all the specification modules, the axioms are expressed by conditional positive equation built on atomic formula with the connectors: iff. The atomic formula are either equations or assertions on predicative terms using the constructions is defined, is true and isfalse"
Related languages
PLUSS → TFL   Based on
References:
  • Bidoit, M.,Gaudel, M. C., & Mauboussin, A. (1988) Bidoit, M.,Gaudel, M. C., & Mauboussin, A. "How to make algebraic specifications more understandable" Research report No. 439. LRI, Universit Paris Sud 1988
  • Pierret-Golbreich, C. and Talon, X. (1996) Pierret-Golbreich, C. and Talon, X. "TFL: An algebraic language to specify the dynamic behaviour of knowledge-based systems"
          in (1996) The Knowledge Engineering Review, 11(3) 1996
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder