Static analysis of Ravenscar programs
- 期刊名称ACM SIGAda Ada Letters
- 作者Amey, P. N.; Dobbing, B. J.
- 期第4期
- 印刷ISSN1094-3641
- 文件大小442.00KB
- 发表时间2003-12-01
- DOI10.1145/959221.959234
- 页码58-64
Correction: ArtspeakChoice Reviews Online · 2014
“Talking about music is like dancing about architecture”: Artspeak and pop musicValentin Mottier · 2009
ARTSPEAK: A GUIDE TO CONTEMPORARY IDEAS, MOVEMENTS, AND BUZZWORDSby Robert AtkinsReview by: Darlene Tong · Art Documentation: Journal of the Art Libraries Society of North America · 1990
Book reviewsBroadbent, Graeme; Maharg, Paul; Rasnic, Carol Daugherty; Ashford, Chris; Sellman, Pamela; Wardle, Caroline; Guth, Jessica; Dziobon, Sheila; Cherkassky, Lisa; Ashford, Chris · The Law Teacher · 2008
Recommendations for the first course computer scienceKoffman, Elliot; Muller, Philip; Wardle, Caroline · ACM SIGCSE Bulletin · 1984
Accounting for information technology in corporate acquisitionsMaylun Buck-Lew; Caroline E Wardle; Nava Pliskin · 1992
Programmatic efforts encouraging women to enter the information technology workforceWardle, Caroline; Burton, Lawrence · ACM SIGCSE Bulletin · 2002
Report on CS2 from ACM CS2 committee (panel session)Koffman, Elliot B.; Stemple, David; Wardle, Caroline E. · ACM SIGCSE Bulletin · 1985
Circulating Leptin and Stress-induced Cardiovascular Activity in HumansLena Brydon; Katie O'Donnell; Caroline E. Wright; Andrew J. Wawrzyniak; Jane Wardle; Andrew Steptoe · 2008
Parental adiposity and cortisol awakening responses in young men and womenAndrew Steptoe; Caroline E. Wright; Katie O’Donnell; Lena Brydon; Jane Wardle · 2006
Graphical input interaction technique (GIIT)Thomas, James J.; Hamlin, Griffith · ACM SIGGRAPH Computer Graphics · 1983
Reaction-diffusion texturesWitkin, Andrew; Kass, Michael · ACM SIGGRAPH Computer Graphics · 1991
Super-intelligent machinesHibbard, Bill · ACM SIGGRAPH Computer Graphics · 2001
Evaluation of visualization softwareGlobus, Al; Uselton, Sam · ACM SIGGRAPH Computer Graphics · 1995
Art or virtual cinema?Cavalli, Mario · ACM SIGGRAPH Computer Graphics · 1997
Spherical shadingPorter, Thomas K. · ACM SIGGRAPH Computer Graphics · 1978
Computer graphics are brittleSterling, Bruce · ACM SIGGRAPH Computer Graphics · 1997
UIMS support for direct manipulation interfacesHudson, S E · ACM SIGGRAPH Computer Graphics · 1987