Results 1 to 10 of about 939,265 (266)

Abstracts

Iraqi Journal of Chemical and Petroleum Engineering, 2019
s
Articles Abstracts
doaj   +2 more sources

Persian Abstracts [PDF]

Iranian Journal of Economic Studies, 2021
Persian ...
Persian Abstracts Persian Abstracts
doaj   +1 more source

Persian Abstracts [PDF]

Iranian Journal of Economic Studies, 2020
Persian ...
LPersian Abstracts Persian Abstracts
doaj   +1 more source

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   +5 more sources

Abstarcts

پژوهشهای زراعی ایران, 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

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   +4 more sources

Abstracts

Iraqi Journal of Chemical and Petroleum Engineering, 2002
s
Articles Abstracts
doaj   +6 more sources

‘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