Filters








21,860 Hits in 9.2 sec

Simple and safe SQL queries with c++ templates

Joseph (Yossi) Gil, Keren Lenz
2007 Proceedings of the 6th international conference on Generative programming and component engineering - GPCE '07  
A library of templates and preprocessor directives effectively extends C++ with a little language representing an augmented relational algebra formalism.  ...  Our work may also open the way for embedding other domain specific languages in C++.  ...  Acknowledgements The support work of Marina Rahmatulin, even on the eve of her wedding day, is gratefully acknowledged.  ... 
doi:10.1145/1289971.1289976 dblp:conf/gpce/GilL07 fatcat:ufmschmcxzb23erubeabe6ghwm

Simple and safe SQL queries with C++ templates

Joseph (Yossi) Gil, Keren Lenz
2010 Science of Computer Programming  
A library of templates and preprocessor directives effectively extends C++ with a little language representing an augmented relational algebra formalism.  ...  Our work may also open the way for embedding other domain specific languages in C++.  ...  Acknowledgements The support work of Marina Rahmatulin, even on the eve of her wedding day, is gratefully acknowledged.  ... 
doi:10.1016/j.scico.2010.01.004 fatcat:hmttvcfsfvdmniv7pxkjxe4ogq

Case Study on Algebraic Software Methodologies for Scientific Computing

Magne Haveraaen
2000 Scientific Programming  
Here we outline a use of algebraic software methodologies and advanced program constructors to improve the abstraction level of software for scientific computing.  ...  Collection Abstractions for User-Implemented Data-Parallel Programming, exploiting the higher abstraction level when parallelising code, andAn Algebraic Programming Style for Numerical Software and its  ...  This language is equally valid as a domain specific language as a language based on the traditional concepts of applied mathematics.  ... 
doi:10.1155/2000/482042 fatcat:r52dgn7m3jgyleul4x7mfzwv5i

Numeric domains meet algebraic data types

Santiago Bautista, Thomas Jensen, Benoît Montagu
2020 Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains  
This domain expresses relations between algebraic values that can contain scalar data. The construction of the domain is parameterized by the choice of a relational domain on scalar values.  ...  We report on the design and formalization of a novel abstract domain, called numeric path relations (NPRs), that combines numeric relational domains with algebraic data types.  ...  The projection of an algebraic value on a path , written ⇓ val , computes the scalar obtained by following path in .  ... 
doi:10.1145/3427762.3430178 fatcat:yo2yc7xve5acvmmy5ti65xmiwe

Foreword

N.D. Jones
1991 Science of Computer Programming  
Applications include modeling nondeterminism in programming languages, the semantic representations of set data types, and relational data bases.  ...  On the expressive power of programming languages by M.  ...  Applications include modeling nondeterminism in programming languages, the semantic representations of set data types, and relational data bases.  ... 
doi:10.1016/0167-6423(91)90034-u fatcat:aopcfhzxujb43hjjhoparoquze

Program Generation for Small-Scale Linear Algebra Applications [article]

Daniele G. Spampinato, Paolo Bientinesi
2018 arXiv   pre-print
We present SLinGen, a program generation system for linear algebra. The input to SLinGen is an application expressed mathematically in a linear-algebra-inspired language (LA) that we define.  ...  We benchmark our program generator on three prototypical applications: the Kalman filter, Gaussian process regression, and an L1-analysis convex solver, as well as basic routines including Cholesky factorization  ...  In this paper we proposed a prototype of such a system, SLinGen, focused on small-scale linear algebra as needed in control, signal processing, and other domains.  ... 
arXiv:1805.04775v1 fatcat:njapmbp6x5e6jhqweynev3hkwy

Deductive Optimization of Relational Data Storage [article]

John K. Feser, Samuel Madden, Nan Tang, Armando Solar-Lezama
2020 arXiv   pre-print
In this paper, we propose a language that can express a wide range of physical database layouts, going well beyond the row- and column-based methods that are widely used in database management systems.  ...  We use deductive synthesis to turn a high-level relational representation of a database query into a highly optimized low-level implementation which operates on a specialized layout of the dataset.  ...  The Layout Algebra Castor programs are written in a language called the layout algebra.  ... 
arXiv:1903.03229v3 fatcat:3lmmfmgjubgybhoes43prvfik4

Aldat: A retrospective on a work in progress

T.H. Merrett
2007 Information Systems  
The discussion is prefaced by some motivating examples, without full explanations, and terminated by a consideration of some special techniques for implementing the language constructs.  ...  Another advantage is that this integrated relational formalism is at a level of abstraction which is not only ideally suited for processing data on secondary storage but which also readily absorbs important  ...  Operators in the domain algebra include scalar operations on simple attributes, but by subsuming the relational algebra they also provide the functionality needed for nested relations.  ... 
doi:10.1016/j.is.2006.07.002 fatcat:ncja55tzh5clxf57saxybadseq

