Diverse executable semantics definitions in NUSL and an implementation of functional types
暂无分享,去创建一个
[1] Dana S. Scott,et al. Data Types as Lattices , 1976, SIAM J. Comput..
[2] Peter Henderson,et al. Functional programming - application and implementation , 1980, Prentice Hall International Series in Computer Science.
[3] Hugh Glaser,et al. Principles of functional programming , 1984 .
[4] Joseph A. Goguen,et al. Algebraic Denotational Semantics Using Parameterized Abstract Modules , 1981, ICFPC.
[5] Joseph E. Stoy,et al. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory , 1981 .
[6] Dines Bjørner,et al. The Vienna Development Method: The Meta-Language , 1978, Lecture Notes in Computer Science.
[7] Manfred Broy,et al. On the algebraic definition of programming languages , 1987, TOPL.
[8] XinJie Jiang,et al. NUSL: An Executable Specification Language Based on Data Abstraction , 1988, VDM Europe.