230
click to vote
POPL
16 years 1 months ago
2008 ACM 
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
210
click to vote
POPL
16 years 1 months ago
2008 ACM 
A lens is a bidirectional program. When read from left to right, it denotes an ordinary function that maps inputs to outputs. When read from right to left, it denotes an "upd...
204
click to vote
POPL
16 years 1 months ago
2008 ACM
An ad hoc data source is any semistructured data source for which useful data analysis and transformation tools are not readily available. Such data must be queried, transformed a...
204
click to vote
POPL
16 years 1 months ago
2008 ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
228
click to vote
POPL
16 years 1 months ago
2008 ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
|
Programming Languages