Data Sharing Analysis for a Database Programming Lanaguage via Abstract Interpretation

GALILEO: a strongly-typed, interactive conceptual language

ACM Transactions on Database Systems (TODS)

Concurrency control and recovery in database systems

Concurrency control and recovery in database systems

Abstract interpretation of declarative languages

Abstract interpretation of declarative languages

Types and persistence in database programming languages

ACM Computing Surveys (CSUR)

On determining lifetime and aliasing of dynamically allocated data in higher-order functional specifications

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

A semantic model of reference counting and its abstraction (detailed summary)

LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming

Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

A Study of Three Alternative Workstation-Server Architectures for Object Oriented Database Systems

VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases