Results 11 to 20 of about 12,026,488 (347)
Information literacy and abstracting: interdisciplinary issues for linguists and information professionals [PDF]
Ibérica, 2010 Information literacy is a complex phenomenon that requires a multifaceted interdisciplinary approach as it is related to verbal communication, literacy, functional literacy and academic literacy, including issues of plagiarism.
Tibor Koltay
doaj +1 more source
Efficient abstracting of dive profiles using a broken‐stick model
, 2015 This work was supported by SMRU Ltd (now SMRU Marine) in the form of a PhD fellowship (T.P.). Completion of the manuscript was supported by a National Research Foundation Scarce Skills Postdoctoral Fellowship at the University of Cape Town, South Africa (
T. Photopoulou +4 more
semanticscholar +2 more sources
First two years journey: Journal of Advanced Biotechnology and Experimental Therapeutics
Journal of Advanced Biotechnology and Experimental Therapeutics, 2020 is not mandatory for the editorial. [ J Adv Biotechnol Exp Ther 2020; 3(1.000): 56-58]
Md Saidur Rahman, Md. Ataur Rahman
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 +4 more sources
Abstracting definitional interpreters (functional pearl) [PDF]
Proc. ACM Program. Lang., 2017 In this functional pearl, we examine the use of definitional interpreters as a basis for abstract interpretation of higher-order programming languages. As it turns out, definitional interpreters, especially those written in monadic style, can provide a ...
David Darais +3 more
semanticscholar +1 more source
Abstracting failure-inducing inputs
International Symposium on Software Testing and Analysis, 2020 A program fails. Under which circumstances does the failure occur? Starting with a single failure-inducing input ("The input ((4)) fails") and an input grammar, the DDSET algorithm uses systematic tests to automatically generalize the input to an ...
Rahul Gopinath +4 more
semanticscholar +1 more source
Problems of methodology for forming a categorical and conceptual apparatus of the legal science
Проблеми Законності, 2014 The article is devoted to the problem of formation of concept framework. General and universal dialectic method of transition from abstract to concrete and then from concrete to abstract is analyzed the roll of logiko-gnoseological procedures “abstract ...
М. І. Панов
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