Victor R. Basili

Available identifiers

zbMath Open basili.victor-rMaRDI QIDQ2729924

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4672993	2005-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q4444597	2004-01-27	Paper
https://portal.mardi4nfdi.de/entity/Q4444619	2004-01-27	Paper
https://portal.mardi4nfdi.de/entity/Q2729926	2001-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q4886731	1996-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q3993109	1993-01-23	Paper
Generalizing specifications for uniformly implemented loops	1985-01-01	Paper
A Heuristic for Deriving Loop Functions	1984-01-01	Paper
Understanding and Documenting Programs	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3949952	1982-01-01	Paper
A Comparison of the Axiomatic and Functional Models of Structured Programming	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4127370	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4136492	1976-01-01	Paper
A transportable extendable compiler	1975-01-01	Paper
A structured approach to language design	1975-01-01	Paper
On a programming language for graph algorithms	1972-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Victor R. Basili