prognostic < program < programmable

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by program

Number of relevant bibliographic references: 70.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000F97 (2013-10-09)	Nelly Agrinier [France] ; Christelle Altieri ; François Alla [France] ; Nicolas Jay [France] ; Daniela Dobre ; Nathalie Thilly [France] ; Faiez Zannad [France]	Effectiveness of a multidimensional home nurse led heart failure disease management program-A French nationwide time-series comparison
001629 (2013)	Lisa Keeping-Burke [Canada] ; Margaret Purden [Canada] ; Nancy Frasure-Smith [Canada] ; Sylvie Cossette [Canada] ; Frank Mccarthy [Canada] ; Rhonda Amsel [Canada]	Bridging the Transition from Hospital to Home: Effects of the VITAL Telehealth Program on Recovery for CABG Surgery Patients and their Caregivers
001816 (2012-12-07)	Pierre Caserta [France]	Static and Dynamic Analysis of Source Code and Software Visualization using the City Metaphor: contribution to enhance program understanding
001B93 (2012-03-25)	Omar Chebaro [France] ; Nikola I Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France]	Program Slicing Enhances a Verification Technique Combining Static and Dynamic Analysis
001E41 (2012)	Laurence Labat ; Pascal Kintz ; Christophe Doche	Editorial, meeting program and scientific program
001F65 (2011-12-09)	Guillaume Bonfante [France]	Implicit computational complexity : program interpretations
002256 (2011-06-30)	Omar Chebaro [France] ; Nikolai Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France]	The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging
003255 (2010)	Omar Chebaro [France] ; Nikolaï Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France]	Combining Static Analysis and Test Generation for {C} Program Debugging
003345 (2009-11)	Guillaume Bonfante [France] ; Florian Deloup [France] ; Antoine Henrot [France]	Polynomials over the reals are safe for program interpretations
003522 (2009-06-27)	Jean-François Couchot [France] ; Alain Giorgetti [France] ; Nicolas Stouls [France]	Graph Based Reduction of Program Verification Conditions
003674 (2009-03-11)	Emilie Balland [France]	Design of a programming language dedicated to program analysis and transformation
003744 (2009)	Jean-Yves Marion [France] ; Romain Péchoux [France]	Sup-interpretations, a semantic method for static analysis of program resources
004329 (2008)	Scott L. Mader [États-Unis] ; Marijo C. Medcraft [États-Unis] ; Carol Joseph [États-Unis] ; Kay L. Jenkins [États-Unis] ; Nancy Benton [États-Unis] ; Kathleen Chapman [États-Unis] ; Maggie A. Donius [États-Unis] ; Carol Baird [États-Unis] ; Richard Harper [États-Unis] ; Yasmin Ansari [États-Unis] ; Jim A. Jackson [États-Unis] ; William Schutzer [États-Unis]	Program at Home: A Veterans Affairs Healthcare Program to Deliver Hospital Care in the Home
004563 (2008)	Jean-François Couchot [France] ; Alain Giorgetti [France] ; Nicolas Stouls [France]	Graph-based Reduction of Program Verification Conditions
004654 (2007-11-14)	Romain Pechoux [France]	Program complexity analysis by semantics interpretation
005006 (2006-09-17)	Emilie Balland [France] ; Pierre-Etienne Moreau [France]	Optimizing pattern matching compilation by program transformation
005491 (2006)	Laura N. Gitlin [États-Unis] ; Karen Reever ; Marie P. Dennis ; Esther Mathieu ; Walter W. Hauck	Enhancing Quality of Life of Families Who Use Adult Day Services: Short- and Long-Term Effects of the Adult Day Services Plus Program
005739 (2006)	Emilie Balland [France] ; Pierre-Etienne Moreau [France]	Optimizing pattern matching compilation by program transformation
005D47 (2005)	Emilie Balland ; Pierre-Etienne Moreau	Optimizing Pattern Matching by Program Transformation
006B47 (2004)	Eelco Visser [Pays-Bas]	Program Transformation with Stratego/XT
007755 (2003)	Moussa Demba ; Khaled Bsaies ; Francis Alexandre	Correcting Faulty Conjectures by Logic Program Synthesis

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i -k "program" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "program" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Title.i
   |clé=    program
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022