This book presents developments of a language independent theory of program structure. The theory features a simple, natural notion of control structure which is much broader than in other theories of programming languages such as denotational semantics and program schemes. This notion permits treatment of control structures which involve not only the denotation of programs (i.e., their input/output behavior), but also their structure, size, run times, etc. The theory also treats the relation of control structure and complexity properties of programming languages. The book focuses on expressive interdependencies of control structures (which control structures can be expressed by which others). A general method of proving control structures expressively independent is developed. The book also considers characterizations of the expressive power of general purpose programming languages in terms of control structures. Several new characterizations are presented and two compactness results for such characterizations are shown.
Natural gas and crude oil production from hydrocarbon rich deep shale formations is one of the most quickly expanding trends in domestic oil and gas exploration. Vast new natural gas and oil resources are being discovered every year across North America and one of those new resources comes from the development of deep shale formations, typically located many thousands of feet below the surface of the Earth in tight, low permeability formations. Deep Shale Oil and Gas provides an introduction to shale gas resources as well as offer a basic understanding of the geomechanical properties of shale, the need for hydraulic fracturing, and an indication of shale gas processing. The book also examines the issues regarding the nature of shale gas development, the potential environmental impacts, and the ability of the current regulatory structure to deal with these issues. Deep Shale Oil and Gas delivers a useful reference that today’s petroleum and natural gas engineer can use to make informed decisions about meeting and managing the challenges they may face in the development of these resources. Clarifies all the basic information needed to quickly understand today’s deeper shale oil and gas industry, horizontal drilling, fracture fluids chemicals needed, and completions Addresses critical coverage on water treatment in shale, and important and evolving technology Practical handbook with real-world case shale plays discussed, especially the up-and-coming deeper areas of shale development
Shale Oil and Gas Production Processes delivers the basics on current production technologies and the processing and refining of shale oil. Starting with the potential of formations and then proceeding to production and completion, this foundational resource also dives into the chemical and physical nature of the precursor of oil shale, kerogen, to help users understand and optimize its properties in shale. Rounding out with reporting, in situ retorting, refining and environmental aspects, this book gives engineers and managers a strong starting point on how to manage the challenges and processes necessary for the further development of these complex resources. Helps readers grasp current research on production from shale formations, including properties and composition Fill in the gaps between research and practical application, including discussions of existing literature Includes a glossary to help readers fully understand key concepts
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?
This site does not use any third party cookies with one exception — it uses cookies from Google to deliver its services and to analyze traffic.Learn More.