11 results on '"Gries, D."'
Search Results
2. Protection in Programming Languages.
3. Derived Semantics for Some Programming Language Constructs.
4. A Model for Type Checking.
5. Blocks--A New Datatype for SNOBOL4.
6. Toward an Understanding of Data Structures.
7. Proof of a Program: FIND.
8. On the Time Required for a Sequence of Matrix Products.
9. Adaptive Correction of Program Statements.
10. Index Ranges for Matrix Calculi.
11. Toward Automatic Program Synthesis.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.