You have Guest access.
Log In
Sophia Drossopoulou
Front matter
1
Classes, Jim, But Not as We Know Them — Type Classes in Haskell: What, Why, and Whither
2-26
Coinductive Type Systems for Object-Oriented Languages
27-51
Checking Framework Interactions with Relationships
52-76
COPE - Automating Coupled Evolution of Metamodels and Models
77-97
Making Sense of Large Heaps
98-122
Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis
123-147
NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems
148-172
Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic
173-194
Fine-Grained Access Control with Object-Sensitive Roles
195-219
Practical API Protocol Checking with Access Permissions
220-243
Adding State and Visibility Control to Traits Using Lexical Nesting
244-268
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes
269-293
Modular Visitor Components A Practical Solution to the Expression Families Problem
294-317
Debugging Method Names
318-343
MAPO: Mining and Recommending API Usage Patterns
344-368
Supporting Framework Use via Automatically Extracted Concept-Implementation Templates
369-393
Stepping Stones over the Refactoring Rubicon Lightweight Language Extensions to Easily Realise Refactorings
394-418
Program Metamorphosis
419-443
From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility
444
Java on 1000 Cores: Tales of Hardware/Software Co-design
445-469
Loci: Simple Thread-Locality for Java
470-494
Failboxes: Provably Safe Exception Handling
495-519
Are We Ready for a Safer Construction Environment?
520-545
Type-Based Object Immutability with Flexible Initialization
546-569
Security Monitor Inlining for Multithreaded Java
570-594
EventJava: An Extension of Java for Event Correlation
595-617
Remote Batch Invocation for Compositional Object Services
618
Introduction to: The Myths of Object-Orientation
619-629
The Myths of Object-Orientation
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info