Filters








410,319 Hits in 3.4 sec

Reduction Strategies for Declarative Programming

Michael Hanus
2001 Electronical Notes in Theoretical Computer Science  
This paper surveys reduction or evaluation strategies for functional and functional logic programs.  ...  Reasonable reduction strategies for declarative languages must be efficiently implementable to be useful in practice.  ...  to understand their meaning. 2 Improving Reduction Strategies to Support Declarative Programming The general objective of declarative programming is to support the development of programs that are understandable  ... 
doi:10.1016/s1571-0661(04)00273-7 fatcat:jtcnfes5ireuxlctdpm6nxkehm

Harm Reduction: When Evidence Should Influence Health Policy

Bikaramjit Mann MD
2016 Canadian Journal of General Internal Medicine  
An example of a successful harm reduction strategy is the use of needle exchange programs or syringe exchange programs.  ...  This article examines the evidence supporting the efficacy of one such harm reduction strategy, namely, needle exchange programs; it also outlines a simple approach for medical students, residents, physicians  ...  An example of a successful harm reduction strategy is the use of needle exchange programs or syringe exchange programs.  ... 
doi:10.22374/cjgim.v8i2.71 fatcat:k64hs2efcfhfrnhlxkbzvn3omm

Reduction strategies in rewriting and programming

