23,449 Hits in 4.8 sec

Compiling ER Specifications into Declarative Programs [article]

Bernd Braßel, Michael Hanus, Marion Muller
2007 arXiv   pre-print
Furthermore, we have implemented a compiler from this representation into a Curry program that provides access and update operations based on a high-level API for database programming.  ...  We propose a representation of ER diagrams in the declarative language Curry so that they can be constructed by various tools and then translated into this representation.  ...  Finally, we develop a compiler that translates an ER specification into a Curry module that contains access and update operations and operations to check integrity constraints according to the ER specification  ... 
arXiv:0711.0348v1 fatcat:ci5jzljdprfedpsstivbbw6ao4

A Typeful Integration of SQL into Curry

Michael Hanus, Julia Krone
2017 Electronic Proceedings in Theoretical Computer Science  
This is obtained by preprocessing SQL statements at compile time and translating them into type-safe database access operations.  ...  We present an extension of the declarative programming language Curry to support the access to data stored in relational databases via SQL.  ...  These are checked at compile time (by translating them into expressions that use definitions of an SQL-specific library) and translated at run time to SQL.  ... 
doi:10.4204/eptcs.234.8 fatcat:jb6vvvo5ebhcpcz7su7sivonti

The Synthesis of Logic Programs from Inductive Proofs [chapter]

Alan Bundy, Alan Smaill, Geraint Wiggins
1990 Computational Logic  
To make the technique work it is necessary to synthesise pure logic programs, without the closed world assumption, and then compile these into Prolog programs.  ...  The technique has been tested on the O Y S T ER (functional) program development system.  ...  O Y S T ER uses these type declarations to do synthesis time type checking, rather than run time or compile time type checking.  ... 
doi:10.1007/978-3-642-76274-1_8 fatcat:ivjrryme2ncvbnx3vhtnf35sbu

Page 125 of Journal of Research and Practice in Information Technology Vol. 28, Issue 4 [page]

1996 Journal of Research and Practice in Information Technology  
) el aa eg Fa Se er OUTPUT Figure 7: The System Implementing the Partitioning Method. 5.1 Format Translation Programs The NPN specification input in PROTEAN format is stored in a “net” file.  ...  They consist of a compiler which reads input net specifications and parses through it to check for any lexical and syntactical errors.  ... 

Dependent advice

Eric Bodden, Feng Chen, Grigore Rosu
2009 Proceedings of the 8th ACM international conference on Aspect-oriented software development - AOSD '09  
Compilers can apply powerful optimizations to history-based aspects using domain knowledge.  ...  Optimizations can exploit this knowledge: we present a whole-program analysis that removes advicedispatch code from program locations at which an advice's dependencies cannot be fulfilled.  ...  Those three logics are finite-state, which allowed us to implement algorithms to translate the monitor generated from a ERE, FTLTL or PTLTL specification into a finite-state machine as defined in Definition  ... 
doi:10.1145/1509239.1509243 dblp:conf/aosd/BoddenCR09 fatcat:44yatdakpbfjvmmp5apssx2qtm

Algebraic processing of programming languages

Teodor Rus
1998 Theoretical Computer Science  
specification and implementation tools for each language component, and (3) mathematical integration of language component processing algorithms into an algebraic compiler.  ...  We develop an alternative compiler construction methodology whose fundamental principles are: (1) decomposition of programming languages into simpler components, (2) development of machine independent  ...  , w h ere a and /? may be E. With this notation we can partition the specification set U(L) into subsets Ro,Rl,. . .  ... 
doi:10.1016/s0304-3975(97)00270-3 fatcat:gcda5gpqjneapi6txu7if32nqi

Towards Logic-Based Verification of JavaScript Programs [chapter]

José Fragoso Santos, Philippa Gardner, Petar Maksimović, Daiva Naudžiūnienė
2017 Lecture Notes in Computer Science  
However, all of these features have to be taken into account when verifying that a program satisfies a specification.  ...  An ER is an internal object, created upon the invocation of a function, that maps the variables declared in the body of that function and its formal parameters to their respective values.  ... 
doi:10.1007/978-3-319-63046-5_2 fatcat:p4f27y5vczdlbprglrxzivbhsm

Structure-Preserving Compilation

Julian Kranz, Axel Simon
2014 Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14  
We present a translation scheme from a pure functional domain-specific language (DSL) to C. The over-arching idea of this scheme is to preserve the structure of the input program as much as possible.  ...  Our translation scheme is therefore an attractive starting point for a light-weight DSL since no other language-specific tools besides the compiler are necessary.  ...  An interesting alternative for reaping some benefits of higher-level languages is to develop a domain-specific language (DSL) that is translated into the legacy programming language [7] .  ... 
doi:10.1145/2643135.2643157 dblp:conf/ppdp/KranzS14 fatcat:pua4z6btcfggrig6ia5a7hn7qy

