12,779 Hits in 5.3 sec

High-Level Database Programming in Curry [chapter]

Bernd Braßel, Michael Hanus, Marion Müller
Practical Aspects of Declarative Languages  
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

Michael Hanus, Julia Krone
2017 Electronic Proceedings in Theoretical Computer Science  
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

Sebastian Fischer
2007 Electronical Notes in Theoretical Computer Science  
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]

Michael Hanus, Sven Koschnicke
2010 Lecture Notes in Computer Science  
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]

Bernd Braßel, Michael Hanus, Marion Muller
2007 arXiv   pre-print
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

Michael Hanus
2007 Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '07  
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

Rebecca Currie
1998 Nature Medicine  
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

Anocha Kajadphai-Taungbodhitham
2007 Asia Pacific Journal of Clinical Nutrition  
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

Michael Hanus, Herbert Kuchen
1996 ACM Computing Surveys  
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]

Michael Hanus, Christof Kluß
2008 Lecture Notes in Computer Science  
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

Bruno Parolin, Shahbakhti Rostami
2016 Journal of Sustainable Rural Development  
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]

Michael Hanus
2015 Lecture Notes in Computer Science  
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]

Michael Hanus
2013 Lecture Notes in Computer Science  
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

Graham Currie, Tony Richardson, Paul Smyth, Dianne Vella-Brodrick, Julian Hine, Karen Lucas, Janet Stanley, Jenny Morris, Ray Kinnear, John Stanley
2009 Transport Policy  
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

Daphna Bassok, Eva Galdo
2015 Early Education and Development  
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