Results 1 to 10 of about 779,209 (274)
Abstracts of the 47th Symposium on Cuniculture, ASESCU [PDF]
World Rabbit Science, 2023 The 47th Congress of the Spanish Association of Cuniculture (ASESCU) was held in León (Castile and Leon, Spain) on the 31st of May and 1st of June. The event was organised by ASESCU and the Faculty of Veterinary Medicine at the University of León.
Abstracts, Conferences, Congresses, Symposiums...
doaj +2 more sources
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 ...
David Van Horn, Matthew Might
openaire +2 more sources
Abstract clones for abstract syntax
CoRR, 2021 To appear in the proceedings of FSCD 2021; 16 ...
Nathanael Arkor, Dylan McDermott
openaire +4 more sources
پژوهشهای زراعی ایران, 2011 Effect of Water Stress and Spraying of Potassium Iodide on Agronomic Traits and Grain Yield of Bread Wheat (Tiriticum aistivum L.) Genotypes M. Ezzat Ahmadi * -Gh. Noormohammadi2- M. Ghodsi3- M.
abstracts abstracts
doaj +1 more source
‘Excelling in Clinical Care’: Southern African HIV Clinicians Society Conference
Southern African Journal of HIV Medicine, 2014 The top nine best abstracts from the biennial Southern African HIV Clinicians Society Conference, held in September 2014, are provided here.
Abstracts .
doaj +1 more source
Systematic abstraction of abstract machines [PDF]
Journal of Functional Programming, 2012 Abstract We describe a derivational approach to abstract interpretation that yields novel and transparently sound static analyses when applied to well-established abstract machines for higher-order and imperative programming languages.
David Van Horn, Matthew Might
openaire +3 more sources
Abstracts of the 45th Symposium on Cuniculture, ASESCU
World Rabbit Science, 2021 The 45th Congress of the Spanish Association of Cuniculture (ASESCU), co-organised by the Spanish Association of Cuniculture (ASESCU) and Grupo Editorial Agrícola-Henar Comunicación Agroalimentaria, was online held on 6th and 7th October, 2021.
Abstracts, Conferences, Congresses, Symposiums...
doaj +1 more source
Abstracts of the VII American Rabbit Congress. Varadero, Cuba, 12th-13th October, 2022
World Rabbit Science, 2023 Last October 12 and 13, 2022, the VII American Rabbit Congress took place within the framework of the 2022 Animal Production and Agro-Development Convention, which was held from October 10 to 14, 2022 at the Plaza América Convention Center in Varadero ...
Abstracts, Conferences, Congresses, Symposiums...
doaj +1 more source