Pages that link to "Item:Q1355365"
From MaRDI portal
The following pages link to The formal specification of abstract data types and their implementation in Fortran 90 (Q1355365):
Displaying 4 items.
- The formal specification of abstract data types and their implementation in Fortran 90: Implementation issues concerning the use of pointers (Q1294657) (← links)
- Recent trends in data type specification. 9th Workshop on Specification of abstract data types joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected papers (Q1326225) (← links)
- Specifying and automatically generating a specialization tool for Fortran 90 (Q1857313) (← links)
- Applying abstraction and formal specification in numerical software design (Q1903758) (← links)