The Experts below are selected from a list of 360 Experts worldwide ranked by ideXlab platform
Michael Hanus - One of the best experts on this subject based on the ideXlab platform.
-
Currycheck checking properties of Curry programs
Logic-based Program Synthesis and Transformation, 2016Co-Authors: Michael HanusAbstract:We present CurryCheck, a tool to automate the testing of programs written in the functional logic programming language Curry. CurryCheck executes unit tests as well as property tests which are parameterized over one or more arguments. CurryCheck tests properties by systematically enumerating test cases so that, for smaller finite domains, CurryCheck can actually prove properties. Unit tests and properties can be defined in a Curry module without being exported. Thus, they are also useful to document the intended semantics of the source code. Furthermore, CurryCheck also supports the automated checking of specifications and contracts occurring in source programs. Hence, CurryCheck is a useful tool that contributes to the property- and specification-based development of reliable and well tested declarative programs.
-
Currycheck checking properties of Curry programs
arXiv: Programming Languages, 2016Co-Authors: Michael HanusAbstract:We present CurryCheck, a tool to automate the testing of programs written in the functional logic programming language Curry. CurryCheck executes unit tests as well as property tests which are parameterized over one or more arguments. In the latter case, CurryCheck tests these properties by systematically enumerating test cases so that, for smaller finite domains, CurryCheck can actually prove properties. Unit tests and properties can be defined in a Curry module without being exported. Thus, they are also useful to document the intended semantics of the source code. Furthermore, CurryCheck also supports the automated checking of specifications and contracts occurring in source programs. Hence, CurryCheck is a useful tool that contributes to the property- and specification-based development of reliable and well tested declarative programs.
-
functional logic programming from theory to Curry
Programming Logics, 2013Co-Authors: Michael HanusAbstract:Functional logic programming languages combine the most important declarative programming paradigms, and attempts to combine these paradigms have a long history. The declarative multi-paradigm language Curry is influenced by recent advances in the foundations and implementation of functional logic languages. The development of Curry is an international initiative intended to provide a common platform for the research, teaching, and application of integrated functional logic languages. 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.
-
kics2 a new compiler from Curry to haskell
Workshop on Functional and Constraint Logic Programming, 2011Co-Authors: Bernd Brasel, Michael Hanus, Bjorn Peemoller, Fabian ReckAbstract:In this paper we present our first steps towards a new system to compile functional logic programs of the source language Curry into purely functional Haskell programs. Our implementation is based on the idea to represent non-deterministic results as values of the data types corresponding to the results. This enables the application of various search strategies to extract values from the search space. We show by several benchmarks that our implementation can compete with or outperform other existing implementations of Curry.
-
high level database programming in Curry
Practical Aspects of Declarative Languages, 2008Co-Authors: Bernd Brasel, Michael Hanus, Marion MullerAbstract:This paper presents an environment to support high-level database programming in the multi-paradigm declarative programming language Curry. We define an application programming interface (API) that abstracts from the concrete database access methods. The API supports transactions and exploits Curry's type system to ensure a strict separation between queries and updates. In order to ensure database updates that are safe w.r.t. an intended data model (e.g., containing specific relations between entities), we assume a description of the data dependencies in the entity-relationship (ER) model from which all access and update operations related to the database are generated. 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. 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.
Sigang Fan - One of the best experts on this subject based on the ideXlab platform.
-
larval development and juvenile growth of the sea cucumber stichopus sp Curry fish
Aquaculture, 2010Co-Authors: Jing Wen, Lvping Zhang, Sigang FanAbstract:The global populations of Curry fish have been severely depleted over the past decade. This study describes spawning, fertilization, larval rearing, and juvenile growth in a commercially important Stichopus species. Data pooled from monthly trials conducted over 2 years indicate that, under optimal conditions, juveniles can be grown to a size of ca. 20 cm in length in 7 months. The survival rates are typically between 30 and 50%. Pilot research indicates that the growth of young sea cucumbers in abandoned abalone tanks has potential. Overall, this study demonstrates that Curry fish can be reared in captivity, thus providing an alternative to fisheries. or a way to maintain sustainable harvests and eventually contribute to the restoration of the natural populations. (C) 2009 Elsevier B.V. All rights reserved.
Ting Su - One of the best experts on this subject based on the ideXlab platform.
-
larval development and juvenile growth of the sea cucumber stichopus sp Curry fish
Aquaculture, 2010Co-Authors: Chaoqun Hu, Lvping Zhang, Youhou Xu, Ting SuAbstract:The global populations of Curry fish have been severely depleted over the past decade. This study describes spawning, fertilization, larval rearing, and juvenile growth in a commercially important Stichopus species. Data pooled from monthly trials conducted over 2 years indicate that, under optimal conditions, juveniles can be grown to a size of ca. 20 cm in length in 7 months. The survival rates are typically between 30 and 50%. Pilot research indicates that the growth of young sea cucumbers in abandoned abalone tanks has potential. Overall, this study demonstrates that Curry fish can be reared in captivity, thus providing an alternative to fisheries. or a way to maintain sustainable harvests and eventually contribute to the restoration of the natural populations. (C) 2009 Elsevier B.V. All rights reserved.
Lvping Zhang - One of the best experts on this subject based on the ideXlab platform.
-
larval development and juvenile growth of the sea cucumber stichopus sp Curry fish
Aquaculture, 2010Co-Authors: Chaoqun Hu, Lvping Zhang, Youhou Xu, Ting SuAbstract:The global populations of Curry fish have been severely depleted over the past decade. This study describes spawning, fertilization, larval rearing, and juvenile growth in a commercially important Stichopus species. Data pooled from monthly trials conducted over 2 years indicate that, under optimal conditions, juveniles can be grown to a size of ca. 20 cm in length in 7 months. The survival rates are typically between 30 and 50%. Pilot research indicates that the growth of young sea cucumbers in abandoned abalone tanks has potential. Overall, this study demonstrates that Curry fish can be reared in captivity, thus providing an alternative to fisheries. or a way to maintain sustainable harvests and eventually contribute to the restoration of the natural populations. (C) 2009 Elsevier B.V. All rights reserved.
-
larval development and juvenile growth of the sea cucumber stichopus sp Curry fish
Aquaculture, 2010Co-Authors: Jing Wen, Lvping Zhang, Sigang FanAbstract:The global populations of Curry fish have been severely depleted over the past decade. This study describes spawning, fertilization, larval rearing, and juvenile growth in a commercially important Stichopus species. Data pooled from monthly trials conducted over 2 years indicate that, under optimal conditions, juveniles can be grown to a size of ca. 20 cm in length in 7 months. The survival rates are typically between 30 and 50%. Pilot research indicates that the growth of young sea cucumbers in abandoned abalone tanks has potential. Overall, this study demonstrates that Curry fish can be reared in captivity, thus providing an alternative to fisheries. or a way to maintain sustainable harvests and eventually contribute to the restoration of the natural populations. (C) 2009 Elsevier B.V. All rights reserved.
Cheryl L Rock - One of the best experts on this subject based on the ideXlab platform.
-
curcumin content of turmeric and Curry powders
Nutrition and Cancer, 2006Co-Authors: Reema F Tayyem, Dennis D Heath, Wael K Aldelaimy, Cheryl L RockAbstract:Curcumin, derived from the rhizome curcuma longa, is one of the primary ingredients in turmeric and Curry powders that are used as spices in Middle Eastern and Asian countries, especially on the Indian subcontinent. More recently, laboratory studies have demonstrated that dietary curcumin exhibits various biological activities and significantly inhibits colon tumorigenesis and tumor size in animals. Curcumin displays both anti-inflammatory and antioxidant properties, giving it the potential to be considered in the development of cancer preventive strategies and applications in clinical research. Experimental studies have shown the biological activities of the compound, but much more information on pharmacokinetics, bioavailability, and food content are needed. Whether the amount of curcumin in turmeric and Curry powders is sufficient to suggest effects on biological activities and cancer risk is unknown. To determine and compare the quantitative amounts of curcumin that are present in several brands of turmeric and Curry powders, a high performance liquid chromatography technique was used to analyze 28 spice products described as turmeric or Curry powders and two negative controls. Pure turmeric powder had the highest curcumin concentration, averaging 3.14% by weight. The Curry powder samples, with one exception, had relatively small amounts of curcumin present, and the variability in content was great. The curcumin content of these seasoning products that are consumed as a component of the diet should be considered in evaluating baseline tissue concentration and response to curcumin supplementation, which is under study in chemoprevention trials.
