H ? « ‹ ← → › »

Language peer sets for RDL:
United States↑
United States/1991↑
Designed 1991 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

RDL(ID:7119/rdl004)

alternate simple view
Country: United States
Designed 1991
References:
  • Gabbay, Dov; Hodkinson, Ian; Hunter, Anthony (1991) Gabbay, Dov; Hodkinson, Ian; Hunter, Anthony "Using the temporal logic RDL for design specifications" pp64-78
          in [Proceedings] (1991) Proceedings of the UK/Japan workshop on Concurrency : theory, language, and architecture Oxford, United Kingdom Springer-Verlag New York, Inc 1991 New York, NY, USA
  • Tuzhilin, Alexander (1995) Tuzhilin, Alexander "Templar: a knowledge-based language for software specifications using temporal logic" ACM Transactions on Information Systems (TOIS) 13(03) July 1995 pp269-304 Extract: RDL
          in [Proceedings] (1991) Proceedings of the UK/Japan workshop on Concurrency : theory, language, and architecture Oxford, United Kingdom Springer-Verlag New York, Inc 1991 New York, NY, USA
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder