Bahr and Hutton recently developed a new approach to calculating correct compilers directly from specifications of their correctness. However, the methodology only considers converging behaviour source language, which means that compiler could potentially produce arbitrary, erroneous code for programs diverge. In this article, we show how can naturally be extended support calculation address bo...

Wadi El Raiyan is a great depression located southwest of Cairo in the Western Desert of Egypt. Lake Qarun, located north of the study area, is a closed basin with a high evaporation rate. The source of water in the lake is agricultural and municipal drainage from the El Faiyum province. In 1973, Wadi El Raiyan was connected with the agricultural wastewater drainage system of the Faiyum provinc...

PREVIOUS methods of measuring the corneal thickness in the living eye have recently been extensively reviewed and criticized by von Bahr (1948a), who devised an ingenious method (1948a, b) of overcoming the practical difficulties and theoretical objections of its forerunners. He employed an apparatus consisting of two rotating glass plates, coupled by gearing, which were mounted in front of the...

Lake Manzala is the largest of the Egyptian lakes along the Mediterranean coast and the most productive for fisheries. It is located on the Eastern margin of the Nile Delta between the Damietta Branch of the River Nile and Port Said on the Suez Canal. Two main drains namely, Bahr El-Baker Drain system and Bahr Hadous Drain system flow into Manzala Lake and drain a considerable volume of drainag...

This research focuses on the narration of hadith and isr?'?liyyat in Imam Ab? ?ayy?n al-Andal?s?’ masterpiece exegesis book, al-Ba?r al-Mu???. As a multidisciplinary figure, uses his expertise to elaborate every verse Quran not mention Prophet Muhammad PBUH’s isr?'?liyyat. Most hadiths cited this book are from authentic narrated by al-Bukh?r? Muslim, as well work other scholars. However, contai...

This study was carried out on saline soils of Sahl El-Houssinia, El-Sharkia Governorate to evaluate three different water sources as a leaching and irrigation water in these soils and their use effect on some trace elements accumulation in the different soil layers. The using water sources were Bahr El-Bakar drain, Bahr Hadoos drain and El-Salam canal. These sources were used in the leaching th...