6 resultados para Culture (language and religion)

em Boston University Digital Common


Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper formally defines the operational semantic for TRAFFIC, a specification language for flow composition applications proposed in BUCS-TR-2005-014, and presents a type system based on desired safety assurance. We provide proofs on reduction (weak-confluence, strong-normalization and unique normal form), on soundness and completeness of type system with respect to reduction, and on equivalence classes of flow specifications. Finally, we provide a pseudo-code listing of a syntax-directed type checking algorithm implementing rules of the type system capable of inferring the type of a closed flow specification.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The purpose of the project is to research the shape and influence of religion and spirituality in the lives of U.S. adolescents; to identify effective practices in the religious, moral, and social formation of the lives of youth; to describe the extent to which youth participate in and benefit from the programs and opportunities that religious communities are offering to their youth; and to foster an informed national discussion about the influence of religion in youth's lives, in order to encourage sustained reflection about and rethinking of our cultural and institutional practices with regard to youth and religion.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This report demonstrates that religion among U.S. adolescents is positively related to participation in constructive youth activities. In addition, those who participate in religious activities seem to be less likely to participate in many delinquent and risk behaviors.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

http://www.archive.org/details/christianmission027881mbp