Optimized Automatic Code Generation for Geometric Algebra Based Algorithms with Ray Tracing Application [article]

Ahmad Hosney Awad Eid
2016 arXiv   pre-print
Geometric Algebra (GA) is one of the most suitable algebraic systems for being the base for such code generator. This work presents an attempt at realizing such idea in practice.  ...  A novel GA-based geometric code generator, called GMac, is proposed. Comparisons to similar GA-based code generators are provided.  ...  Geometric Interpretations The construction of a geometric algebra is mainly based on two elements: scalars and vectors.  ... 
arXiv:1607.04767v1 fatcat:4wtwman7srch3mjijl7jcyzmna

An Algebraic Programming Style for Numerical Software and Its Optimization

T.B. Dinesh, Magne Haveraaen, Jan Heering
2000 Scientific Programming  
Its main ingredients are a library of abstract datatypes corresponding to the algebraic structures used in the mathematical theory and an algebraic expression style similar to the expression style used  ...  The abstract mathematical theory of partial differential equations (PDEs) is formulated in terms of manifolds, scalar fields, tensors, and the like, but these algebraic structures are hardly recognizable  ...  Acknowledgments Hans Munthe-Kaas, André Friis, Kristin Frøysa, Steinar Søreide, and Helge Gunnarsli have contributed to Sophus in various ways.  ... 
doi:10.1155/2000/494281 fatcat:6ohdjjvkcbdufgovww65mams74

A Common Compiler Framework for Big Data Languages: Motivation, Opportunities, and Benefits

Vinayak R. Borkar, Michael J. Carey
2013 IEEE Data Engineering Bulletin  
The SQL language is based on relational algebra, which in turn is based on first-order logic.  ...  The relational model [15] that forms the basis of the logical model for data representation in RDBMSs is based on set-theory, and the SQL language is based on first-order logic.  ... 
dblp:journals/debu/BorkarC13 fatcat:nlwhdwale5gzre4n46ckxeunxu

Basics of Matrix Algebra for Statistics withR

Abdolvahab Khademi
2016 Journal of Statistical Software  
Native array programming languages such as MATLAB and Mathematica have extensively been used for mathematical and scientific computation where the data are mainly in matrix form.  ...  Although originally conceived as a statistical programming language, R is also a native matrix language which could be exploited for mathematical applications.  ...  There is another category of books that attempt to integrate a programming language such as R in presenting matrix algebra concepts and solving problems using that language instead of hand calculation.  ... 
doi:10.18637/jss.v071.b01 fatcat:fq3u4y6rzjhv3ktrky6yk6lsyi

Deductive optimization of relational data storage

John Feser, Sam Madden, Nan Tang, Armando Solar-Lezama
2020 Proceedings of the ACM on Programming Languages (PACMPL)  
In this paper, we propose a language that can express both a relational query and the layout of its data.  ...  We use deductive program synthesis to turn a high-level relational representation of a database query into a highly optimized low-level implementation which operates on a specialized layout of the dataset  ...  The Layout Algebra Castor programs are written in a language called the layout algebra.  ... 
doi:10.1145/3428238 fatcat:tbaz2ivgrnh3bmrvtfpqu6t5sq

Functional collection programming with semi-ring dictionaries

Amir Shaikhha, Mathieu Huot, Jaclyn Smith, Dan Olteanu
2022 Proceedings of the ACM on Programming Languages (PACMPL)  
We developed SDQL, a statically typed language that can express relational algebra with aggregations, linear algebra, and functional collections over data such as relations and matrices using semi-ring  ...  Furthermore, thanks to the algebraic structure behind these dictionaries, SDQL unifies a wide range of optimizations commonly used in databases (DB) and linear algebra (LA).  ...  The authors also acknowledge the EPSRC grant EP/T022124/1 (QUINTON) and Huawei for their support of the distributed data management and processing laboratory at the University of Edinburgh.  ... 
doi:10.1145/3527333 fatcat:wu7llyxxszcldjtex2kdda7vva

A compiler for linear algebra operations

Henrik Barthels
2016 Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity - SPLASH Companion 2016  
In this paper we present a compiler that translates arithmetic expressions containing matrices to efficient sequences of calls to basic linear algebra kernels.  ...  Related Work High-level languages such as Matlab allow to directly describe linear algebra problems.  ...  R T [Λ(Rz)]R −1 A −T B T BA −1 y, At the moment, when presented with the task of computing such expressions, one has two contrasting options: (1) High-level programming languages and environments such  ... 
doi:10.1145/2984043.2998539 dblp:conf/oopsla/Barthels16 fatcat:moxdr47onba3rpccxphibbine4
« Previous Showing results 1 — 15 out of 21,860 results