Concept
Declarative programming
Related publications (112)
NineML: the network interchange for neuroscience modeling language
Sean Lewis Hill, Eilif Benjamin Muller, Michael Lee Hines
The growing number of large-scale neuronal network models has created a need for standards and guidelines to ease model sharing and facilitate the replication of results across different simulators. To foster community efforts towards such standards, the I ...
2011Programming the Cloud
Client + cloud computing is a disruptive, new computing platform, combining diverse client devices -- PCs, smartphones, sensors, and single-function and embedded devices -- with the unlimited, on-demand computation and data storage offered by cloud computi ...
ACM2011EmbedIT – An Open Robotic Kit for Education
Robots have often been used as an educational tool in class to introduce kids to science and technology, disciplines that are affected by decreasing enrollments in universities. Consequently, many robotic kits are available off-the-shelf. Even though many ...
Springer Berlin Heidelberg2011Entangled queries: enabling declarative data-driven coordination
Many data-driven social and Web applications involve collaboration and coordination. The vision of Declarative Data-Driven Coordination (D3C), proposed in Kot et al. [2010], is to support coordination in the spirit of data management: to make it data-centr ...
Assoc Computing Machinery2011Optimization of Portable Parallel Signal Processing Applications by Design Space Exploration of Dataflow Programs
Marco Mattavelli, Christophe Lucarz
This paper describes a methodology for the optimization of portable parallel signal processing applications specified by dataflow programs. The use of dataflow as a programming model for signal processing applications targeting parallel platforms provides ...
Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2011Deprecating the Observer Pattern
Martin Odersky, Tiark Rompf, Ingo Maier
Programming interactive systems by means of the observer pattern is hard and error-prone yet is still the implementation standard in many production environments. We present an approach to gradually deprecate observers in favor of reactive programming abst ...
2010On Satisfiability Modulo Computable Functions
Viktor Kuncak, Philippe Paul Henri Suter, Ali Sinan Köksal
We present a semi-decision procedure for checking satisfiability of formulas in the language of algebraic data types and integer linear arithmetic extended with user-defined terminating recursive functions. Our procedure is designed to integrate into a DPL ...
2010Theory of Transactional Memory
Transactional memory (TM) is a promising paradigm for concurrent programming, in which threads of an application communicate, and synchronize their actions, via inmemory transactions. Each transaction can perform any number of operations on shared data, an ...
EPFL2010Database Queries in Java
In conventional programming languages like Java, the interface for accessing databases is often inelegant. Typically, an entire separate database query language must be embedded inside a conventional programming language for programmers to access the full ...
EPFL2010