Dependent types for program termination verification

Author(s):  
Hongwei Xi
2001 ◽  
Vol 36 (3) ◽  
pp. 81-92 ◽  
Author(s):  
Chin Soon Lee ◽  
Neil D. Jones ◽  
Amir M. Ben-Amram

2011 ◽  
Vol 54 (5) ◽  
pp. 88-98 ◽  
Author(s):  
Byron Cook ◽  
Andreas Podelski ◽  
Andrey Rybalchenko
Keyword(s):  

Author(s):  
Nikhil Swamy ◽  
Juan Chen ◽  
Cédric Fournet ◽  
Pierre-Yves Strub ◽  
Karthikeyan Bhargavan ◽  
...  

2014 ◽  
Vol 49 (10) ◽  
pp. 233-249 ◽  
Author(s):  
Nada Amin ◽  
Tiark Rompf ◽  
Martin Odersky

2007 ◽  
Vol 1 (2) ◽  
pp. 77-99
Author(s):  
Douglas Klayman ◽  
Jenny Crawford

This article presents findings from the five-year evaluation of a youth wraparound mental health program called Community Kids. The structure of the program, sociological theories underlying the philosophy of wraparound, and the context of the mental health system prior to program implementation are discussed. Included are utilization trends from inception through program termination. The impact analysis is presented in terms of five outcome domains for three participant cohorts, defined by tenure in the program. This longitudinal quasi-experimental research provides additional evidence of the efficacy of systems of care and the wraparound model in terms of improving clinical outcomes for youth.


Sign in / Sign up

Export Citation Format

Share Document