Sciweavers

17 search results - page 1 / 4
» Cartesian Programming: The TransLucid Programming Language
Sort
View
COMPSAC
2009
IEEE
13 years 7 months ago
Cartesian Programming: The TransLucid Programming Language
Abstract. The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common prog...
John Plaice, Blanca Mancilla
ICFP
2007
ACM
14 years 4 months ago
On Barron and Strachey's cartesian product function
Olivier Danvy, J. Michael Spivey
ICALP
2009
Springer
14 years 4 months ago
On Cartesian Trees and Range Minimum Queries
We present new results on Cartesian trees with applications in range minimum queries and bottleneck edge queries. We introduce a cache-oblivious Cartesian tree for solving the ran...
Erik D. Demaine, Gad M. Landau, Oren Weimann
POPL
2007
ACM
14 years 4 months ago
Geometry of synthesis: a structured approach to VLSI design
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
Dan R. Ghica
PLPV
2012
ACM
12 years 2 days ago
LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...
Alan Jeffrey