Results 1 to 10 of about 1,509,079 (270)
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, Matthew
openaire +2 more sources
06472 Abstracts Collection - XQuery Implementation Paradigms [PDF]
, 2007 From 19.11.2006 to 22.11.2006, the Dagstuhl Seminar 06472 ``XQuery Implementation Paradigms'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research,
Boncz, Peter A. +3 more
core +9 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
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
Analysis of Abstracts Presented at the Prosthodontic Research Section of IADR General Sessions 2004–2005: Demographics, Publication Rates, and Factors Contributing to Publication [PDF]
, 2011 Purpose: The purposes of this study were to describe the demographics of abstracts presented at the prosthodontics section of IADR General Sessions from 2004 to 2005, evaluate the publication rate of abstracts, and analyze the relationship between ...
Barao, Valentim A. R. +5 more
core +2 more sources
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
2006 WCET Abstracts Collection -- 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis [PDF]
, 2006 On the 4th of July, 2006, the 6th International Workshop on Worst-Case Execution Time Analysis (WCET\u2706) was held in Dresden, Germany, co-located with the 18th Euromicro International Conference on Real-Time Systems (ECRTS\u2706), both with support of
Abstracts Collection, Mueller, Frank
core +1 more source