Computation by interaction for space-bounded functional programming
نویسندگان
چکیده
منابع مشابه
Computation by interaction for space-bounded functional programming
We consider the problem of supporting sublinear space programming in a functional programming language. Writing programs with sublinear space usage often requires one to use special implementation techniques for otherwise easy tasks, e.g. one cannot compose functions directly for lack of space for the intermediate result, but must instead compute and recompute small parts of the intermediate re...
متن کاملScientific computation and functional programming
We advocate the usage of modern functional programming languages, and lazy functional techniques for the description and implementation of abstract mathematical objects in Quantum Mechanics, needed both for pedagogical purposes, and for some real, not too computationally intensive, but conceptually and algorithmically difficult applications. We show how to perform simple abstract computations o...
متن کاملType Inference for Sublinear Space Functional Programming
We consider programming language aspects of algorithms that operate on data too large to fit into memory. In previous work we have introduced IntML, a functional programming language with primitives that support the implementation of such algorithms. We have shown that IntML can express all LOGSPACE functions but have left open the question how easy it is in practice to program typical LOGSPACE...
متن کاملSpace-efficient Computation by Interaction A Type System for Logarithmic Space
We introduce a typed functional programming language for logarithmic space. Its type system is an annotated subsystem of Hofmann’s polytime LFPL. To guide the design of the programming language and to enable the proof of LOGSPACE-soundness, we introduce a realisability model over a variant of the Geometry of Interaction. This realisability model, which takes inspiration from Møller-Neergaard an...
متن کاملFunctional Programming in Sublinear Space
We consider the problem of functional programming with data in external memory, in particular as it appears in sublinear space computation. Writing programs with sublinear space usage often requires one to use special implementation techniques for otherwise easy tasks, e.g. one cannot compose functions directly for lack of space for the intermediate result, but must instead compute and recomput...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2016
ISSN: 0890-5401
DOI: 10.1016/j.ic.2015.04.006