Titlebook: ECOOP 2014 -- Object-Oriented Programming; 28th European Confer Richard Jones Conference proceedings 2014 Springer-Verlag Berlin Heidelberg

macabre

Infiltrate

Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languagess, which are particularly interesting for object-oriented programming, and develop and implement a sound and complete top-down direct and effective algorithm for deciding it. To our knowledge, this is the first proposal for a sound and complete top-down direct algorithm for semantic subtyping between coinductive types.

insolence

delta-waves

Stream Processing with a Spreadsheetadsheet that enables visualizing live streams, live programming to compute new streams, and exporting computations to be run on a server where they can be shared with other users, and persisted beyond the life of the spreadsheet. We formalize our core language, and present case studies that cover a range of stream processing applications.

Anal-Canal

客觀(guān)

State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objectsoving properties at runtime. Points-to analysis calculates the set of values a reference property or variable may have during execution. We present a novel, partially flow-sensitive, context-sensitive points-to algorithm that accurately models dynamic changes in object behavior. The algorithm repres

LANCE