Two-level grammar as an implementable metalanguage for axiomatic semantics

Authors:
Barrett R Bryant;Balanjaninath Edupuganty;Lee S Hull
Affiliations:
-;-;-
Venue:
Computer Languages
Year:
1986

Citing 0
Cited 3

Laboratory activities for studying the formal semantics of programming languages

SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Dynamic semantic specification by two-level grammars for a block structured language with subroutine parameters

ACM SIGPLAN Notices
Two-level grammar: data flow English for functional and logic programming

CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science

Quantified Score

Hi-index	0.00

Visualization

Abstract