Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
54
views
16
references
Top references
cited by
3
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,129
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Programming Languages and Systems
A Relational Model for Object-Oriented Designs
other
Author(s):
He Jifeng
,
Zhiming Liu
,
Xiaoshan Li
,
Shengchao Qin
Publication date
(Print):
2004
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Research Paper of the Future and the Reproducible Research Compendium
Most cited references
16
Record
: found
Abstract
: not found
Book
: not found
A Theory of Objects
Martín Abadi
,
Luca Cardelli
(1996)
0
comments
Cited
50
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
The Semantics of Circus
Jim Woodcock
,
Ana Rosa Cavalcanti
(2002)
0
comments
Cited
14
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Java Program Verification via a Hoare Logic with Abrupt Termination
Marieke Huisman
,
Bart Jacobs
(2000)
0
comments
Cited
13
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2004
Pages
: 415-436
DOI:
10.1007/978-3-540-30477-7_28
SO-VID:
ff97536b-8794-486f-9961-6ee3c83cddd8
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
A CLP Approach to Modelling Systems
pp. 2
An Algebraic Approach to Bi-directional Updating
pp. 21
Network Fusion
pp. 41
Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type
pp. 57
An Implementation of Subtyping Among Regular Expression Types
pp. 74
An Implementation Scheme for XML Transformation Languages Through Derivation of Stream Processors
pp. 91
Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story
pp. 107
History Effects and Verification
pp. 129
Controlled Declassification Based on Intransitive Noninterference
pp. 146
A Concurrent System of Multi-ported Processes with Causal Dependency
pp. 163
Concurrency Combinators for Declarative Synchronization
pp. 179
A Uniform Reduction Equivalence for Process Calculi
pp. 196
Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk)
pp. 197
PType System: A Featherweight Parallelizability Detector
pp. 213
A Type Theory for Krivine-Style Evaluation and Compilation
pp. 229
Region-Based Memory Management for a Dynamically-Typed Language
pp. 246
Protocol Specialization
pp. 262
Automatic Generation of Editors for Higher-Order Data Structures
pp. 280
A MATLAB-Based Code Generator for Sparse Matrix Computations
pp. 296
D-Fusion: A Distinctive Fusion Calculus
pp. 311
A Functional Language for Logarithmic Space
pp. 327
Build, Augment and Destroy, Universally
pp. 348
Free Σ-Monoids: A Higher-Order Syntax with Metavariables
pp. 364
The Scala Experiment – Can We Provide Better Language Support for Component Systems?
pp. 366
Pointcuts as Functional Queries
pp. 382
Formal Design and Verification of Real-Time Embedded Software
pp. 398
McJava – A Design and Implementation of Java with Mixin-Types
pp. 415
A Relational Model for Object-Oriented Designs
pp. 437
Exploiting Java Objects Behavior for Memory Management and Optimizations
Similar content
3,129
Whole-Transcriptome Analysis of Mouse Models with MPTP-Induced Early Stages of Parkinson's Disease Reveals Stage-Specific Response of Transcriptome and a Possible Role of Myelin-Linked Genes in Neurodegeneration.
Authors:
A Kh Alieva
,
V S Zyrin
,
M Rudenok
…
Fractal Model for Drag Reduction on Multiscale Nonwetting Rough Surfaces
Authors:
S. Hatte
,
R. Pitchumani
Ultrasensitive SERS Detection of Cancer‐Related miRNA‐182 by MXene/MoS
2
@AuNPs with Controllable Morphology and Optimized Self‐Internal Standards
Authors:
Lei Liu
,
Changjian Shangguan
,
Jianlun Guo
…
See all similar
Cited by
3
Component-Based Software Engineering
Authors:
He Jifeng
,
Xiaoshan Li
,
Zhiming Liu
Formal Use of Design Patterns and Refactoring
Authors:
Long Quan
,
Qiu Zongyan
,
Zhiming Liu
POST: A Case Study for an Incremental Development in rCOS
Authors:
Quan Long
,
Zongyan Qiu
,
Zhiming Liu
…
See all cited by