A formal specification of INGRES

W. E. Baats, L. M.G. Feijs, J. H.A. Gelissen

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Abstract

This paper describes a case study in the application of COLD-K as a specification language. The subject of the case study is the INGRES relational data base system.

Original languageEnglish
Title of host publicationAlgebraic Methods
Subtitle of host publicationTheory, Tools and Applications
EditorsMartin Wirsing, Jan A. Bergstra
Place of PublicationBerlin
PublisherSpringer
Pages207-245
Number of pages39
ISBN (Electronic)978-3-540-46758-8
ISBN (Print)978-3-540-51698-9
DOIs
Publication statusPublished - 1 Jan 1989
EventWorkshop on Algebraic Methods: Theory, Tools and Applications, 1987 - Passau, Germany
Duration: 9 Jun 198711 Jun 1987

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume394 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceWorkshop on Algebraic Methods: Theory, Tools and Applications, 1987
CountryGermany
CityPassau
Period9/06/8711/06/87

Fingerprint Dive into the research topics of 'A formal specification of INGRES'. Together they form a unique fingerprint.

Cite this