Advertisement

Introduction and general philosophy

Chapter
Part of the Lecture Notes in Computer Science book series (LNCS, volume 151)

Keywords

Type Family Activity Segment Hardware Description Language Type Segment Hardware Module 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

6. References

  1. 1.
    R. Piloty, M. Barbacci, D. Borrione, D. Dietmeyer, F. Hill, P. Skelly: “CONLAN — A Formal Construction Method for Hardware Description Langauges: Basic Principles”, Proceedings National Computer Conference, Volume 49, Anaheim, California, 1980.Google Scholar
  2. 2.
    R. Piloty, M. Barbacci, D. Borrione, D. Dietmeyer, F. Hill, Pl. Skelly: “CONLAN — A Formal Construction Method for Hardware Description Languages: Language Derivation”, Proceedings National Computer Conference, Volume 49, Anaheim, California, 1980.Google Scholar
  3. 3.
    R. Piloty, M. Barbacci, D. Borrione, D. Dietmeyer, F. Hill, P. Skelly: “CONLAN — A Formal Construction Method for Hardware Description Languages: Language Application”, Proceedings National Computer Conference, Volume 49, Anaheim, California, 1980.Google Scholar
  4. 4.
    R. Piloty, M. Barbacci, D. Borrione, D. Dietmeyer, F. Hill, P. Skelly: “A Overview of CONLAN: A Formal Construction Method for Hardware Description Languages”, Proc. IFIP Congress 1980, Tokyo Melbourne, October 1980.Google Scholar
  5. 5.
    R. Piloty, D. Borrione: “The CONLAN Project: Status and Future Plans”, Proc. of the 19th ACM, IEEE Design Automation Conference, Las Vegas, Nevada, June 1982.Google Scholar
  6. 6.
    M.R. Barbacci: “A Comparison of Register Transfer Languages for Describing Computers and Digital Systems”, IEEE Computer Socieyt, Transactions on Computers, Volume C-24, Number 2, February 1975.Google Scholar
  7. 7.
    Special issue on Hardware Description Languages, IEEE Computer Society, Computer, Vol. 7, No. 12, Dec. 1974Google Scholar
  8. 8.
    Proceedings of the 2nd International Symposium on Computer Hardware Description Languages, Darmstadt, ACM German Chapter Lectures W-1974.Google Scholar
  9. 9.
    Proceedings of the 3rd International Symposium on Computer Hardware Description Languages and their Applications, New-York Sept. 3.–5., 1975, IEEE Cat. No. 75 CH1010-8CGoogle Scholar
  10. 10.
    Proceedings of the 4th International Symposium on Computer Hardware Description Languages, Palo Alto, Oct. 8–9, 1979 IEEE Cat. No. 79 CH1436-5CGoogle Scholar
  11. 11.
    Special issue on Hardware Description Languages, IEEE Computer Society, Computer, Vol. 10, No. 6, June 1977Google Scholar
  12. 12.
    Collection of Proceedings of the IEEE, ACM Design Automation Conference.Google Scholar
  13. 13.
    Collection of Proceedings of the Fault Tolerant Computing Symposia.Google Scholar
  14. 14.
    R. Piloty: "Guidelines for a Computer Hardware Description Consensus Language" (2nd draft), Memorandum to the Conference on Digital Hardware Languages, June 6, 1976Google Scholar
  15. 15.
    P. Lucas, K. Walk: "On the Formal Description of PL/l", Annual Review of Automatic Programming, Vol. 6, part 3, 1969.Google Scholar
  16. 16.
    J. Mermet: “Etude methodologique de la Conception Assistee par Ordinateur des systemes logiques: CASSANDRE”, These d'Etat, USMG, Grenoble, France, April 1973Google Scholar
  17. 17.
    B. Liskov, S. Zilles: “rProgramming with Abstract Data Types”, SIGPLAN Notices 9, pp 50–59, April 1974Google Scholar
  18. 18.
    W.A. Wulf, R.L. London, M. Shaw: “Abstraction and Verification in ALPHARD”, Technical Report, Department of Computer Science, Carnegie-Mellon University, March 1976Google Scholar
  19. 19.
    D. Borrione, J.F. Grabowiecki: “Informal Introduction to LASSO: a Language for Asynchronous Systems Specification and simulation”, Proc. EURO IFIP 79, London, September 1979Google Scholar
  20. 20.
    D. Borrione: “The Worker Model of Evaluation for Computer Description Languages”, Proc. 5th Intl'l Symposium on CHDL 81, North Holland Publ. Comp.Google Scholar
  21. 21.
    D. Borrione: “Langages de Description de Systems Logiques: Proposisions pour une methode formelle de definition”, These d'Etat, USMG INPG, Grenoble, France, July 1981Google Scholar
  22. 22.
    C. Hewitt, H. Baker: “Actors and Continuous Functionals”, IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, New Brunswick, Canada, August 1–5, 1977Google Scholar
  23. 23.
    C. Hewitt, H. Baker: “Laws for Communicating Parallel Processes”, Proc. IFIP-77, Toronto, Canada, August 8–12, 1977Google Scholar
  24. 24.
    C. Hewitt: “Viewing Control Structures as Patterns of Passing Messages”, Artificial Intelligence, Vol. 8 No. 3 (June 1977), pp 323–364CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1983

Personalised recommendations