ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
21
views
18
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
1,736
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
ECOOP 2007 – Object-Oriented Programming
Tracking Linear and Affine Resources with Java(X)
other
Author(s):
Markus Degen
,
Peter Thiemann
,
Stefan Wehr
Publication date
(Print):
2007
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
Human Resources and Assessment
Most cited references
18
Record
: found
Abstract
: not found
Book Chapter
: not found
Checking Interference with Fractional Permissions
John Tang Boyland
(2003)
0
comments
Cited
53
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Typestate: A programming language concept for enhancing software reliability
Shaula Yemini
,
Robert E. Strom
(1986)
0
comments
Cited
32
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
The essence of compiling with continuations
Matthias Felleisen
,
Bruce Duba
,
Amr Sabry
…
(1993)
0
comments
Cited
24
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Pages
: 550-574
DOI:
10.1007/978-3-540-73589-2_26
SO-VID:
23657095-7888-41c0-84fa-2aed17540460
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Erlang – Software for a Concurrent World
pp. 2
Gradual Typing for Objects
pp. 28
Generic Universe Types
pp. 54
Declarative Object Identity Using Relation Types
pp. 79
Object-Relative Addressing: Compressed Pointers in 64-Bit Java Virtual Machines
pp. 101
Generational Real-Time Garbage Collection
pp. 126
AS-GC: An Efficient Generational Garbage Collector for Java Application Servers
pp. 151
Exception Handling: A Field Study in Java and .NET
pp. 176
On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study
pp. 201
An Accidental Simula User
pp. 202
Validity Invariants and Effects
pp. 227
Non-null References by Default in Java: Alleviating the Nullity Annotation Burden
pp. 248
Efficiently Generating Structurally Complex Inputs with Thousands of Objects
pp. 273
Matching Objects with Patterns
pp. 299
DirectFlow: A Domain-Specific Language for Information-Flow Systems
pp. 323
A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships
pp. 347
JavaGI: Generalized Interfaces for Java
pp. 373
Metaprogramming with Traits
pp. 399
Morphing: Safely Shaping a Class in the Image of Others
pp. 425
A Higher Abstraction Level Using First-Class Inheritance Relations
pp. 450
Assuring Object-Oriented Architecture
pp. 451
MAO: Ownership and Effects for More Effective Reasoning About Aspects
pp. 476
Joinpoint Inference from Behavioral Specification to Implementation
pp. 501
A Machine Model for Aspect-Oriented Programming
pp. 525
A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring
pp. 550
Tracking Linear and Affine Resources with Java(X)
pp. 575
Attribute Grammar-Based Language Extensions for Java
pp. 600
Metamodel Adaptation and Model Co-adaptation
Similar content
1,736
Internal cranial features of the Mojokerto child fossil (East Java, Indonesia).
Authors:
Dominique Grimaud-Hervé
,
Antoine Balzeau
,
Shevin T. Jacob
Using PS-InSAR to detect surface deformation in geothermal areas of West Java in Indonesia
Authors:
Yasser Maghsoudi
,
Freek van der Meer
,
Christoph Hecker
…
jYang : A YANG parser in java
Authors:
Emmanuel Nataf
,
Olivier Festor
See all similar
Cited by
1
Enforcing Programming Guidelines with Region Types and Effects
Authors:
Eugen Zălinescu
,
Serdar Erbatur
,
Martin I Hofmann
See all cited by