Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Extending an implementation language to a specification language

  • Conference paper
  • First Online:
Mathematical Studies of Information Processing

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 75))

  • 110 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Parnas, D.L., A technique for software module specification with examples, CACM 15,5 (May 1972), 330–336.

    Google Scholar 

  2. La Padula, L.J. and D.E. Bell, Secure computer systems; A mathematical model, Mitre Technical Report MTR-2547, Vol. II (31 May 1973).

    Google Scholar 

  3. Price, W.R., Implications of a virtual memory mechanism for implementing protection in a family of operating systems, Ph.D. Thesis, Carnegie-Mellon U. (June 1973).

    Google Scholar 

  4. Robinson, L. and O. Roubine, SPECIAL — A Specification and assertion language, Technical Report CSL-46, SRI International, Menlo Park (Jan. 1977). Special Reference Manual 3rd Edition Technical Report CSG-45 (January 1977).

    Google Scholar 

  5. Ambler, A., D.L. Good, et al, GYPSY: A language for specification and implementation of verifiable programs, Technical Report, U. of Texas at Austin (Jan. 1977).

    Google Scholar 

  6. Millen, J.K., Security kernel validation in practice, CACM 19, 5 (May 1976), 243–250.

    Google Scholar 

  7. Parnas, D.L., The use of precise specifications in the development of software, Information Processing 77 (B. Gilchrist, Ed.), North-Holland (1977), 861–867.

    Google Scholar 

  8. Guttag, J., Abstract data types and the development of data structures, SIGPLAN/SIGMOD Conference on Data, CACM 20, 6 (June 1977), 396–404.

    Google Scholar 

  9. Burstall, R.M. and J.A. Goguen, Putting theories together to make specifications, Proc. 5th International Joint Conference on Artificial Intelligence, Cambridge, MA (1977), 1045–1058.

    Google Scholar 

  10. Guttag, J.V., E. Horowitz and D.R. Musser, Abstract data types and software validation. Report ISI/RR-76-48, Information Sciences Institute Marina del Rey, CA. (1976).

    Google Scholar 

  11. Liskov, B.H. and V. Berzins, An appraisal of program specifications. Computation structures Group Memo 141-1, MIT, Cambridge, Mass. (1977).

    Google Scholar 

  12. Scott, D. and C. Strachey, Towards a mathematical semantics for computer languages, In Proc. Symp. on Computers and Automata, Brooklyn Polytechnic Institute, Microwave Res. Inst. Symposia Series, Vol. 21 (1972).

    Google Scholar 

  13. Lucas, P., K. Walk, et al, ULD Version II IBM Reports 1968; also On the formal description of PL/I, in Annual Review of Automatic Programming 6, New York, Pergamon (1970), 105–181.

    Google Scholar 

  14. Anderson, E.R., F.C. Belz and E.K. Blum, Issues in the formal specification of programming languages, Proc. IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, New Brunswick, Canada (Aug. 1977).

    Google Scholar 

  15. Anderson, E.R., F.C. Belz and E.K. Blum, SEMANOL (73) A metalanguage for programming the semantics of programming languages, Acta Informatica 6 (1976), 109–131.

    Google Scholar 

  16. Lampson, B.W., J.J. Horning, R.L. London, J.G. Mitchell and G.L. Popek, Report on the programming language EUCLID, SIGPLAN Notices 12,2 (Feb. 1977), 1–79.

    Google Scholar 

  17. Goguen, J.A., J.W. Thatcher, E.G. Wagner and J.B. Wright, "Abstract data-types as initial algebras and correctness of data representations," Proc. Conference on Computer Graphics, Pattern Recognition and Data Structures (May 1975).

    Google Scholar 

  18. Liskov, B.H. and S.N. Zilles, "Specification techniques for data abstractions," IEEE Transactions on Software Engineering, SE-1, 1 (March 1975), 7–18.

    Google Scholar 

  19. Goguen, J.A., J.W. Thatcher, and E.G. Wagner, An initial algebra approach to the specification, correctness and implementation of abstract data types, in Current Trends in Programming Methodology, IV: Data Structuring (R. Yeh, Ed.) Prentice Hall, N.J., also IBM Report RC-6487 (Oct. 76).

    Google Scholar 

  20. Majster, M.E., Limits of the algebraic specification of data types, SIGPLAN Notices 12 (1977), 37–42.

    Google Scholar 

  21. Lehman, D.J. and M.B. Smyth, Data Types, Proc. 18th IEEE Symp. on Foundations of Computing, Providence, R.I. (Nov. 77), 7–12.

    Google Scholar 

  22. Zilles, S.N., Abstract specifications for data types, IBM Research Report, San Jose (1975), (See also Project MAC Progress Report 1974).

    Google Scholar 

  23. Monk, J.D., Mathematical Logic, Springer-Verlag (1976).

    Google Scholar 

  24. Gratzer, G., Universal Algebra, VanNostrand (1968).

    Google Scholar 

  25. Blum, E.K., and N. Lynch, Efficient reducibility between programming systems (Preliminary Report), Proc. 9th Annual ACM Symp. on Theory of Computing, Boulder, Col. (1977), 228–238.

    Google Scholar 

  26. Blum, E.K., and D.R. Estes, A generalization of the homomorphism concept, Algebra Universalis (July 1977).

    Google Scholar 

  27. Thatcher, J.W., E.G. Wagner and J.B. Wright, Data type specification: parameterization and the power of specification techniques, Proc. 10th ACM Symp. on Theory of Computing, San Diego, Ca. (May 1978), 119–131.

    Google Scholar 

  28. Kernelized Secure Operating System Verification Plan, TRW Report prepared for Defense Advanced Research Projects Agency (April 1978).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. TRW Defense and Space Systems Group, USA

    E. R. Anderson

  2. University of Southern California and TRW, USA

    E. K. Blum

Authors
  1. E. R. Anderson
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. F. C. Belz
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. E. K. Blum
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

E. K. Blum M. Paul S. Takasu

Rights and permissions

Reprints and permissions

Copyright information

© 1979 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Anderson, E.R., Belz, F.C., Blum, E.K. (1979). Extending an implementation language to a specification language. In: Blum, E.K., Paul, M., Takasu, S. (eds) Mathematical Studies of Information Processing. Lecture Notes in Computer Science, vol 75. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-09541-1_35

Download citation

  • DOI: https://doi.org/10.1007/3-540-09541-1_35

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-09541-5

  • Online ISBN: 978-3-540-35010-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation