|
|
| |
Advanced programming techniques for construction of robust, generic and evolutionary programs |
| |
Zhenjiang HU, Shin-Cheng MU and Stephanie WEIRICH |
| |
Page 1 |
| |
Abstract | PDF(535KB) |
| |
|
|
|
|
| |
Distributive laws of directed containers |
| |
Danel AHMAN, Tarmo UUSTALU |
| |
Page 3 |
| |
Abstract | PDF(1158KB) | References |
| |
|
|
| |
Equational reasoning about programs with general recursion and call-by-value semantics |
| |
Garrin KIMMELL, Aaron STUMP, Harley D. EADES, Peng FU, Tim SHEARD, Stephanie WEIRICH, Chris CASINGHINO, Vilhelm SJÖBERG, Nathan COLLINS and Ki YUNG AHN |
| |
Page 19 |
| |
Abstract | PDF(2057KB) | References |
| |
|
|
| |
Wander types : A formalization of coinduction-recursion |
| |
Venanzio CAPRETTA |
| |
Page 47 |
| |
Abstract | PDF(546KB) | References |
| |
|
|
| |
Modularising inductive families |
| |
Hsiang-Shang KO, Jeremy GIBBONS |
| |
Page 65 |
| |
Abstract | PDF(619KB) | References |
| |
|
|
| |
An expressive bidirectional transformation language for XQuery view update |
| |
Dongxi LIU, Zhenjiang HU, Masato TAKEICHI |
| |
Page 89 |
| |
Abstract | PDF(1074KB) | References |
| |
|
|
| |
GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations |
| |
Soichiro HIDAKA, Zhenjiang HU, Kazuhiro INABA, Hiroyuki KATO, Keisuke NAKANO |
| |
Page 131 |
| |
Abstract | PDF(1483KB) | References |
| |
|
|
|
|
| |
Dependently typed programming |
| |
Shin-CHENG MU, Conor MCBRIDE, Stephanie WEIRICH |
| |
Page 149 |
| |
Abstract | PDF(747KB) |
| |
|
|
| |
Automated techniques for higher-order program verification |
| |
Naoki KOBAYASHI, Luke ONG and David Van HORN |
| |
Page 157 |
| |
Abstract | PDF(776KB) |
| |
|
| |
|
|
| Research Papers |
(Regular Papers) |
|
| |
An efficient exact algorithm for the Minimum Latency Problem |
| |
Ha BANG BAN, Kien NGUYEN, Manh CUONG NGO, Duc NGHIA NGUYEN |
| |
Page 167 |
| |
Abstract | PDF(1328KB) | References |
| |
|
|
| |
Load-balanced routing with selective even traffic splitting |
| |
Masashi HONMA, Shunichi TSUNODA, Eiji OKI |
| |
Page 175 |
| |
Abstract | PDF(971KB) | References |
| |
|
| |
|
|
|
|
|
|
