Bibliography on Abstract Data Types by B. Kutzler PDF

By B. Kutzler

ISBN-10: 3540123121

ISBN-13: 9783540123125

ISBN-10: 3642690327

ISBN-13: 9783642690327

Subsidized via the "Österr. Fonds zur Förderung der Wissenschaftlichen Forschung", undertaking nr. P4567

Show description

Read Online or Download Bibliography on Abstract Data Types PDF

Similar abstract books

Get Cohomology of finite groups PDF

Adem A. , Milgram R. J. Cohomology of finite teams (Springer, 1994)(ISBN 354057025X)

Syzygies and Homotopy Theory by F.E.A. Johnson PDF

An important invariant of a topological house is its basic workforce. while this is often trivial, the ensuing homotopy idea is definitely researched and everyday. within the basic case, even though, homotopy thought over nontrivial basic teams is way extra challenging and much much less good understood. Syzygies and Homotopy idea explores the matter of nonsimply hooked up homotopy within the first nontrivial situations and offers, for the 1st time, a scientific rehabilitation of Hilbert's approach to syzygies within the context of non-simply hooked up homotopy concept.

Additional resources for Bibliography on Abstract Data Types

Sample text

20, no. 6, pp. 396-404 + Proc. Conf. 'Data Abstraction, Definition and Structure', Sigplan Notices, vol. 8, no. 2, p. 62 (abstract only). , 1978. Notes on Data Abstraction. Proc. Int. Summer School on Program Construction, LNCS 69, pp. 593-616. ZfM: 399. , 1980. Notes on Type Abstraction (Version 2). IEEE-SE, vol. SE-6, no. I, pp. 13-23. , 1981. A Few Remarks on Putting Formal Specifications to Productive Use. Proc. Workshop 'Program Specification', LNCS 134, pp. 370-380. , 1982. IOTA on DECSystem 20 - KWIC Example.

PL/ADT - Ein System zur Verwendung algebraisch spezifizierter abstrakter Datentypen in PL/I. Dissertationen der Johannes Kepler Univ. Linz, Nr. 30, Verlag Verband der wissenschaftlichen Gesellschaften Osterreichs. , 1981. Eignung verschiedener Spezifikationsmethoden fUr Datenmodellen. Univ. Karlsruhe, Inst. f. Informatik, Diplomarbeit. , 198x. Parameterization and Abstract Data Types in a Program Design Language: The Design of Software Development Processor. UCLA, DCS, Report. , 1976. The Use of Abstract Data Types to Simplify Program Modifications.

8, no. 2, (Special Issue), pp. 12-23. , 1978. Specifying Abstract Data Types by Restriction. Sigsoft SEN, vol. 3, no. 2, pp. 7-13. , 1981. An Exercise in Language Design for Secure Programming. Proc. : 'Austral ian Computer Science Communications', vol. 3, no. 1, pp. 106-116. , 1982. A Generalized Model for Data Abstraction. Univ. of Exeter, DCS, TR. , 1979. Zum Begriff der Implementierung in der Theorie der abstrakten Datentypen. Univ. Dortmund, Abt. Informatik, Diplomarbeit. , 1980. Literatur zu: Theorie und Anwendung abstrakter Datentypen.

Download PDF sample

Bibliography on Abstract Data Types by B. Kutzler

by Edward

Rated 4.10 of 5 – based on 40 votes