The formal specification of abstract data types and their implementation in Fortran 90

DOI10.1016/0010-4655(94)90212-7zbMath0874.68040OpenAlexW2171035674MaRDI QIDQ1355365

D. Maley, P. L. Kilpatrick, N. S. Scott

Publication date: 27 May 1997

Published in: Computer Physics Communications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0010-4655(94)90212-7

zbMATH Keywords

Fortran 90abstract data types

Mathematics Subject Classification ID

Theory of programming languages (68N15) Data structures (68P05)

Related Items (1)

The formal specification of abstract data types and their implementation in Fortran 90: Implementation issues concerning the use of pointers

Uses Software

• Z

Cites Work

• Abstract data types and the development of data structures
• Programming as a Discipline of Mathematical Nature
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The formal specification of abstract data types and their implementation in Fortran 90