Bernhard Gramlich, Salvador Lucas
2005 Journal of symbolic computation  
Editorial Reduction strategies in rewriting and programming Reduction strategies in rewriting and programming have attracted increasing attention within the last few years.  ...  The need for a deeper understanding of reduction strategies in rewriting and programming, both in theory and practice, is obvious, since they bridge the gap between unrestricted general rewriting (computation  ...  Acknowledgements Regarding the reviewing process we are very grateful to the program committee members of WRS 2001 and WRS 2002 whose evaluations and comments provided the basis for the initial selection  ... 
doi:10.1016/j.jsc.2004.12.006 fatcat:ydbusvr6ufcjpen63pveajfbni

Preface

Bernhard Gramlich, Salvador Lucas
2001 Electronical Notes in Theoretical Computer Science  
The need for a deeper understanding of reduction strategies in rewriting and programming, both in theory and practice, is obvious, since they bridge the gap between unrestricted general rewriting (computation  ...  1st International Workshop on The motivation to organize this forum stems from the fact that reduction strategies in rewriting and programming have attracted an increasing attention within the last years  ...  for Functional Logic Programming by Sergio Antoy A Survey of Strategies in Program Transformation Systems by Eelco Visser as well as the worked out panel contributions Reduction Strategies for Declarative  ... 
doi:10.1016/s1571-0661(05)80558-4 fatcat:zsj5neatxff5hfcii2b6kqan6q

Residuation and Guarded Rules for Constraint Logic Programming [chapter]

Gert Smolka
1992 TEUBNER-TEXTE zur Informatik  
Residuation is a control strategy giving priority to determinate reductions. Guarded rules are logical consequences of programs adding otherwise unavailable determinate reductions.  ...  In this paper we present two concepts, residuation and guarded rules, for further strengthening determinate reduction.  ...  Residuation Residuation 1 is a control strategy for constraint logic programming meant to replace the rigid depth first strategy of Prolog, which amounts to eager generation of usually wrong assumptions  ... 
doi:10.1007/978-3-322-95233-2_24 fatcat:cgxmdubdijbx5mx26hc5aamjy4

Teaching functional and logic programming with a single computation model [chapter]

Michael Hanus
1997 Lecture Notes in Computer Science  
Functional and logic programming are often taught in different courses so that students often do not understand the relationships between these declarative programming paradigms.  ...  This is mainly due to the different underlying computation models-deterministic reduction and lazy evaluation in functional languages, and non-deterministic search in logic languages.  ...  Definitional trees (without or and and nodes) are introduced to define an efficient normalizing reduction strategy for inductively sequential programs.  ... 
doi:10.1007/bfb0033854 fatcat:tq22j666wbe73frg6gvvtvnqwa

Harm reduction among people who inject drugs in Mexico

Carlos Magis-Rodríguez, José Alfredo García-Sánchez, Rodrigo Marín-Navarrete
2018 Salud mental (Mexico)  
Likewise, international recommendations indicate that the integration of a more comprehensive program for harm reduction in PWID with multiple strategies at multiple levels of action increases success.  ...  The period from 2007 to 2009 was crucial for harm reduction strategies in Mexico, since needle exchange programs were extended to seven states (Baja California, Chihuahua, Coahuila, Nuevo León, Oaxaca  ... 
doi:10.17711/sm.0185-3325.2018.023 fatcat:rwzlnuqpb5dcvgh65cmjdejv5i

Program Does Not Equal Program: Constraint Programming and Its Relationship to Mathematical Programming

Irvin J. Lustig, Jean-François Puget
2001 Interfaces  
For those familiar with mathematical programming, a number of language barriers make it difficult to understand the concepts of constraint programming.  ...  Arising from research in the computer science community, constraint programming is a fairly new technique for solving optimization problems.  ...  for solving mixed-integer programming problems by using the same programming objects for declaring the decision variables and for programming the search strategies.  ... 
doi:10.1287/inte.31.6.29.9647 fatcat:arvkde5p2bgexjdbndinsteday

Program Does Not Equal Program: Constraint Programming and Its Relationship to Mathematical Programming

Irvin J. Lustig, Jean-Francois Puget
2001 Interfaces  
For those familiar with mathematical programming, a number of language barriers make it difficult to understand the concepts of constraint programming.  ...  Arising from research in the computer science community, constraint programming is a fairly new technique for solving optimization problems.  ...  for solving mixed-integer programming problems by using the same programming objects for declaring the decision variables and for programming the search strategies.  ... 
doi:10.1287/inte.31.7.29.9647 fatcat:wrokm3jcvneivbqniirnk43dpe

Strategies in Programming Languages Today

Salvador Lucas
2005 Electronical Notes in Theoretical Computer Science  
on Reduction Strategies in Rewriting and Programming (WRS'04).  ...  This paper provides a brief account of motivation, themes, and research directions leading to the round table on Strategies in Programming Languages Today organized as part of the 4th International Workshop  ...  strategies for the program.  ... 
doi:10.1016/j.entcs.2004.11.023 fatcat:vhjy5bienzd2rfk265yuuwa5um

Millennium development goals and child undernutrition

A. K. Patwari
2013 Indian Pediatrics  
Whereas the goals and targets are clearly spelled out in the United Nations Millennium Declaration (UNMD), development of new strategies and implementation of programs to achieve these targets remain the  ...  Strategies, based on "best practices" for moving forwards to achieve Goal 1 of UNMD, include economic and social initiatives that focus on poverty reduction, capacity-building for poverty assessment, monitoring  ... 
doi:10.1007/s13312-013-0144-7 pmid:23778725 fatcat:kmpnw3nofbh23j6bzxds7vfuee

Introducing concurrency in sequential Java via laws

Rafael Duarte, Alexandre Mota, Augusto Sampaio
2011 Information Processing Letters  
In this paper we propose a parallelization strategy for Java using algebraic laws.  ...  We perform an experiment with two benchmarks and show that our strategy produces a gain similar to a specialized parallel version provided by the Java Grande Benchmark (JGB).  ...  This normal form can be obtained for an arbitrary Java program by using a reduction strategy detailed on [7, 9] . The major steps of this reduction strategy are. 1.  ... 
doi:10.1016/j.ipl.2010.11.004 fatcat:fq4am5bb7vaedgfm4i2teqh3yu

Algebraic reasoning for object-oriented programming

Paulo Borba, Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio
2004 Science of Computer Programming  
We present algebraic laws for a language similar to a subset of sequential Java that includes inheritance, recursive classes, dynamic binding, access control, type tests and casts, assignment, but no sharing  ...  We also show that they are complete in the sense that they are sufficient to reduce an arbitrary program to a normal form substantially close to an imperative program; the remaining object-oriented constructs  ...  Acknowledgements We thank our collaborator David Naumann for many discussions that significantly contributed to the research reported here. He jointly defined with Ana Cavalcanti the  ... 
doi:10.1016/j.scico.2004.03.003 fatcat:zmgl57jp5bbk7annt556eknycq

The Duality of Construction [chapter]

Paul Downen, Zena M. Ariola
2014 Lecture Notes in Computer Science  
Finally, we explore a calculus with composite evaluation strategies that allow for more flexibility over evaluation order by mingling multiple primitive strategies within a single program.  ...  We characterize an evaluation strategy by the notion of substitutability, given by defining what is a value and a co-value, and we present an equational theory that takes the strategy as a parameter.  ...  We would like to thank Pierre-Louis Curien, Hugo Herbelin, and Alexis Saurin for their helpful input and discussion in early versions of this paper, and to acknowledge the support of INRIA and Paris Diderot  ... 
doi:10.1007/978-3-642-54833-8_14 fatcat:qd5tj3b6kvh3jbfinvfefvk4pi

Global Response to the Burden of Cancer: The WHO Approach

Andreas Ullrich, Anthony Miller
2014 American Society of Clinical Oncology Educational Book  
The implementation of these core strategies gained momentum in 2011, when heads of states at the United Nation's (UN) High Level Meeting (HLM) on NCDs declared that NCDs are a global health threat that  ...  Although cancer risk reduction will profit from the WHO Global NCD Action Plan, comprehensive cancer prevention and control will require other supplementary strategies not included in the plan because  ...  REDUCTION POLICIES AND STRATEGIES Over the last decade and starting from a fırst generic NCD framework in 2000, WHO has developed a series of milestones in population-based risk reduction strategies for  ... 
doi:10.14694/edbook_am.2014.34.e311 pmid:24857118 fatcat:wrhoeobc6vbrha7u3hqbuirqyq
« Previous Showing results 1 — 15 out of 410,319 results