Diverse executable semantics definitions in NUSL and an implementation of functional types

Authors:
Xinjie Jiang;Yongsen Xu
Affiliations:
Dept. of Mathematics, Nanjing Normal University, Nanjing, CHINA;Dept. of Mathematics, Nanjing Normal University, Nanjing, CHINA
Venue:
ACM SIGPLAN Notices
Year:
1990

Principles of functional programming

Principles of functional programming
On the algebraic definition of programming languages

ACM Transactions on Programming Languages and Systems (TOPLAS)
NUSL: an executable specification language based on data abstraction

Proceedings of the 2nd VDM-Europe Symposium on VDM---The Way Ahead
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory

Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Algebraic Denotational Semantics Using Parameterized Abstract Modules

Proceedings of the International Colloquium on Formalization of Programming Concepts

Hi-index	0.00