نتایج جستجو برای: DeFord-Hume methodology
تعداد نتایج: 242136 فیلتر نتایج به سال:
The complexation of Cd2+ by diallyl disulfide (DADS) and diallyl sulfide (DAS) has been studied by differential pulse voltammetry. Stability constants, (log β), of the 1:1 (PbL) and 1:2 (PbL2) complexes, where L = ligand, were found to be in the range of ca. 5.8 - 6.2 and 9.6 -10.6, respectively. Complex formation is accompanied with a significant decrease in the peak current and the shift of t...
The Java-based Hume IDE provides a classic edit/run/debug text-based interactive programming environment, augmented with the Hume Diagram Tool(HDT) which displays two-dimensional box/wiring diagrams from Hume source programs. Diagram layout may be modified interactively and wires may be inspected to identify associated types. Here, we present an overview of the IDE, focusing on the HDT. We also...
Electrochemical studies on complexes of copper(II) with Warfarin sodium have been carried out by direct current polarography. Using D.M.E. electrode the comparative investigation on the electroreduction of copper(II) with Warfarin sodium in 1M KNO3 containing 30% and 40% ethanol have been made. The voltammetric data were evaluated according to Deford and Hume's method. The reduction was reversi...
This paper describes the HW-Hume level of the novel Hume language. HW-Hume is the simplest subset of Hume that we have identified. It provides strong formal properties but posseses limited abstraction capabilities. In this paper, we introduce HW-Hume, show some simple example programs, describe an eÆcient software implementation, and demonstrate how important properties can be exposed as part o...
HW-Hume is the decidable Hume level oriented to direct implementation in hardware. As a first stage in the development of a verified compiler from HW-Hume to Java, we have implemented the semantics of HW-Hume in the Isabelle/HOL theorem prover, enabling the automatic proof of correctness of programs in a Floyd/Hoare style.
We present a first approach towards a calculus of transformations of Hume boxes, using an extended version of Hume called Hierarchical Hume. We present and motivate Hierachical Hume, transformations and the calculus and derive some rules and strategies. The approach is then illustrated through two examples.
Hume is a novel language in the functional tradition, strongly oriented to systems requiring strong guarantees that resource bounds are met. To facilitate resource assurance, Hume enforces a separation of coordination and computation concerns, and deploys an abstract machine intermediary between implementations and analyses. These core design decisions also enable a high degree of portability a...
HUME STUDIES' Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the HUME STUDIES archive only for your personal, non-commercial use. Each copy of any part of a HUME STUDIES transmission must contain the same copyright notice that appears on th...
Safety critical systems place additional requirements to the programming language used to implement them with respect to traditional environments. Examples of features that influence the suitability of a programming language in such environments include complexity of definitions, expressive power, bounded space and time and verifiability. Hume is a novel programming language with a design which...
With the emergence of commodity multicore architectures, exploiting tightly-coupled parallelism has become increasingly important. Hume is a novel formally-motivated programming language oriented to developing software where strong assurance of resource use is paramount, in particular embedded architecture. Functional programming languages, such as Hume, are, in principle, well placed to take a...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید