Results 1 to 10 of about 50 (33)
Abstracting abstract machines [PDF]
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, 2010 We describe a derivational approach to abstract interpretation that yields novel and transparently sound static analyses when applied to well-established abstract machines. To demonstrate the technique and support our claim, we transform the CEK machine of Felleisen and Friedman, a lazy variant of Krivine's machine, and the stack-inspecting CM machine ...Van Horn, David, Might, Matthewopenaire +2 more sourcesAbstracts, abstracts, abstracts
Jon Stark making it all possible, 2020 Ce label assurera de trouver au minimum dans toutes les maisons ces services et une qualité d’accueil identique. En plus des services obligatoires, certains points France Services pourront proposer des services des collectivités territoriales ou d’autres partenaires (SNCF, banques), en fonction des besoins locaux.openaire +1 more sourceAbstracts
Journal of Engineering Physics, 1966 John M. Robinson, Hiroshi HIRANO, Yoshihiro AKIMOTO, Ying-Jie PIAO, Wen HU, Lian-Pu LIU, Kazuo OGAWA, Andrzej LUKASZYK, Marek NIEDZIELA, Waldemar BOBKOWSKI, Izabela PIESCIKOWSKA, Marek RUCHALA, KENJIRO YASUDA, Pedro Pinto da Silva, Jeffrey P. Chang, Takuma SAITO, Arvid B. Maunsbach, Hans Hebert, Urban Kavéus, Marvin L. Sears, S. Fujita, T. Minamikawa, T. Takamatsu, TIBOR BARKA, Kiyoshi Hama +24 moreopenaire +2 more sourcesABSTRACTS
Wildlife Biology, 1991 J. G. Morgan, H. A. Pereira, T. Sukiennicki, J. K. Spitznagel, J. W. Larrick, D. R. Forsdyke, S. Blum, D. P. Sideris, R. E. Forsdyke, H. Yu, E. Carstens, T. Hattori, Y. Yamamura, Y. Ohmoto, T. Nishida, K. Takatsuki, P. Tekamp-Olson, C. Gallegos, D. Bauer, J. McClain, B. Sherry, M. Fabre, S. van Deventer, A. Cerami, M. Napolitano, W. S. Modi, V. H. Seuanez, S. J. Cevario, W. J. Leonard, T. Schall, K. Toy, D. V. Goeddel, C. A. Hébert, F. W. Luscinskas, J-M. Kiely, E. A. Luis, W. C. Darbonne, G. T. Bennett, C. C. Liu, M. S. Obin, M. A. Gimbrone, J. B. Baker, K. A. Brown, F. Le Roy, G. Noble, K. Bacon, R. Camp, A. Vora, D. C. Dumonde, P. D. Collins, P. J. Jose, T. J. Williams, M. Rampart, J. Van Damme, W. Fiers, A. G. Herman, O. Pos, M. F. Geertsma, A. Stevenhagen, P. N. Nibbering, R. van Furth, K. B. Bacon, R. D. R. Camp, A. B. Millar, A. Meager, S. J. G. Semple, G. A. W. Rook, M. Stein, S. Gordon, K. Morrison, D. B. Jones, E. Y. Jones, D. I. Stuart, N. P. C. Walker, M. K. Thomsen, C. G. Larsen, K. Thestrup-Pedersen, M. Kristensen, K. Paludan, B. Deleuren, K. Kragballe, K. Matsushima, J. M. Wang, G. Taraboletti, A. Mantovani, A. Sica, K. Zachariae, I. Colditz, M. Baggiolini, F. Q. Cunha, B. B. Lorenzetti, S. H. Ferreira, T. J. Standiford, S. L. Kunkel, R. M. Strieter, S. W. Chensue, J. Westwick, K. Kasahara, R. A. Ribeiro, L. H. Faccioli, G. E. P. Souza, C. A. Flores, K. Kasahara, D. G. Quinn, A. Haslberger, C. Foster, M. Ceska, N. Ryder, E. Kugler, I. Lindley, J. N. W. N. Barker, M. L. Jones, R. S. Mitra, C. Swenson, K. Johnson, J. C. Fantone, V. M. Dixit, B. J. Nickoloff, C. Lam, L. Klein, A. Tuschil, J. Y. Shyy, Y. S. Li, D. W. Massop, J. F. Cornhill, P. E. Kolattukudy, R. Pleass, Z. Brown, L. Fairbanks, R. Thomas +129 moreopenaire +1 more sourceAbstracts
, 1992 Ville KumpuThe future imaginary of journalism Knowledge, action and ethics as the basic dimensions of journalistic futures imagination This article asks how to study future as a cultural object in late modernity. For this purpose, an analytical framework that conceptualizes futures imagination as a three-dimensional practice involving representing ...openaire +50 more sources