论文信息 - Design and Implementation of List and Dictionary in XD-M Language - 字舞流文

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

Zhenhua Duan | Yajie Wang | Nan Zhang | Zhenhua Duan | Nan Zhang | Yajie Wang

[1] Zhenhua Duan,et al. Normal Form Expressions of Propositional Projection Temporal Logic , 2014, COCOON.

[2] Cong Tian,et al. A canonical form based decision procedure and model checking approach for propositional projection temporal logic , 2016, Theor. Comput. Sci..

[3] Zhenhua Duan,et al. A mechanism of function calls in MSVL , 2016, Theor. Comput. Sci..

[4] Liang Zhao,et al. Formalizing and Implementing Types in MSVL , 2013, SOFL+MSVL.

[5] Maciej Koutny,et al. Framed temporal logic programming , 2008, Sci. Comput. Program..

[6] Zhenhua Duan,et al. A Unified Model Checking Approach with Projection Temporal Logic , 2008, ICFEM.

[7] Zhenhua Duan,et al. Model checking concurrent systems with MSVL , 2016, Science China Information Sciences.

[8] Howard Bowman,et al. A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection , 2003, J. Log. Comput..

[9] Edmund M. Clarke,et al. Model checking and abstraction , 1994, TOPL.

[10] Pierre Wolper,et al. A Partial Approach to Model Checking , 1994, Inf. Comput..

[11] Cong Tian,et al. A practical decision procedure for Propositional Projection Temporal Logic with infinite models , 2014, Theor. Comput. Sci..