Beyond PROLOG: software specification by grammar

Authors:
Walter W. Wilson
Affiliations:
The University of Texas at Arlington, Grapevine, Texas
Venue:
ACM SIGPLAN Notices
Year:
1982

Citing 7
Cited 0

A Sampler of Formal Definitions

ACM Computing Surveys (CSUR)
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

Communications of the ACM
The humble programmer

Communications of the ACM
Logic for Problem Solving

Logic for Problem Solving
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory

Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Logic and Data Bases

Logic and Data Bases
Mathematical specifications

ACM SIGPLAN Notices

Quantified Score

Hi-index	0.00

Visualization

Abstract