DAGSTUHL 1993 | Sciweavers

36

DAGSTUHL
1993

100views Software Engineering» more DAGSTUHL 1993»

Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs

14 years 4 months ago

In this paper we present a type system for graph rewrite systems: uniqueness typing. It employs usage information to deduce whether an object is `unique' at a certain moment,...

Sjaak Smetsers, Erik Barendsen, Marko C. J. D. van...

claim paper

Read More »

28

click to vote

DAGSTUHL
1993

72views Software Engineering» more DAGSTUHL 1993»

Wirtschaftsinformatik

14 years 4 months ago

Download www.wi.uni-muenster.de

Peter Mertens

claim paper

Read More »

28

click to vote

DAGSTUHL
1993

107views Software Engineering» more DAGSTUHL 1993»

Rechnerarchitektur

14 years 4 months ago

Download iamwww.unibe.ch

Wolfgang K. Giloi

claim paper

Read More »

38

click to vote

DAGSTUHL
1993

85views Software Engineering» more DAGSTUHL 1993»

Supporting continuous media applications in a micro-kernel environment

14 years 4 months ago

Download reference.kfupm.edu.sa

Currently, popular operating systems are unable to support the end-toend real-time requirements of distributed continuous media. Furthermore, the integration of continuous media c...

Geoff Coulson, Gordon S. Blair, Philippe Robin, Do...

claim paper

Read More »

63

click to vote

DAGSTUHL
1993

116views Software Engineering» more DAGSTUHL 1993»

Syntax and Semantics of Hybrid Database Languages

14 years 4 months ago

Download www.cs.uni-paderborn.de

Abstract. We present the hybrid query language HQL/EER for an Extended Entity-Relationship model. As its main characteristic, this language allows a user to freely mix graphical an...

Marc Andries, Gregor Engels

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers