H ? « ‹ ← → › »

Language peer sets for CIRCAL:
Designed 1985 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

CIRCAL(ID:1132/cir001)

alternate simple view
Designed 1985
Published: 1985

circal
References:
  • Dertouzas, M. L., and C. W. Therrien, (1966) Dertouzas, M. L., and C. W. Therrien, "CIRCAL, on-line analysis of electronic networks" Tech Rep. ESL-R-248, Oct. 1966, MIT, Cambridge, Mass
  • Dertouzas, M. L., and C. W. Therrien, (1967) Dertouzas, M. L., and C. W. Therrien, "CIRCAL, on-line analysis of electronic networks" Proc, IEEE 1967 pp637-654
  • Milne, G. (1983) Milne, G. "CIRCAL: A calculus for circuit description" pp121-160
          in (1983) INTEGRATION, the VLSIJournal 1(2/3) 1983
  • Milne, G. (1983) Milne, G. "The correctness of a simple silicon compiler"
          in Proceedings 6th Int. (1983) Proceedings 6th Int. Symp. Computer Hardware Description Languages and Their Applications (Pittsburgh, Pa., May 1983), Elsevier North-Holland, New York.
  • Milne, George J. (1983) Milne, George J. "Description and Analysis Using Circal" The Analysis of Concurrent Systems September 1983
          in Proceedings 6th Int. (1983) Proceedings 6th Int. Symp. Computer Hardware Description Languages and Their Applications (Pittsburgh, Pa., May 1983), Elsevier North-Holland, New York.
  • Milne, George J. (1984) Milne, George J. "A model for hardware description and verification"
          in (1984) 21st Proceedings of the Design Automation Conference on Design automation June 1984
  • Milne, G.J. (1985) Milne, G.J. "CIRCAL and the Representation of Communication, Concurrency and Time", pp270-298 Abstract DOI
          in TOPLAS 7(2) April 1985 Lecture Notes in computer (1985) TOPLAS 7(2) April 1985 Lecture Notes in computer science Vol. 174
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder