Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
The environmental and health impacts of tobacco agriculture, cigarette manufacture and consumptionNovotny, Thomas E ; Bialous, Stella Aguinaga ; Burt, Lindsay ; Curtis, Clifton ; da Costa, Vera Luiza ; Iqtidar, Silvae Usman ; Liu, Yuchen ; Pujari, Sameer ; Tursan d'Espaignet, EdouardBulletin of the World Health Organization, 2015-12, Vol.93 (12), p.877-880 [Periódico revisado por pares]Switzerland: World Health OrganizationTexto completo disponível |
|
2 |
Material Type: Artigo
|
Multijava : Design rationale, compiler implementation, and applicationsCLIFTON, Curtis ; MILLSTEIN, Todd ; LEAVENS, Gary T ; CHAMBERS, CraigACM transactions on programming languages and systems, 2006-05, Vol.28 (3), p.517-575 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
|
3 |
Material Type: Artigo
|
MiniMAO1 : An imperative core language for studying aspect-oriented reasoningClifton, Curtis ; Leavens, Gary T.Science of computer programming, 2006-12, Vol.63 (3), p.321-374 [Periódico revisado por pares]Texto completo disponível |
|
4 |
Material Type: Artigo
|
Tobacco industry responsibility for butts: a Model Tobacco Waste ActCurtis, Clifton ; Novotny, Thomas E ; Lee, Kelley ; Freiberg, Mike ; McLaughlin, IanTobacco control, 2017-01, Vol.26 (1), p.113-117 [Periódico revisado por pares]England: BMJ Publishing GroupTexto completo disponível |
|
5 |
Material Type: Artigo
|
Perspectives on Tobacco Product Waste: A Survey of Framework Convention Alliance Members' Knowledge, Attitudes, and BeliefsJavadian, Sanas ; Stigler-Granados, Paula ; Curtis, Clifton ; Thompson, Francis ; Huber, Laurent ; Novotny, Thomas EInternational journal of environmental research and public health, 2015-08, Vol.12 (8), p.9683-9691 [Periódico revisado por pares]Switzerland: MDPI AGTexto completo disponível |
|
6 |
Material Type: Artigo
|
The Africa Stockpiles Programme: Cleaning up Obsolete Pesticides; Contributing to a Healthier FutureCurtis, Clifton ; Olsen, Cynthia PalmerIndustry and environment (English edition), 2004-04, Vol.27 (2-3), p.37-38Texto completo disponível |
|
7 |
Material Type: Artigo
|
The environmental and health impacts of tobacco agriculture, cigarette manufacture and consumption/Impacts environnementaux et sanitaires de la culture du tabac, de la fabrication de cigarettes et de leur consommation/Los efectos medioambientales y sanitarios del cultivo de tabaco y la produccion y consumo de cigarrillosNovotny, Thomas E ; Bialous, Stella Aguinaga ; Burt, Lindsay ; Curtis, Clifton ; Costa, Vera Luiza da ; Iqtidar, Silvae Usman ; Liu, Yuchen ; Pujari, Sameer ; d'Espaignet, Edouard TursanBulletin of the World Health Organization, 2015-12, Vol.93 (12), p.877-880 [Periódico revisado por pares]World Health OrganizationTexto completo disponível |
|
8 |
Material Type: Artigo
|
How the design of JML accommodates both runtime assertion checking and formal verificationLeavens, Gary T. ; Cheon, Yoonsik ; Clifton, Curtis ; Ruby, Clyde ; Cok, David R.Science of computer programming, 2005-03, Vol.55 (1), p.185-208 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
9 |
Material Type: Artigo
|
MiniMAO 1 : An imperative core language for studying aspect-oriented reasoningClifton, Curtis ; Leavens, Gary T.Science of computer programming, 2006, Vol.63 (3), p.321-374 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
MAO: ownership and effects for more effective reasoning about aspectsClifton, Curtis ; Leavens, Gary T. ; Noble, James Ernst, ErikProceedings of the 21st European conference on Object-Oriented Programming, 2007, p.451-475 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagSem texto completo |