Skip to main content
SpringerLink
Log in
Book cover

International Conference on Algorithmic Applications in Management

AAIM 2021: Algorithmic Aspects in Information and Management pp 344–355Cite as

Design and Implementation of List and Dictionary in XD-M Language

  • Conference paper
  • First Online:

  • 471 Accesses

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

Abstract

This paper presents the design and implementation of two data types, List and Dictionary, in the programming language XD-M. XD-M is an interpreted language with dynamic data types and its syntax is similar to Python. It is developed from the Modeling Simulation and Verification Language called MSVL. In the main part of the paper, we will discuss data structures, syntax and algorithms of List and Dictionary in XD-M, as well as their abstract syntax trees. Finally, an example is given to illustrate how to use List and Dictionary in XD-M programming.

This work was supported in part by the National Key Research and Development Program of China under Grant 2018AAA0103202, in part by the National Natural Science Foundation of China under Grants 62172322 and 61732013, and in part by the Key Science and Technology Innovation Team of Shaanxi Province under Grant 2019TD-001.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   69.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   89.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Duan, Z.: Temporal Logic and Temporal Logic Programming. Science Press, Beijing (2005)

    Google Scholar 

  2. Duan, Z., Tian, C.: A practical decision procedure for propositional projection temporal logic with infinite models. Theor. Comput. Sci. 554, 169–190 (2014)

    Article  MathSciNet  Google Scholar 

  3. Duan, Z., Tian, C., Zhang, N.: A canonical form based decision procedure and model checking approach for propositional projection temporal logic. Theor. Comput. Sci. 609, 544–560 (2016)

    Article  MathSciNet  Google Scholar 

  4. Rosner, R., Pnueli, A.: A choppy logic. In: Proceedings of the Symposium on Logic in Computer Science, Cambridge, pp. 306–313 (1986)

    Google Scholar 

  5. Bowman, H., Thompson, S.: A decision procedure and complete axiomatization of finite interval temporal logic with projection. J. Logic Comput. 13, 195–239 (2003)

    Article  MathSciNet  Google Scholar 

  6. Wang, X., Duan, Z., Zhao, L.: Formalizing and implementing types in MSVL. In: Proceedings of the International Workshop of Structured Object-Oriented Formal Language and Method, Queenstown, pp. 62–75 (2013)

    Google Scholar 

  7. Duan, Z., Yang, X., Koutny, M.: Framed temporal logic programming. Sci. Comput. Program. 70, 31–61 (2008)

    Article  MathSciNet  Google Scholar 

  8. Zhang, N., Duan, Z., Tian, C.: A mechanism of function calls in MSVL. Theor. Comput. Sci. 654, 11–25 (2016)

    Article  MathSciNet  Google Scholar 

  9. Mark, H., Andy, R.: Python Programming on Win32. O’Reilly & Associates Inc., Sebastopol (2000)

    Google Scholar 

  10. Python Homepage. https://www.python.org/

  11. Duan, Z., Tian, C., Zhang, N.: Normal form expressions of propositional projection temporal logic. In: Cai, Z., Zelikovsky, A., Bourgeois, A. (eds.) COCOON 2014. LNCS, vol. 8591, pp. 84–93. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-08783-2_8

    Chapter  Google Scholar 

  12. Valmari, A.: A stubborn attack on state explosion. Form. Method Syst. Des. 1, 297–322 (1992). https://doi.org/10.1007/BF00709154

    Article  MATH  Google Scholar 

  13. Burch, J., Clarke, E., McMillan, K., et al.: Symbolic model checking: \(10^{20}\) states and beyond. Inform. Comput. 98, 142–170 (1992)

    Article  MathSciNet  Google Scholar 

  14. Duan, Z., Tian, C.: A unified model checking approach with projection temporal logic. In: Liu, S., Maibaum, T., Araki, K. (eds.) ICFEM 2008. LNCS, vol. 5256, pp. 167–186. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-88194-0_12

    Chapter  Google Scholar 

  15. Biere, A., Cimati, A., Clarke, E., et al.: Bounded model checking. Adv. Comput. 58, 117–148 (2003)

    Article  Google Scholar 

  16. Zhang, N., Duan, Z., Tian, C.: Model checking concurrent systems with MSVL. Sci. China Inf. Sci. 59(11), 1–3 (2016). https://doi.org/10.1007/s11432-015-0882-6

    Article  Google Scholar 

  17. Clarke, E., Grumberg, O., Long, D.: Model checking and abstraction. ACM Trans. Progr. Lang. Syst. 16, 1512–1542 (1992)

    Article  Google Scholar 

  18. Tian, C., Duan, Z., Duan, Z.: Making CEGAR more efficient in software model checking. IEEE Trans. Softw. Eng. 40, 1206–1223 (2014)

    Article  Google Scholar 

  19. Godefroid, P., Wolper, P.: A partial approach to model checking. Inform. Comput. 110, 305–326 (1994)

    Article  MathSciNet  Google Scholar 

  20. Flex Homepage. https://github.com/westes/flex

  21. GNU Bison Homepage. http://www.gnu.org/software/bison/

Download references

Author information

Authors and Affiliations

  1. Institute of Computing Theory and Technology, and ISN Laboratory, Xidian University, Xi’an, 710071, China

    Yajie Wang, Nan Zhang & Zhenhua Duan

Authors
  1. Yajie Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nan Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Zhenhua Duan
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Nan Zhang or Zhenhua Duan .

Editor information

Editors and Affiliations

  1. The University of Texas at Dallas, Richardson, TX, USA

    Weili Wu

  2. Harbin Institute of Technology, Shenzhen, China

    Hongwei Du

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Wang, Y., Zhang, N., Duan, Z. (2021). Design and Implementation of List and Dictionary in XD-M Language. In: Wu, W., Du, H. (eds) Algorithmic Aspects in Information and Management. AAIM 2021. Lecture Notes in Computer Science(), vol 13153. Springer, Cham. https://doi.org/10.1007/978-3-030-93176-6_29

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-93176-6_29

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-93175-9

  • Online ISBN: 978-3-030-93176-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation