A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
Filters
High-Level Database Programming in Curry
[chapter]
Practical Aspects of Declarative Languages
Preserved Fulltext
This paper presents an environment to support high-level database programming in the multi-paradigm declarative programming language Curry. ...
Furthermore, we have implemented a compiler from this representation into a Curry program that provides safe access and update operations based on the API for database programming. ...
This will be the basis for the current framework that provides an environment for high-level programming with databases. ...
doi:10.1007/978-3-540-77442-6_21
dblp:conf/padl/BrasselHM08
fatcat:hx7ovc5yencjxkayicfcyb7dxu
A Typeful Integration of SQL into Curry
2017
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2017 pre-print arXiv:1701.00631v1 fatcat:b27dxqjpxbftdivzd7csajeufa
As a result, our SQL integration supports a high-level and type-safe access to databases in Curry programs. ...
We present an extension of the declarative programming language Curry to support the access to data stored in relational databases via SQL. ...
Conclusions We presented a framework to support a high-level and reliable access to relational databases from programs written in the declarative programming language Curry. ...
doi:10.4204/eptcs.234.8
fatcat:jb6vvvo5ebhcpcz7su7sivonti
Lazy Database Access with Persistent Predicates
2007
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We also present a typeoriented approach to convert between database and Curry values which is used to implement lazy access to persistent predicates based on a low level lazy database interface. ...
We extend previous work on persistent predicates for Curry by lazy database access. Results of a database query are only read as much as they are demanded by the application program. ...
We implemented database access using ports to get a high-level, maintainable, and portable Curry implementation that benefits from the extensive support for different database systems in Java. ...
doi:10.1016/j.entcs.2007.01.024
fatcat:3ygiohqbobbsneatzh56vwe7uy
An ER-Based Framework for Declarative Web Programming
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
In order to generate a high-level declarative implementation that can be easily adapted to individual customer requirements, the framework exploits previous works on declarative database programming and ...
For this purpose, we use the declarative multi-paradigm language Curry [3, 7] as an implementation language and exploit previous works on declarative database programming [1] and declarative construction ...
survey the basic concepts of Curry and their use for high-level web programming as required to understand the main part of this paper. ...
doi:10.1007/978-3-642-11503-5_18
fatcat:ufk5e7zuz5awpjttaslp2likn4
Compiling ER Specifications into Declarative Programs
[article]
2007
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
This paper proposes an environment to support high-level database programming in a declarative programming language. ...
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. ...
This will be the basis for the current framework that provides an environment for high-level programming with databases. ...
arXiv:0711.0348v1
fatcat:ci5jzljdprfedpsstivbbw6ao4
Putting declarative programming into the web
2007
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. ...
We demonstrate an implementation of this concept in the declarative multi-paradigm language Curry where the integrated functional and logic features are exploited to enable the high level of abstraction ...
In contrast to our proposal, GWT has no specific support to construct type-safe web forms in a high-level manner. ...
doi:10.1145/1273920.1273942
dblp:conf/ppdp/Hanus07
fatcat:rxu2wmcnznbglkautwbdvabh4a
...and enhances mouse genetics programs
1998
Nature Medicine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
The level of funding for both projects is yet to be determined, but the Sanger Centre in Cambridge is likely to get the largest share to enhance its mouse genome sequencing program. ...
REBECCA CURRIE, EDINBURGH A new, coordinated mutagenesis program and an ongoing genome sequencing effort will also receive priority funding from the MRC's "post-genome challenge" investment in mouse genetics ...
doi:10.1038/3915
pmid:9846557
fatcat:hkfvyvdtp5behnlb7mhdyuwv5y
Composition of ready cooked foods sampled in southern Thailand
2007
Asia Pacific Journal of Clinical Nutrition
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Moisture, ash, fat, protein and carbohydrate were high in Mungbean noodle soup (92.6 g), Fermented fish gut dish (4.1 g), Cassia curry (9.9 g), Stingray stir-fried curry (16.7 g) and Thai noodle salad ...
Problems inherent in using the single ingredient databases were highlighted. ...
This work was supported by a grant from the International Development Program of Australian Universities and Colleges (IDP), Australia. ...
pmid:17392077
fatcat:nanx3ycra5hk7d6p24shvwwh2q
Integration of functional and logic programming
1996
ACM Computing Surveys
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
This combination led to new design patterns [AH02, AH11] and better abstractions for application programming, e.g., as shown for programming with databases [BHM08, Fis05], GUI programming [Han00], web ...
in the past for logic programming languages. ...
MCC [Lux99] compiles Curry programs into C programs and uses also a depth-first search strategy to find the solutions of a given top-level goal. ...
doi:10.1145/234528.234734
fatcat:o34vgwwnbbcllnwozymoizu3am
Declarative Programming of User Interfaces
[chapter]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
We sketch an implementation of this concept in the declarative multi-paradigm programming language Curry and show how the integrated functional and logic features of Curry are exploited to enable a high-level ...
This paper proposes a declarative description of user interfaces that abstracts from low-level implementation details. ...
[12] presented a technique to construct type-safe WUIs in a high-level manner. ...
doi:10.1007/978-3-540-92995-6_2
fatcat:xgtlowfjdbce5duf66ucghyimi
Identifying the Transport Needs of the Transport Disadvantaged Groups in Rural Areas of New South Wales, Australia: A Case Study
2016
Journal of Sustainable Rural Development
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
They are a robust mechanism for government and non-government agencies to address community needs in rural NSW through specialised transportation services, and allocate appropriate funding levels in a ...
This transport supply index, in turn, assesses the provision of transport services in these areas. ...
Acknowledgements This research did not receive any specific grant from funding agencies in the public, commercial, or not-forprofit sectors. ...
doi:10.18869/nrip.jsrd.1.1.13
fatcat:xhgkemmi7zestau4w5dfcp26jq
CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry
[chapter]
2015
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
CHR requires a host language that provides the basic constraints used in a CHR program. ...
The first is an interpreter of CHR's refined operational semantics implemented in Curry, and the second compiles CHR rules into Prolog which can be directly used in Prolog-based Curry implementations, ...
In particular, one can define application-oriented constraint solvers as high-level CHR rules and use them as any other predefined constraint. ...
doi:10.1007/978-3-319-19686-2_6
fatcat:e2ekabtxgba3zbgsgznfxzqyze
Functional Logic Programming: From Theory to Curry
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
This paper surveys the foundations of functional logic programming that are relevant for Curry, the main features of Curry, and extensions and applications of Curry and functional logic programming. ...
The declarative multi-paradigm language Curry is influenced by recent advances in the foundations and implementation of functional logic languages. ...
Acknowledgments I am grateful to Harald Ganzinger who put me on this research track and created a productive research environment in his group that lead to my most important contributions in this area. ...
doi:10.1007/978-3-642-37651-1_6
fatcat:bi7s3wzbvbh5xf57gsox7uhhjq
Investigating links between transport disadvantage, social exclusion and well-being in Melbourne—Preliminary results
2009
Transport Policy
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
An exploration of high car ownership for groups on low income is also presented. Gaps in coverage of public transport are identified and future research outlined. ...
Metropolitan results are outlined including methodologies exploring the distribution of transport disadvantage in Melbourne, Australia and how this relates to public transport services. ...
Introduction Urban sprawl and sparse living are pervasive in Australia. Despite high levels of car ownership, many Australians do not have access to a private car for their travel needs. ...
doi:10.1016/j.tranpol.2009.02.002
fatcat:af5mvnlbarex5ikqhheqbsqev4
Inequality in Preschool Quality? Community-Level Disparities in Access to High-Quality Learning Environments
2015
Early Education and Development
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
programs. ...
In recent years, unequal access to high quality preschool has emerged as a growing public policy concern. ...
We aggregate all quality data to the zip code level. To capture community characteristics, we use zip code-level data from the 2010 U.S. Census Bureau's database. ...
doi:10.1080/10409289.2015.1057463
fatcat:vcsgfkvyenfzdhz5r4l53iasau
« Previous
Showing results 1 — 15 out of 12,779 results