Skip to main content
Springer Nature Link
Log in

On the Stability Semantics of Combinational Programs

  • Conference paper
Theoretical Aspects of Computing – ICTAC 2005 (ICTAC 2005)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3722))

Included in the following conference series:

  • 518 Accesses

Abstract

In this paper we prove some properties of combinational programs which is an improvement of the results presented in our previous work. We prove the derivation of loop-programs for combinational ones by both event semantics and stability semantics. We give a normal form for syntactically well-formed combinational programs, and show that for them Dimitrov’s multiple parallel approach and Zhu’s shared store parallel approach are equivalent.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Gordon, M.: Event and Cycle Semantics of Hardware Description Languages. University of Cambridge Computer Laboratory (1998)

    Google Scholar 

  2. Hoare, C.A.R., et al.: Laws of Programming. Comm. of the ACM 30(8), 672–686 (1987)

    Article  MATH  MathSciNet  Google Scholar 

  3. Hoare, C.A.R., Jifeng, H.: Unifying Theory of Programming. Prentice-Hall International, Englewood Cliffs (1998)

    Google Scholar 

  4. Open VERILOG International. VERILOG Hardware Description Language Reference Manual, Version 1.0

    Google Scholar 

  5. Thomas, D.E., Mooby, P.R.: The VERILOG Hardware Description Language. Kluwer Academic Publishers, Dordrecht (1995)

    MATH  Google Scholar 

  6. Dung, T.V., JiFeng, H.: A Theory of Combinational Programs. UNU/IIST Report No 162

    Google Scholar 

  7. Dung, T.V., JiFeng, H.: A Theory of Combinational Programs. In: Proceedings, APSEC 2001, pp. 325–328 (2001)

    Google Scholar 

  8. Huibiao, Z., Bowen, J., JiFeng, H.: Deriving Operational Semantics from Denotational Semantics for Verilog. In: Proceedings, APSEC 2001, pp. 177–184 (2001)

    Google Scholar 

  9. Dimitrov, J.: Operational semantics for Verilog. In: Proceedings, APSEC 2001, pp. 161–168 (2001)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Hanoi University of Communication and Transport,  

    Tran Van Dung

Authors
  1. Tran Van Dung
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. College of Technology, Vietnam National University, Hanoi, Vietnam

    Dang Van Hung

  2. Institute of Computer Science, LMU Munich, Munich, Germany

    Martin Wirsing

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Van Dung, T. (2005). On the Stability Semantics of Combinational Programs. In: Van Hung, D., Wirsing, M. (eds) Theoretical Aspects of Computing – ICTAC 2005. ICTAC 2005. Lecture Notes in Computer Science, vol 3722. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11560647_12

Download citation

  • DOI: https://doi.org/10.1007/11560647_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-29107-7

  • Online ISBN: 978-3-540-32072-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics