Sciweavers

5415 search results - page 384 / 1083
» The Implementation of Functional Programming Languages
Sort
View
COORDINATION
2004
Springer
16 years 5 days ago
Optimistic Concurrency Semantics for Transactions in Coordination Languages
There has been significant recent interest in exploring the role of coordination languages as middleware for distributed systems. These languages provide operations that allow pro...
Suresh Jagannathan, Jan Vitek
199
Voted
TVCG
2010
194views more  TVCG 2010»
15 years 5 months ago
Declarative Language Design for Interactive Visualization
Abstract—We investigate the design of declarative, domain-specific languages for constructing interactive visualizations. By separating specification from execution, declarativ...
Jeffrey Heer, Michael Bostock
ECML
2000
Springer
15 years 11 months ago
Metric-Based Inductive Learning Using Semantic Height Functions
In the present paper we propose a consistent way to integrate syntactical least general generalizations (lgg's) with semantic evaluation of the hypotheses. For this purpose we...
Zdravko Markov, Ivo Marinchev
159
Voted
LISP
2008
64views more  LISP 2008»
15 years 6 months ago
Nesting forward-mode AD in a functional framework
Abstract. We discuss the implications of the desire to augment a functionalprogramming language with a derivative-taking operator using forward-mode automatic differentiation (AD)....
Jeffrey Mark Siskind, Barak A. Pearlmutter
POPL
2007
ACM
16 years 7 months ago
Types, bytes, and separation logic
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
Harvey Tuch, Gerwin Klein, Michael Norrish