217
Voted
POPL
16 years 24 days 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...
201
Voted
POPL
16 years 24 days 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...
192
click to vote
POPL
16 years 24 days 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...
196
Voted
POPL
16 years 24 days 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...
222
Voted
POPL
16 years 24 days 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