Program Development Using Abstract Interpretation (And the Ciao System Preprocessor)

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-44898-5_8 ◽

2003 ◽

pp. 127-152 ◽

Cited By ~ 17

Author(s):

Manuel V. Hermenegildo ◽

Germán Puebla ◽

Francisco Bueno ◽

Pedro López-García

Keyword(s):

Program Development ◽

Abstract Interpretation

Download Full-text

Carolyn S. Schroeder Award for Outstanding Clinical Practice: Program development, practice integration, and early career development.

Clinical Practice in Pediatric Psychology ◽

10.1037/cpp0000111 ◽

2015 ◽

Vol 3 (4) ◽

pp. 262-269

Author(s):

Shanna M. Guilfoyle

Keyword(s):

Clinical Practice ◽

Career Development ◽

Program Development ◽

Early Career ◽

Development Practice

Download Full-text

A British-American Psychologist on Core Assumptions of Managed Healthcare and Suggestions for Clinical Program Development

PsycEXTRA Dataset ◽

10.1037/e412542005-007 ◽

1999 ◽

Author(s):

Jay Skidmore ◽

Keyword(s):

Program Development ◽

American Psychologist ◽

Clinical Program

Download Full-text

Addressing the Diverse Needs of Adolescents Through Community-Based Collaboration and Consultation: Contextualized HIV Prevention for Female Mexican Adolescents: From Process to Program Development

PsycEXTRA Dataset ◽

10.1037/e413792005-657 ◽

2000 ◽

Author(s):

Audrey Bangi

Keyword(s):

Hiv Prevention ◽

Program Development ◽

Community Based ◽

Mexican Adolescents

Download Full-text

Engaging People Who Use Drugs in Policy and Program Development: A Community-based Approach

PsycEXTRA Dataset ◽

10.1037/e509182013-001 ◽

2012 ◽

Author(s):

Lianping Ti ◽

◽

Despina Tzemis ◽

Margot Kuo ◽

Jane Buxton

Keyword(s):

Program Development ◽

People Who Use Drugs ◽

Community Based

Download Full-text

Managing Program Development to Enhance Quality Training

PsycEXTRA Dataset ◽

10.1037/e516082018-001 ◽

2014 ◽

Author(s):

Robert Perl

Keyword(s):

Program Development

Download Full-text

Individual differences and learner control I: Program development and investigation of control over mnemonics in computer-assisted instruction

PsycEXTRA Dataset ◽

10.1037/e531132009-001 ◽

1974 ◽

Author(s):

Wilson A. Judd ◽

Harold F. O'Neil ◽

Philip F. Spelt

Keyword(s):

Individual Differences ◽

Program Development ◽

Learner Control ◽

Computer Assisted Instruction ◽

Computer Assisted ◽

Assisted Instruction

Download Full-text

Exploratory evaluation of a concept termed restoration: Program development, immediate and long term therapeutic effects

PsycEXTRA Dataset ◽

10.1037/e532212008-014 ◽

1967 ◽

Author(s):

William Hirschman

Keyword(s):

Program Development ◽

Therapeutic Effects

Download Full-text

Training Cops: Program Development and Implementation

PsycEXTRA Dataset ◽

10.1037/e579842013-001 ◽

2013 ◽

Author(s):

Melissa Graham ◽

Romana Lopez

Keyword(s):

Program Development

Download Full-text

Developmental Counseling Model for Illinois Schools: Guidelines for Program Development and Recommended Practices and Procedures for School Counselors: Second Edition

PsycEXTRA Dataset ◽

10.1037/e596602010-001 ◽

2010 ◽

Keyword(s):

School Counselors ◽

Program Development ◽

Developmental Counseling ◽

Recommended Practices ◽

Counseling Model ◽

Illinois Schools

Download Full-text

Internet addiction recovery after-care program development research

PsycEXTRA Dataset ◽

10.1037/e596352013-001 ◽

2013 ◽

Author(s):

Yeo-Ju Chung ◽

Sungman Shin ◽

Do Hyung Lee ◽

Ji Yun Kim ◽

Su Jung Ryu ◽

...

Keyword(s):

Program Development ◽

Internet Addiction ◽

Care Program ◽

Development Research ◽

Addiction Recovery ◽

After Care

Download Full-text