On implementing separate compilation in block-structured languages

Richard J. LeBlanc, Charles N. Fischer
1979 SIGPLAN notices  
In effect, the compiler is checkpointed, and the environment represents the checkpoint information needed to restart the compil- er.  ...  There is a considerable amount of checking at compile-time, but an explicit, MESA specific binding step is necessary to guarantee that the interfaces between the modules used to make up a program are indeed  ...  Summary A very simple and efficient technique for the introduction of external compilation facilities into compilers for block-structured languages has been presented.  ... 
doi:10.1145/872732.806963 fatcat:nqm6tnmqxbh2lb2dbcs63wp3iq

Voodoo - a vector algebra for portable database performance on modern hardware

Holger Pirk, Oscar Moll, Matei Zaharia, Sam Madden
2016 Proceedings of the VLDB Endowment  
To facilitate performanceoriented design exploration and query plan compilation, we present Voodoo, a declarative intermediate algebra that abstracts the detailed architectural properties of the hardware  ...  Because it consists of a collection of declarative, vector-oriented operations, Voodoo is easier to reason about and tune than low-level C and related hardware-focused extensions (Intrinsics, OpenCL, CUDA  ...  Central to our approach is a novel technique called control vectors that expose parallelism in the program and data to the compiler, without the use of hardware-specific abstractions.  ... 
doi:10.14778/3007328.3007336 fatcat:cpys5gp4lvgbrpblskhmob6auu

Design of methodology for incremental compiler construction

Pavel Haluza, Jiří Rybička
2011 Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis  
For this group of languages this paper tries to solve the problem case when we use macros temporarily changing the category of arbitrary characters. parser, incremental analysis, compiler, programming  ...  ., common programming languages. For this group of languages the paper tries to solve the problem of the incremental semantic analysis, which is based on incremental parsing.  ...  Currently it allows you to perform grammar transformations into the desired shape, the calculation of FIRST and FOLLOW sets, construction of the parsing table and even testing if the specifed sentence  ... 
doi:10.11118/actaun201159070137 fatcat:qdxqrgyfdnachkzverveznzsyy

A VHDL compiler based on attribute grammar methodology

R. Farrow, A. G. Stanculescu
1989 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation - PLDI '89  
Attribute grammar programming solutions are presented for some of the language challenges.  ...  penalty in terms of either the complexity of the language that can be handled or the resulting compilation speed.  ...  ability to selectively import declarations therefrom, the program library and separate compilation paradigm, user-defined types and subtypes and implicit declaration of operators for these, overloaded  ... 
doi:10.1145/73141.74829 dblp:conf/pldi/FarrowS89 fatcat:ok2djfwkgrb63knrbstxxf6vwy

A case study in specifying the semantics of a programming language

Ravi Sethi
1980 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '80  
On and off over the period of . study in specifying the semantics of a programming language  ...  The semantic specification does not attempt to be faithful to the compilers and would allow the order of the above declarations to be changed.  ...  The compilers for C are permissive in that they compile and run more programs than the C reference manual in [ker78] would allow.  ... 
doi:10.1145/567446.567458 dblp:conf/popl/Sethi80 fatcat:jdlwisyajfhdhf4vvedu3do3oa

A brief introduction to C

W. M. McKeeman
1993 The second ACM SIGPLAN conference on History of programming languages - HOPL-II  
CT compilers must behave "as if' they honor parentheses and precedence. That is, no program value can depend on compiler-chosen reordering of arit,hmetic operations.  ...  This is partly due to the fact that some combinations do not make sense, partly due to needing to defer some type specification to the point of access rather than the point of declaration, partly due to  ... 
doi:10.1145/154766.155382 fatcat:lrwmfgujmjcqxdxpbb5fxmyazi

An ER-Based Framework for Declarative Web Programming [chapter]

Michael Hanus, Sven Koschnicke
2010 Lecture Notes in Computer Science  
Therefore, our framework generates applications that contain a specification of a mapping from URLs into controllers of the application.  ...  Since the conceptual model of a relational database is often specified as an entity-relationship (ER) model, we propose to use the ER model to generate a complete implementation in the declarative programming  ...  are detected at compile time.  ... 
doi:10.1007/978-3-642-11503-5_18 fatcat:ufk5e7zuz5awpjttaslp2likn4
« Previous Showing results 1 — 15 out of 23,449 results