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
32
views
0
references
Top references
cited by
1
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,740
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Programming Languages and Systems
other
Editor(s):
Wei-Ngan Chin
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
Smart Contracts Programming Languages
Author and book information
Book
ISBN (Print):
978-3-540-23724-2
ISBN (Electronic):
978-3-540-30477-7
Publication date (Print):
2004
DOI:
10.1007/b102225
SO-VID:
268a2ab8-4781-4ae9-8ebd-803047cc1216
License:
http://www.springer.com/tdm
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
2,740
Processing Sentences with Literal versus Figurative Use of Verbs: An ERP Study with Children with Language Impairments, Nonverbal Impairments, and Typical Development
Authors:
Maria Lorusso
,
Michele Burigo
,
Virginia Borsa
…
Hybrid renewable energy systems based on micro-cogeneration
Authors:
Sonja Kallio
,
Monica Siroux
Off-diagonal matrix elements of local operators in many-body quantum systems
Authors:
,
,
See all similar
Cited by
1
Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs
Authors:
Christian Hammer
,
Gregor Snelting
See all cited by