The Experts below are selected from a list of 24 Experts worldwide ranked by ideXlab platform
Manuel V Hermenegildo - One of the best experts on this subject based on the ideXlab platform.
-
a syntactic approach to combining Functional Notation lazy evaluation and higher order in lp systems
International Symposium on Functional and Logic Programming, 2006Co-Authors: Amadeo Casas, Daniel Cabeza, Manuel V HermenegildoAbstract:Nondeterminism and partially instantiated data structures give logic programming expressive power beyond that of Functional programming. However, Functional programming often provides convenient syntactic features, such as having a designated implicit output argument, which allow function call nesting and sometimes results in more compact code. Functional programming also sometimes allows a more direct encoding of lazy evaluation, with its ability to deal with infinite data structures. We present a syntactic Functional extension, used in the Ciao system, which can be implemented in ISO-standard Prolog systems and covers function application, predefined evaluable functors, Functional definitions, quoting, and lazy evaluation. The extension is also composable with higher-order features and can be combined with other extensions to ISO-Prolog such as constraints. We also highlight the features of the Ciao system which help implementation and present some data on the overhead of using lazy evaluation with respect to eager evaluation.
-
Functional Notation and lazy evaluation in ciao
Proceedings of CICLOPS 2005: Colloquium on Implementation of Constraint and Logic Programming Systems | CICLOPS 2005: Colloquium on Implementation of , 2005Co-Authors: Amadeo Casas, Daniel Cabeza Gras, Manuel V HermenegildoAbstract:Certain aspects of Functional programming provide syntactic convenience, such as having a designated implicit output argument, which allows function cali nesting and sometimes results in more compact code. Functional programming also sometimes allows a more direct encoding of lazy evaluation, with its ability to deal with infinite data structures. We present a syntactic Functional extension of Prolog covering function application, predefined evaluable functors, Functional definitions, quoting, and lazy evaluation. The extension is also composable with higher-order features. We also highlight the Ciao features which help implementation and present some data on the overhead of using lazy evaluation with respect to eager evaluation.
Lewis A Rossman - One of the best experts on this subject based on the ideXlab platform.
-
modeling reaction and transport of multiple species in water distribution systems
Environmental Science & Technology, 2008Co-Authors: Feng Shang, James G Uber, Lewis A RossmanAbstract:A general framework for modeling the reaction and transport of multiple, interacting chemical species in drinking water distribution systems is developed. It accommodates reactions between constituents in both the bulk flow (through pipes and storage tanks) and those attached to pipe walls. The framework has been implemented as an extension to the well-known EPANET programmer's toolkit (a library of functions that simulates hydraulic behavior and water quality transport in pipe networks). The implementation allows modelers to define the particular species of interest and their chemical equilibrium and reaction rate equations in a natural fashion using standard Functional Notation. It also employs several different numerical methods, including a stiff differential equation solver, to solve the reaction/equilibrium system throughout the pipe network using the standard EPANET transport algorithm. The flexibility and power of the framework is demonstrated with two examples that model water quality dynamics governed by different reaction/equilibrium systems.
-
modeling reaction and transport of multiple species in water distribution systems
Environmental Science & Technology, 2008Co-Authors: Feng Shang, James G Uber, Lewis A RossmanAbstract:A general framework for modeling the reaction and transport of multiple, interacting chemical species in drinking water distribution systems is developed. It accommodates reactions between constituents in both the bulk flow (through pipes and storage tanks) and those attached to pipe walls. The framework has been implemented as an extension to the well-known EPANET programmer’s toolkit (a library of functions that simulates hydraulic behavior and water quality transport in pipe networks). The implementation allows modelers to define the particular species of interest and their chemical equilibrium and reaction rate equations in a natural fashion using standard Functional Notation. It also employs several different numerical methods, including a stiff differential equation solver, to solve the reaction/equilibrium system throughout the pipe network using the standard EPANET transport algorithm. The flexibility and power of the framework is demonstrated with two examples that model water quality dynamics go...
Amadeo Casas - One of the best experts on this subject based on the ideXlab platform.
-
a syntactic approach to combining Functional Notation lazy evaluation and higher order in lp systems
International Symposium on Functional and Logic Programming, 2006Co-Authors: Amadeo Casas, Daniel Cabeza, Manuel V HermenegildoAbstract:Nondeterminism and partially instantiated data structures give logic programming expressive power beyond that of Functional programming. However, Functional programming often provides convenient syntactic features, such as having a designated implicit output argument, which allow function call nesting and sometimes results in more compact code. Functional programming also sometimes allows a more direct encoding of lazy evaluation, with its ability to deal with infinite data structures. We present a syntactic Functional extension, used in the Ciao system, which can be implemented in ISO-standard Prolog systems and covers function application, predefined evaluable functors, Functional definitions, quoting, and lazy evaluation. The extension is also composable with higher-order features and can be combined with other extensions to ISO-Prolog such as constraints. We also highlight the features of the Ciao system which help implementation and present some data on the overhead of using lazy evaluation with respect to eager evaluation.
-
Functional Notation and lazy evaluation in ciao
Proceedings of CICLOPS 2005: Colloquium on Implementation of Constraint and Logic Programming Systems | CICLOPS 2005: Colloquium on Implementation of , 2005Co-Authors: Amadeo Casas, Daniel Cabeza Gras, Manuel V HermenegildoAbstract:Certain aspects of Functional programming provide syntactic convenience, such as having a designated implicit output argument, which allows function cali nesting and sometimes results in more compact code. Functional programming also sometimes allows a more direct encoding of lazy evaluation, with its ability to deal with infinite data structures. We present a syntactic Functional extension of Prolog covering function application, predefined evaluable functors, Functional definitions, quoting, and lazy evaluation. The extension is also composable with higher-order features. We also highlight the Ciao features which help implementation and present some data on the overhead of using lazy evaluation with respect to eager evaluation.
Feng Shang - One of the best experts on this subject based on the ideXlab platform.
-
modeling reaction and transport of multiple species in water distribution systems
Environmental Science & Technology, 2008Co-Authors: Feng Shang, James G Uber, Lewis A RossmanAbstract:A general framework for modeling the reaction and transport of multiple, interacting chemical species in drinking water distribution systems is developed. It accommodates reactions between constituents in both the bulk flow (through pipes and storage tanks) and those attached to pipe walls. The framework has been implemented as an extension to the well-known EPANET programmer's toolkit (a library of functions that simulates hydraulic behavior and water quality transport in pipe networks). The implementation allows modelers to define the particular species of interest and their chemical equilibrium and reaction rate equations in a natural fashion using standard Functional Notation. It also employs several different numerical methods, including a stiff differential equation solver, to solve the reaction/equilibrium system throughout the pipe network using the standard EPANET transport algorithm. The flexibility and power of the framework is demonstrated with two examples that model water quality dynamics governed by different reaction/equilibrium systems.
-
modeling reaction and transport of multiple species in water distribution systems
Environmental Science & Technology, 2008Co-Authors: Feng Shang, James G Uber, Lewis A RossmanAbstract:A general framework for modeling the reaction and transport of multiple, interacting chemical species in drinking water distribution systems is developed. It accommodates reactions between constituents in both the bulk flow (through pipes and storage tanks) and those attached to pipe walls. The framework has been implemented as an extension to the well-known EPANET programmer’s toolkit (a library of functions that simulates hydraulic behavior and water quality transport in pipe networks). The implementation allows modelers to define the particular species of interest and their chemical equilibrium and reaction rate equations in a natural fashion using standard Functional Notation. It also employs several different numerical methods, including a stiff differential equation solver, to solve the reaction/equilibrium system throughout the pipe network using the standard EPANET transport algorithm. The flexibility and power of the framework is demonstrated with two examples that model water quality dynamics go...
James G Uber - One of the best experts on this subject based on the ideXlab platform.
-
modeling reaction and transport of multiple species in water distribution systems
Environmental Science & Technology, 2008Co-Authors: Feng Shang, James G Uber, Lewis A RossmanAbstract:A general framework for modeling the reaction and transport of multiple, interacting chemical species in drinking water distribution systems is developed. It accommodates reactions between constituents in both the bulk flow (through pipes and storage tanks) and those attached to pipe walls. The framework has been implemented as an extension to the well-known EPANET programmer's toolkit (a library of functions that simulates hydraulic behavior and water quality transport in pipe networks). The implementation allows modelers to define the particular species of interest and their chemical equilibrium and reaction rate equations in a natural fashion using standard Functional Notation. It also employs several different numerical methods, including a stiff differential equation solver, to solve the reaction/equilibrium system throughout the pipe network using the standard EPANET transport algorithm. The flexibility and power of the framework is demonstrated with two examples that model water quality dynamics governed by different reaction/equilibrium systems.
-
modeling reaction and transport of multiple species in water distribution systems
Environmental Science & Technology, 2008Co-Authors: Feng Shang, James G Uber, Lewis A RossmanAbstract:A general framework for modeling the reaction and transport of multiple, interacting chemical species in drinking water distribution systems is developed. It accommodates reactions between constituents in both the bulk flow (through pipes and storage tanks) and those attached to pipe walls. The framework has been implemented as an extension to the well-known EPANET programmer’s toolkit (a library of functions that simulates hydraulic behavior and water quality transport in pipe networks). The implementation allows modelers to define the particular species of interest and their chemical equilibrium and reaction rate equations in a natural fashion using standard Functional Notation. It also employs several different numerical methods, including a stiff differential equation solver, to solve the reaction/equilibrium system throughout the pipe network using the standard EPANET transport algorithm. The flexibility and power of the framework is demonstrated with two examples that model water quality dynamics go...
