Algebraic Specification and Program Development by Stepwise Refinement
暂无分享,去创建一个
[1] Claudio V. Russo. Types for Modules , 2004, Electronic Notes in Theoretical Computer Science.
[2] Martin Hofmann,et al. On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic , 1995, Theor. Comput. Sci..
[3] Furio Honsell,et al. Pre-logical Relations , 1999, CSL.
[4] Donald Sannella. Formal program development in Extended ML for the working programmer , 1990 .
[5] Anne Elisabeth Haxthausen,et al. CASL - The CoFI Algebraic Specification Language (Tentative Design, version 0.95) - Language Summary, with annotations concerning the semantics of constructs , 1997 .
[6] H. Ehrig,et al. Equational Specifications and Algebras , 1985 .
[7] Donald Sannella,et al. The Definition of Extended ML: A Gentle Introduction , 1997, Theor. Comput. Sci..
[8] Kung-Kiu Lau,et al. Steadfast Logic Programs , 1999, J. Log. Program..
[9] Egidio Astesiano,et al. Algebraic Foundations of Systems Specification , 1999, IFIP State-of-the-Art Reports.
[10] David Aspinall,et al. Type systems for modular programs and specifications , 1997 .
[11] Martin Wirsing,et al. Algebraic Specification , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[12] Donald Sannella,et al. Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract) , 1989, TAPSOFT, Vol.2.
[13] Oliver Schoett,et al. Data abstraction and the correctness of modular programming , 1986 .
[14] Joseph A. Goguen,et al. Parameterized Programming , 1984, IEEE Transactions on Software Engineering.
[15] Peter D. Mosses,et al. CoFI: The Common Framework Initiative for Algebraic Specification and Development , 2001, Current Trends in Theoretical Computer Science.
[16] Donald Sannella,et al. Architectural Specifications in CASL , 1998, AMAST.
[17] Hans-Dieter Ehrich,et al. Specification of abstract data types , 1996 .
[18] Martin Wirsing,et al. Behavioural and Abstractor Specifications , 1995, Sci. Comput. Program..
[19] Furio Honsell,et al. Constructive Data Refinement in Typed Lambda Calculus , 2000, FoSSaCS.