BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
databas (3)
system (3)
deduct (2)
logic (2)
structur (1)

Stem coral$ (all stems)

5 papers:

SIGMODSIGMOD-1993-RamakrishnanRSSS #database #deduction
The CORAL Deductive Database System (RR, WGR, PS, DS, SS), pp. 544–545.
SIGMODSIGMOD-1993-RamakrishnanSSS #database #deduction #implementation
Implementation of the CORAL Deductive Database System (RR, DS, SS, PS), pp. 167–176.
VLDBVLDB-1993-SrivastavaRSS #database #logic #object-oriented
Coral++: Adding Object-Orientation to a Logic Database Language (DS, RR, PS, SS), pp. 158–170.
VLDBVLDB-1992-RamakrishnanSS #logic #named
CORAL — Control, Relations and Logic (RR, DS, SS), pp. 238–250.
DACDAC-1988-BlackburnTK #behaviour #design
CORAL II: Linking Behavior and Structure in an IC Design System (RLB, DET, PMK), pp. 529–535.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.