Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

15

DBPL
1991
Springer

favoriteEmaildiscussreport

106views Database» more DBPL 1991»

Subtyping and Assignment in Database Programming Languages

13 years 8 months ago

Subtyping and Assignment in Database Programming Languages

Download www.cs.st-andrews.ac.uk

Richard C. H. Connor, David J. McNally, Ronald Mor

Real-time Traffic

Database | DBPL 1991 |

claim paper

Related Content

» Constraint Automata and the Complexity of Recursive Subtype Entailment

» A SyntaxDirected Hoare Logic for ObjectOriented Programming Concepts

» Regular Expression Subtyping for XML Query and Update Languages

» An Agent Language with Destructive Assignment and ModelTheoretic Semantics

» Intersection types and computational effects

» Secure Information Flow as Typed Process Behaviour

» Type Inference for COBOL Systems

» Exploring the Design Space of HigherOrder Casts

» Logical types for untyped languages

Post Info
More Details (n/a)

Added	27 Aug 2010
Updated	27 Aug 2010
Type	Conference
Year	1991
Where	DBPL
Authors	Richard C. H. Connor, David J. McNally, Ronald Morrison

Comments (0)