We sketch a methodology for the verification of compiler correctness based on the LF Logical Framework as realized within the Elf programming language. We have applied this technique to specify, implement, and verify a compiler from a simple functional programming language to a variant of the Categorical Abstract Machine (CAM).

Antenna Miniaturization Using Fractals Richa Garg, AP ECE Deptt., [email protected], J.C.D.C.O.E., Sirsa ABSTRACTThe use of fractal geometry in designing antenna has been a resent topic of interest. Fractal shape has their own unique characteristics that the improved antenna performance can be achieved without degrading the antenna properties. Modern telecommunication system requires antenn...

The iron-binding protein lactoferrin (Lf) present in blood is metabolized by the liver. Isolated rat hepatocytes vigorously endocytose bovine Lf via recycling Ca2(+)-dependent binding sites, but the uptake of iron from Lf by hepatocytes has not been examined. In this study, isolated rat hepatocytes were incubated with radiolabelled bovine Lf (125I-Lf, 59Fe-Lf or 125I-59Fe-Lf) at 37 degrees C, t...