Informality in Program Specifications
Data up to Jan 2025
Total Citations Per Year
Abstract
References (12)
A relational model of data for large shared data banks
1970 • 4,964 citations
Abstraction mechanisms in CLU
1977 • 774 citations
PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems
1977 • 523 citations
Report on the programming language Euclid
1977 • 388 citations
An Introduction to the Construction and Verification of Alphard Programs
1976 • 322 citations
An Extendable Approach to Computer-Aided Software Requirements Engineering
1977 • 153 citations
Relational Data-Base Management Systems
1976 • 145 citations
The design of data type specifications
1976 • 110 citations
On the Transformational Implementation approach to programming
1976 • 82 citations
On programming : an interim report on the SETL Project
1973 • 67 citations
Abstraction mechanisms in CLU
1977 • 45 citations
Control Structure Abstractions of the Backtracking Programming Technique
1976 • 31 citations
Cited By (0)
No citing papers found in database