This is a companion report to the POPL'15 paper on K-Java, describing in detail the semantics of method invocation and of object creation.

The reaction K+p →Kopπ+ has been studied with a 3 eV/µb exposure in the ANL 30-inch hydrogen bubble chamber. The 5700 two-prong Vo events in this film sample were measured on SMP's and processed with the Illinois programs ...

K is an algebraic framework for defining programming languages. It consists of a technique and of a specialized and highly optimized notation. The K-technique, which can be best explained in terms of rewriting modulo ...

K is a definitional framework based on term rewriting, in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of special list and/or set structures, called cells, ...

The Kapitza resistance has been measured between liquid or solid 3He or 4He and surfaces of Mg, Cu, W, and Au in the temperature range 0.03-0.3 K. The experimental data are in relatively good agreement with the ...

A new approach to evaluate the reliability of structural systems using a Monte Carlo variance reduction technique called the Importance Sampling is presented. Since the efficiency of the importance sampling method depends ...

Developing concurrent software is error prone. Others have cataloged common bug patterns in concurrent Java programs. But, there are no tools for detecting complex concurrency bug patterns accurately, and concurrent programs ...

A developing field of interest for the distributed systems and applied cryptography community is that of smart contracts: self-executing financial instruments that synchronize their state, often through a blockchain. One ...

We propose a novel system TEXplorer that integrates keyword-based object ranking with the aggregation and exploration power of OLAP in a text database with rich structured attributes available, e.g., a product review ...

Since the advent of the Kinect camera, depth videos have become easily accessible to consumers and researchers, allowing a variety of complex classification tasks to be done more accurately and easily than with RGB videos. ...