A formal specification of INGRES

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Samenvatting

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.

Originele taal-2Engels
TitelAlgebraic Methods
SubtitelTheory, Tools and Applications
RedacteurenMartin Wirsing, Jan A. Bergstra
Plaats van productieBerlin
UitgeverijSpringer
Pagina's207-245
Aantal pagina's39
ISBN van elektronische versie978-3-540-46758-8
ISBN van geprinte versie978-3-540-51698-9
DOI's
StatusGepubliceerd - 1 jan 1989
EvenementWorkshop on Algebraic Methods: Theory, Tools and Applications, 1987 - Passau, Duitsland
Duur: 9 jun 198711 jun 1987

Publicatie series

NaamLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume394 LNCS
ISSN van geprinte versie0302-9743
ISSN van elektronische versie1611-3349

Congres

CongresWorkshop on Algebraic Methods: Theory, Tools and Applications, 1987
LandDuitsland
StadPassau
Periode9/06/8711/06/87

Vingerafdruk Duik in de onderzoeksthema's van 'A formal specification of INGRES'. Samen vormen ze een unieke vingerafdruk.

Citeer dit