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

DOI10.1016/0010-4655(96)00093-8zbMath0938.68718OpenAlexW2066744212MaRDI QIDQ1294657

D. Maley, E. W. Schreiner, N. S. Scott, P. L. Kilpatrick, Geerd H. F. Diercksen

Publication date: 26 April 2000

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

Full work available at URL: https://doi.org/10.1016/0010-4655(96)00093-8

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

IMAS. Integrated modeling and analysis system for the solution of optimal control problems

Cites Work

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

This page was built for publication: The formal specification of abstract data types and their implementation in Fortran 90: Implementation issues concerning the use of pointers