General Terms

by Akihiko Tozawa , Michiaki Tatsubori , Tamiya Onodera , Yasuhiko Minamide

Active Bibliography

5 Fully Persistent Arrays for Efficient Incremental Updates and Voluminous Reads – Tyng-Ruey Chuang - 1992
12 Real-Time Deques, Multihead Turing Machines, and Purely Functional Programming – Tyng-Ruey Chuang, Benjamin Goldberg - 1993
17 Purely Functional Random-Access Lists – Chris Okasaki - 1995
16 Inductive Graphs and Functional Graph Algorithms – Martin Erwig - 2001
2 The Higher-order Aggregate Update Problem – Christos Dimoulas, Mitchell W
6 L.: Staged Static Techniques to Efficiently Implement Array Copy Semantics in a MATLAB JIT Compiler – Nurudeen Lameed, Laurie Hendren - 2010
5 A Randomized Implementation of Multiple Functional Arrays – Tyng-Ruey Chuang - 1994
A Data Structure for More Efficient . . . – Melissa Elizabeth O’Neill - 1994
15 Shallow Binding Makes Functional Arrays Fast – Henry G. Baker - 1991
Proceedings of the Federated Conference on Computer Science and Information Systems pp. 879–886 ISBN 978-83-60810-22-4 A Type and Effect System for Implementing Functional Arrays with Destructive Updates – Georgios Korfiatis, Michalis Papakyriakou, Nikolaos Papaspyrou
1 Structural and Flow-Sensitive Types for Whiley – David J. Pearce, James Noble - 2011
Reflections on Verifying Software with Whiley – David J. Pearce, Lindsay Groves - 2013
6 A Probabilistic Approach to the Problem of Automatic Selection of Data Representations – Tyng-Ruey Chuang, Wen L. Hwang - 1996
22 Observers for Linear Types – Martin Odersky - 1992
42 Single Assignment C -- efficient support for high-level array operations in a functional setting – Sven-Bodo Scholz - 2003
Software---Practice And Experience, Vol. 23(11), 1175--1200 (november 1993) – Compile-Time Copy Elimination, Peter Schnorf, Mahadevan Ganapathi, John L. Hennessy
Automatically PreparingSafe SQL Queries – Prithvi Bisht, A. Prasad Sistla, V. N. Venkatakrishnan
Techniques and Tools for Engineering Secure Web Applications – Gary Michael Wassermann - 2008
2 Locating Need-to-Translate Constant Strings in Web Applications – Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun