Zusammenfassung
Ziel des OBSCURE-Projekts ist die Herstellung einiger Software-Werkzeuge für die Programmentwicklung. Diese Werkzeuge beruhen insbesondere auf der Spezifikation abstrakter Datentypen sowie auf der formalen Verifikation von Programmen. Der vorliegende Artikel stellt das Projekt in groben Zügen dar.
Dieses Projekt wird teilweise von der Deutschen Forschungsgemeinschaft unterstützt
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
K. H. Blasius and H.-J. Bürckert, editors. Deduktion Systeme. Oldenbourg, 1987
M. Bidoit, C. Choppy, and F. Voisin. The ASSPEGIQUE specification environment — Motivations and design. Int. Rep., Univ. Paris-Sud, October 1985
S. Biundo, B. Hummel, D. Hutter, and C. Walther. The Karlsruhe induction theorem proving system. In Jörg H. Siekmann, editor, 8th International Conference on Automated Deduction, LNCS 230, Oxford, England, 1986
R. Cartwright. A constructive alternative to abstract data type definitions. Proc. 1980 LISP Conf. Stanford Univ., 46–55, 1980
K. Futatsugi, J.A. Goguen, J.P. Jouannaud, J. Meseguer. Principles of OBJ2. Proc. 12th ACM POPL-Conf., 1985.
J. Fuchs, A. Hoffmann, J. Loeckx, L. Meiss, J. Philippi, and J. ZeyerBenutzerhandbuch des OBSCURE-Systems — Teil 1: Der Editor. Int. Rep. (WP) 88/05, Univ. Saarbrücken, 1987
J.A. Goguen, J.W. Thatcher, and E.G. Wagner. An initial algebra approach to the specification, correctness and implementation of abstract data types. In R. Yeh, editor, Current Trends in Programming Methodology IV, pages 80–149, Prentice-Hall, 1978
C.A.R. Hoare. Proof of correctness of data representations. Acta Informatica, 1(4):271–281, 1972
J.C. King. A program verifier. In Information processing 71, pages 234–249, IFIP, 1971
P. Lescanne. REVE a rewrite rule laboratory. In 8th International Conference on Automated Deduction, pages 695–696, LNCS 230, 1986.
The CIP language group. The Munich Project CIP — Vol. I: The wide spectrum language CIP-L. LNCS 183, 1985
B. Liskov and J. Guttag. Abstraction and specification in program development. The MIT Electrical Engin, and Comp. Sc. Series, McGraw-Hill, 1986
J. Loeckx and T. Lehmann. The specification language of OBSCURE. In D. Sannella, A. Tarlecki (eds.), Recent Trends in Abstract Data Type Specifications. LNCS, to appear
J. Loeckx. Algorithmic specifications of abstract data types. In Proceedings ICALP 81, pages 129-147, LNCS 115, 1981.
J. Loeckx. Algorithmic specifications: a constructive specification method for abstract data types. ACM Transactions on Programming Languages and Systems, 9(4):646’685, 1987
H.-W. Moritz and B. Tybussek. Computersoftware: Rechtsschutz und Vertragsgestaltung. Verlag C.H. Beck, München, 1986
W. Olthoff. The connection between applicative and procedural languages in an integrated software development and verification system. PhD thesis, Univers, Kaiserslautern, January 1987
W. Polak. An exercise in automatic program verification. IEEE Transactions on Software Engineering, 5(5), 1979
Karl Mark G. Raph. The Markgraf Karl Refutation Procedure. SEKI MEMO MK-84-01, Universität Kaiserslautern, 1984
Stanford PASCAL Verifier User Manual. Stanford Verification Group, Computer Science Department Stanford University, report no. 11 edition, 1979
B. Stroustrup. The C++ programming language. Addison Wesley, 1986
M. Wand. Final algebra semantics and data type expressions. Journal of Computer and System Sciences, 19(1), 1979.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Loeckx, J., Philippi, J. (1988). Das OBSCURE-Projekt. In: Gollan, B., Paul, W.J., Schmitt, A. (eds) Innovative Informations-Infrastrukturen. Informatik-Fachberichte, vol 184. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-74116-6_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-74116-6_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50334-7
Online ISBN: 978-3-642-74116-6
eBook Packages: Springer Book Archive