Open Access. Powered by Scholars. Published by Universities.®

Life Sciences Commons

Open Access. Powered by Scholars. Published by Universities.®

2000

Physical Sciences and Mathematics

PDF

Institution
Keyword
Publication
Publication Type

Articles 1 - 30 of 273

Full-Text Articles in Life Sciences

Evaluation Of Striped Bass Stocks In Virginia, Monitoring And Tagging Studies, 1999-2003 Annual Report, 1 September 1999 - 31 October 2000, Philip W. Sadler, Robert E. Harris, John E. Olney, Robert J. Latour Dec 2000

Evaluation Of Striped Bass Stocks In Virginia, Monitoring And Tagging Studies, 1999-2003 Annual Report, 1 September 1999 - 31 October 2000, Philip W. Sadler, Robert E. Harris, John E. Olney, Robert J. Latour

Reports

To document continued compliance with Federal law, the Anadromous Fishes Program of the Virginia Institute of Marine Science (VIMS) has monitored the size and age composition, sex ratio and maturity schedules of the spawning striped bass stock in the Rappahannock River since December 1981 utilizing commercial pound nets and, since 1991, variable-mesh experimental gill nets. Spawning stock assessment was expanded to include the James River in 1994 utilizing 11 commercial fyke nets and variable-mesh experimental gill nets. The use of fyke nets was discontinued after 1997. In conjunction with the monitoring studies, tagging programs have been conducted in the James …


Upper White River Bmp Implementation Project (Nps Final Report), Paul F. Vendrell, K. F. Steele, M. A. Nelson, R. W. Mcnew Dec 2000

Upper White River Bmp Implementation Project (Nps Final Report), Paul F. Vendrell, K. F. Steele, M. A. Nelson, R. W. Mcnew

Technical Reports

The project objective was to monitor agricultural best management practices implemented to minimize sediment, nutrient, and bacterial impact on water quality of the Upper White River watershed. The project targeted the primary agricultural causes of non-point source nutrient and bacterial pollution in three sub-basins of the White River in the Beaver Lake Watershed. Areas with high animal densities targeted high source areas. High source areas were treated with best management practices (BMP) in an effort to reduce the impact to the White River and Beaver Lake. The predominant BMP implemented was waste management, a component of the farm nutrient management …


The Prairie Naturalist Volume 32, No.4 December 2000 Dec 2000

The Prairie Naturalist Volume 32, No.4 December 2000

The Prairie Naturalist

LOCATING NESTS OF BIRDS IN GRASSLANDS FROM A MOBILE TOWER BLIND ▪ . T. F. Fondell, S. T. Hoekman, and L J. Ball

OBSERVATIONS ON SMALL MAMMALS RECOVERED FROM OWL PELLETS FROM NEBRASKA ▪ J J Huebschman, P. W Freeman, H. H. Genoways, and J A. Gubanyi

DlSTRIBUTION, HABITAT USE, AND NESTING SUCCESS OF HENSLOW'S SPARROW IN OKLAHOMA ▪ D. L. Reinking, D. A. Wiedenfeld, D. H. Wolfe, and R. W. Rohrbaugh, Jr.

REPRODUCTIVE SUCCESS OF PIPING PLOVERS ON ALKALI LAKES IN NORTH DAKOTA AND MONTANA ▪ R. K. Murphy, M. J. Rabenberg, M. L. Sondreal, B. R. Casler, and …


Predicted Land Use Changes In Agricultural Areas Of Wa And Resulting Impact On The Extent Of Dryland Salinity, C E. Mcconnell Dec 2000

Predicted Land Use Changes In Agricultural Areas Of Wa And Resulting Impact On The Extent Of Dryland Salinity, C E. Mcconnell

Resource management technical reports

An assessment of current and possible future land use in Western Australia was undertaken as part of the National Land and Water Resources Audit. This data was used to assess the impact of land use change on the future extent of salinity. It was found that in some areas there is real capacity for changing land use to impact on recharge to the watertable.


Andros Island Flora And Fauna In The New Millennium, Jose V. Lopez, Cheryl L. Peterson, Felix Morales, Luther Brown Nov 2000

Andros Island Flora And Fauna In The New Millennium, Jose V. Lopez, Cheryl L. Peterson, Felix Morales, Luther Brown

Marine & Environmental Sciences Faculty Articles

No abstract provided.


Horse Creek Fen, Birdwood Creek And Kelly Ranch Inventory, Robert F. Steinauer Nov 2000

Horse Creek Fen, Birdwood Creek And Kelly Ranch Inventory, Robert F. Steinauer

Nebraska Game and Parks Commission: White Papers, Conference Presentations, and Manuscripts

Horse Creek Fen preserve is a complex of wetland communities (Sandhills fen, Sandhills freshwater marsh, and northern sedge wet meadow) associated with Horse Creek, a ditched stream that drains the Allen Valley fen. Fen vegetation on the preserve is limited to approximately 20 acres on the western boundary of the preserve where it abuts the eastern end of the Allen Valley fen (Steinauer et al. 1996). The fen vegetation is surrounded primarily by Sandhills freshwater marsh, which in turn is surrounded by northern sedge wet meadow. Additional Sandhills freshwater marsh occurs near the eastern boundary of the preserve. The eastern …


Modifications Of The C37 Alkenone And Alkenoate Composition In The Water Column And Sediment: Possible Implications For Sea Surface Temperature Estimates In Paleoceanography, Joan O. Grimalt, Jürgen Rullkötter, Marie-Alexandrine Sicre, Roger Summons, John Farrington, H. Rodger Harvey, Miguel Goñi, Ken Sawada Nov 2000

Modifications Of The C37 Alkenone And Alkenoate Composition In The Water Column And Sediment: Possible Implications For Sea Surface Temperature Estimates In Paleoceanography, Joan O. Grimalt, Jürgen Rullkötter, Marie-Alexandrine Sicre, Roger Summons, John Farrington, H. Rodger Harvey, Miguel Goñi, Ken Sawada

OES Faculty Publications

The literature pertaining to C37 alkenone and C37 and C38 alkenoate production and diagenesis has been reviewed and evaluated for issues that might jeopardize their usefulness in paleotemperature estimation. We also examined the use of the C37 alkenones as paleoproductivity indicators, the stability of their δ13C isotopic compositions, and their incorporation into the nonsolvent extractable organic matter fraction. Biological transformation of organic matter by bacteria and zooplankton does not appear to cause significant changes to the ratio of C37:2 and C37:3 alkenones, but there are major alterations in the relative composition of alkenoates. Studies of water column processes and postdepositional …


Nonsteroidal Anti-Inflammatory Drugs, Acetaminophen, Cyclooxygenase 2, And Fever, Daniel L. Simmons, David Wagner, Kenneth Westover Oct 2000

Nonsteroidal Anti-Inflammatory Drugs, Acetaminophen, Cyclooxygenase 2, And Fever, Daniel L. Simmons, David Wagner, Kenneth Westover

Faculty Publications

Nonsteroidal anti-inflammatory drugs (NSAIDs) are frequently used antipyretic agents that most probably exert their antifever effect by inhibiting cyclooxygenase (COX)–2. Thus, COX-2–selective drugs or null mutation of the COX-2 gene reduce or prevent fever. Acetaminophen is antipyretic and analgesic, as are NSAIDs, but it lacks the anti-inflammatory and anticoagulatory properties of these drugs. This has led to the speculation that a COX variant exists that is inhibitable by acetaminophen. An acetaminophen-inhibitable enzyme is inducible in the mouse J774.2 monocyte cell line. Induction of acetaminophen-inhibitable prostaglandin E2 synthesis parallels induction of COX-2. Thus, inhibition of pharmacologically distinct COX-2 enzyme activity by …


Classes Of Logic Programs Which Possess Unique Supported Models, Anthony K. Seda, Pascal Hitzler Oct 2000

Classes Of Logic Programs Which Possess Unique Supported Models, Anthony K. Seda, Pascal Hitzler

Computer Science and Engineering Faculty Publications

Logic programming is concerned with the use of logic as a programming language. The main manifestation of this computing paradigm is in the various versions of Prolog which are now available, in which computation is viewed as deduction from sets of Horn clauses, although there is also growing interest in the related form known as answer set programming, see [10]. The reference [1] contains a good survey of the growth of logic programming over the last twenty-five years both as a stand-alone programming language and as a software component of large information systems. One advantage a logic program P has …


Dealing With A Dry Season, Department Of Agriculture And Food, Western Australia Oct 2000

Dealing With A Dry Season, Department Of Agriculture And Food, Western Australia

Bulletins 4000 -

Farmers' approaches to adverse seasonal conditions whether they be frost, flood or low rainfall should be to acquire as much information as possible on the immediate agronomic and financial situations and make a judgement on the longer term implications for the following seasons. Once the information has been acquired, in consultation with advisers, it is necessary to construct and implement agronomic and business strategies to deal with individual situations.

The agronomic and stocking options for the dry season supplied in this booklet deal with questions and issues arising from the Year 2000 season, which has been characterised by a mid …


Fall 2000, Nsu Oceanographic Center Oct 2000

Fall 2000, Nsu Oceanographic Center

Currents

No abstract provided.


Santa Clara Magazine, Volume 42 Number 2, Fall 2000, Santa Clara University Oct 2000

Santa Clara Magazine, Volume 42 Number 2, Fall 2000, Santa Clara University

Santa Clara Magazine

10 - I WANT MY IPO! By Susan Vogel. With so much venture capital available out there, why do women have to sprint to catch up with men in the race for funding?

14 - ON THE THRESHOLD OF A NEW ERA By George F. Giacomini, Jr. A long-time SCU professor offers his opinion of the most pivotal moments in the University's 150-year history, from wars to the admission of women.

18 - OF HEADHUNTERS AND SOLDIERS By Renato Rosaldo. Living with a headhunting Filipino tribe taught this author to be open to the possibility that other cultures have valid, …


The Aquaculture Of Non-Endemic Species In Western Australia Silver Perch (Bidyanus Bidyanus), Tina Thorne, H. G. Brayford Oct 2000

The Aquaculture Of Non-Endemic Species In Western Australia Silver Perch (Bidyanus Bidyanus), Tina Thorne, H. G. Brayford

Fisheries management papers

The development of commercial aquaculture of a non-endemic species such as silver perch raises a number of important issues relating to translocation. These include the potential of the introduced species to: impact on genetic diversity; introduce disease; and impact on - the natural environment; and - the biodiversity of native species. This Management Paper has been drafted in liaison with the Department of Environmental Protection in accordance with the principles of rish assessment, taking into account the above issues. It is considered that the implementation of this policy will protect the natural environment and native fish species. It will also …


Phytosociological Analysis Of Restored And Managed Grassland Habitat Within An Urban National Park, Andrew M. Greller, Celestine Durando, Leslie F. Marcus, D. Siril A. Wijesundara, Michael D. Byer, Robert Cook, John T. Tanacredi Ph.D. Oct 2000

Phytosociological Analysis Of Restored And Managed Grassland Habitat Within An Urban National Park, Andrew M. Greller, Celestine Durando, Leslie F. Marcus, D. Siril A. Wijesundara, Michael D. Byer, Robert Cook, John T. Tanacredi Ph.D.

Faculty Works: CERCOM

Floyd Bennett Field (FBF), 579 ha in extent, is a division of Gateway National Recreation Area. It is the site of a former airfield, constructed by filling salt marshes with dredged materials. Except for the portion known locally as the “North Forty,” all sections of FBF have been cut over to maintain low vegetation. A grassland management plan (GRAMP) for 165 ha was initiated in 1986, to maintain habitats for open-country birds. Over the next few years, encroaching woody vegetation was removed manually and mechanically from the management area. Since then, it has been maintained as a grassland and receives …


Multiple Spatial Scale Assessment Of Coral Reef And Hard-Bottom Community Structure In The Florida Keys National Marine Sanctuary, Steven Miller, Dione W. Swanson, Mark Chiappone Oct 2000

Multiple Spatial Scale Assessment Of Coral Reef And Hard-Bottom Community Structure In The Florida Keys National Marine Sanctuary, Steven Miller, Dione W. Swanson, Mark Chiappone

Marine & Environmental Sciences Faculty Proceedings, Presentations, Speeches, Lectures

The zoning plan for the Florida Keys National Marine Sanctuary (FKNMS) established 23 relatively small no-fishing zones distributed mostly along the offshore reef tract in 1997. In 1999, a two-stage, stratified random sampling design based on the proportion of coral reef and hard-bottom types within the FKNMS was conducted. Our study focused on differences in coverage, density, and condition of benthic organisms with respect to habitat type, regional variations, and differences between no-fishing zones and reference sites at 80 locations spanning 200 km. Most variables exhibited significant spatial differences by habitat type or between individual no-fishing zones and reference sites …


Environmental Finance Charette, Hyannis Park On Lewis Bay: A Case Study, New England Environmental Finance Center, Environmental Finance Center Of University Of Maryland Sep 2000

Environmental Finance Charette, Hyannis Park On Lewis Bay: A Case Study, New England Environmental Finance Center, Environmental Finance Center Of University Of Maryland

Water

The town of Yarmouth currently has a $30 million septic sludge treatment plant and transport lines in place. The vast majority of the dwellings and businesses in the Hyannis Park area are on septic systems that are viable and Title 5 compliant, regardless of age. Conventional, "non-failing" septic systems, however, were never intended to remove form their effluent nutrients such as nitrogen. These have become recognized as an environmental threat only as our understanding of the impacts of excess nutrients on ecosystems has increased in recent decades.


Semantic Web And Information Brokering: Opportunities, Commercialization, And Challenges, Amit P. Sheth Sep 2000

Semantic Web And Information Brokering: Opportunities, Commercialization, And Challenges, Amit P. Sheth

Kno.e.sis Publications

From the chairs' report published in SIGMOD record: The keynote address entitled 'Semantic Web and Information Brokering: Opportunities, Early Commercializations, and Challenges' was delivered by Amit Sheth (University of Georgia and Taalee Corp). Sheth characterized semantics as the next step in the evolution of the WWW and stressed the importance of semantically organized information for supporting ubiquitous, powerful, accurate and efficient access to this information. Sheth also reviewed proposals for semantic interoperability frameworks such as the DAML(DARPA Agent Mark-Up Language), the Oingo family of tools for defining concepts and extracting knowledge from large databases, as well as several scenarios on …


Measurements Of Excess O3, Co2, Co, Ch4, C2h4, C2h2, Hcn, No, Nh3, Hcooh, Ch3cooh, Hcho, And Ch3oh In 1997 Alaskan Biomass Burning Plumes By Airborne Fourier Transform Infrared Spectroscopy (Aftir), Jon G. Goode, Robert J. Yokelson, Darold E. Ward, Ronald A. Susott, Ronald E. Babbitt, Mary Ann Davies, Wei Min Hao Sep 2000

Measurements Of Excess O3, Co2, Co, Ch4, C2h4, C2h2, Hcn, No, Nh3, Hcooh, Ch3cooh, Hcho, And Ch3oh In 1997 Alaskan Biomass Burning Plumes By Airborne Fourier Transform Infrared Spectroscopy (Aftir), Jon G. Goode, Robert J. Yokelson, Darold E. Ward, Ronald A. Susott, Ronald E. Babbitt, Mary Ann Davies, Wei Min Hao

Chemistry and Biochemistry Faculty Publications

We used an airborne Fourier transform infrared spectrometer (AFTIR), coupled to a flow-through, air-sampling cell, on a King Air B-90 to make in situ trace gas measurements in isolated smoke plumes from four, large, boreal zone wildfires in interior Alaska during June 1997. AFTIR spectra acquired near the source of the smoke plumes yielded excess mixing ratios for 13 of the most common trace gases: water, carbon dioxide, carbon monoxide, methane, nitric oxide, formaldehyde, acetic acid, formic acid, methanol, ethylene, acetylene, ammonia and hydrogen cyanide. Emission ratios to carbon monoxide for formaldehyde, acetic acid, and methanol were 2.2±0.4%, 1.3±0.4%, and …


Changes In Bacterioplankton Metabolic Capabilities Along A Salinity Gradient In The York River Estuary, Virginia, Usa, G. E. Schultz, H. W. Ducklow Sep 2000

Changes In Bacterioplankton Metabolic Capabilities Along A Salinity Gradient In The York River Estuary, Virginia, Usa, G. E. Schultz, H. W. Ducklow

VIMS Articles

Changes in metabolic capabilities of bacterial communities along the estuarine salinity gradient may affect the extent of organic matter processing and bacterial growth and accumulation during transit through the system; As part of a larger study of estuarine microbial processes, we attempted to quantify differences in bacterial community structure using Biolog plates. Biolog GN plates (Biolog, Inc., Hayward, CA, USA) were used to determine differences in bacterioplankton community metabolic potential. Biolog GN microplates are 96-well microtiter plates in which each well contains an individual carbon source as well the redox dye tetrazolium violet. As bacteria grow and oxidize each substrate, …


The Prairie Naturalist Volume 32, No.3 September 2000 Sep 2000

The Prairie Naturalist Volume 32, No.3 September 2000

The Prairie Naturalist

SPECIAL FEATURE: LESSER PRAIRIE-CHICKEN

PREFACE ▪ C. E. Braun

NOTE ON SPECIAL FEATURES

POPULATION STATUS AND MANAGEMENT OF LESSER PRAIRIE-CHICKEN IN COLORADO ▪ K. M. Giesen

STATUS OF NESTING HABITAT FOR LESSER PRAIRIE-CHICKEN IN NEW MEXICO ▪ J. A. Bailey, J. Klingel, and C. A. Davis

STATUS OF THE LESSER PRAIRIE-CHICKEN IN NEW MEXICO, 1999 ▪ . J. A. Bailey, and S. O. Williams III

DISTRIBUTION AND POPULATION TREND OF LESSER PRAIRIE-CHICKEN IN KANSAS ▪ W. E. Jensen, D A. Robinson. Jr and R. D. Applegate

REVIEW OF THE HISTORICAL AND PRESENT STATUS OF THE LESSER PRAIRIE-CHICKEN (Tympanuchus pallidicinctus) IN …


Table Of Contents Volume 11, Number Four, Fall 2000, Risk Editorial Board Sep 2000

Table Of Contents Volume 11, Number Four, Fall 2000, Risk Editorial Board

RISK: Health, Safety & Environment (1990-2002)

Table of contents for the journal RISK: Health, Safety & Environment (ISSN: 1073-8673)


Exception Handling In Workflow Systems, Zongwei Luo, Amit P. Sheth, Krzysztof J. Kochut, John A. Miller Sep 2000

Exception Handling In Workflow Systems, Zongwei Luo, Amit P. Sheth, Krzysztof J. Kochut, John A. Miller

Kno.e.sis Publications

In this paper, defeasible workflow is proposed as a framework to support exception handling for workflow management. By using the “justified” ECA rules to capture more contexts in workflow modeling, defeasible workflow uses context dependent reasoning to enhance the exception handling capability of workflow management systems. In particular, this limits possible alternative exception handler candidates in dealing with exceptional situations. Furthermore, a case-based reasoning (CBR) mechanism with integrated human involvement is used to improve the exception handling capabilities. This involves collecting cases to capture experiences in handling exceptions, retrieving similar prior exception handling cases, and reusing the exception handling experiences …


Does Elevated Nitrogen And Sulfur Deposition Lead To Net Base Cation Losses In Northern New England Forest Soils?, Ivan J. Fernandez, Stephen A. Norton, Jeffrey Kahl, Lindsey E. Rustad Aug 2000

Does Elevated Nitrogen And Sulfur Deposition Lead To Net Base Cation Losses In Northern New England Forest Soils?, Ivan J. Fernandez, Stephen A. Norton, Jeffrey Kahl, Lindsey E. Rustad

University of Maine Office of Research Administration: Grant Reports

The aims of this research are to continue treatment and monitoring of a paired watershed experiment at Bear Brook in northern Maine, with an emphasis on changes in soil base cations, particularly calcium. Base cation depletion is well-recognised as a potential problem in soils that have been subjected to acidic N deposition but few data exist from well-controlled, long-term experiments. The Bear Brook watershed has been periodically treated with ammonium sulfate since the fall of 1989 and is believed to be approaching N saturation. Since 1993 the relationship between base cations and strong acid anions has changed, such that labile …


Environmental Survey Of Potential Sand Resource Sites, Offshore Delaware And Maryland : Final Report, Virginia Institute Of Marine Science Aug 2000

Environmental Survey Of Potential Sand Resource Sites, Offshore Delaware And Maryland : Final Report, Virginia Institute Of Marine Science

Reports

  • Technical summary / Carl H. Hobbs
  • Non-technical summary / Carl H. Hobbs
  • Part. 1. Benthic mapping and resource evaluation of potential sand mining areas, offshore Mayland and Delaware, 1998-1999 / G.R. Cutter and R.J. Diaz
  • Part. 2. Transitory species (vertebrate nekton) / John A. Musick
  • Part. 3. Literature survey of reproductive finfish and ichthyoplankton present in proposed sand mining locations within the Middle Atlantic Bight / John Olney, Donna Marie Bilkovic
  • Part. 4. Potential modifications to waves due to dredging and other oceanographic considerations / Jerome P.-Y. Maa, Sung C. Kim
  • Part. 5. Maryland-Delaware shoreline : long-term trends and short-term …


Monitoring Relative Abundance Of American Shad In Virginia's Rivers Annual Report 1999, John E. Olney Sr., John M. Hoenig Jul 2000

Monitoring Relative Abundance Of American Shad In Virginia's Rivers Annual Report 1999, John E. Olney Sr., John M. Hoenig

Reports

A moratorium on the taking of American shad (Alosa sapidissima) in the Chesapeake Bay and its tributaries was established by the Virginia Marine Resources Commission (VMRC) beginning 1 January 1994. The prohibition applied to both recreational and commercial fishers. The moratorium was imposed at a time when commercial catch rates of American shad in Virginia's rivers were experiencing declines. Data from the commercial fishery were the best available for assessing the status of individual stocks. Catch-per-unit-effort (CPUE) data were compiled from logbooks that recorded landings by commercial fishermen using staked gill nets at various locations throughout the middle reaches of …


Dimensionality Reduction Using Genetic Algorithms, Michael L. Raymer, William F. Punch, Erik D. Goodman, Leslie A. Kuhn, Anil K. Jain Jul 2000

Dimensionality Reduction Using Genetic Algorithms, Michael L. Raymer, William F. Punch, Erik D. Goodman, Leslie A. Kuhn, Anil K. Jain

Kno.e.sis Publications

Pattern recognition generally requires that objects be described in terms of a set of measurable features. The selection and quality of the features representing each pattern affect the success of subsequent classification. Feature extraction is the process of deriving new features from original features to reduce the cost of feature measurement, increase classifier efficiency, and allow higher accuracy. Many feature extraction techniques involve linear transformations of the original pattern vectors to new vectors of lower dimensionality. While this is useful for data visualization and classification efficiency, it does not necessarily reduce the number of features to be measured since each …


Trophic Dynamics And Pollution Effects In Cave Springs Cave, Arkansas, G. O. Graening, Arthur V. Brown Jul 2000

Trophic Dynamics And Pollution Effects In Cave Springs Cave, Arkansas, G. O. Graening, Arthur V. Brown

Technical Reports

No abstract provided.


Status Survey Of Aquatic Cave Fauna In Arkansas, G. O. Graening, Arthur V. Brown Jul 2000

Status Survey Of Aquatic Cave Fauna In Arkansas, G. O. Graening, Arthur V. Brown

Technical Reports

No abstract provided.


Santa Clara Magazine, Volume 42 Number 1, Summer 2000, Santa Clara University Jul 2000

Santa Clara Magazine, Volume 42 Number 1, Summer 2000, Santa Clara University

Santa Clara Magazine

8 - ATTACK OF THE KILLER TOMATOES? By Miriam Schulman. Beyond the hype of the headlines, there are no simple answers to the ethical questions raised by genetically modified food.

14 - BRAVE NEW WORLD By Tamara Straus. Now the lawyers want inside your head as they struggle to answer, "Who owns an idea?" Just the mere question is changing the face of legal education.

18 - THE GREAT GRADE GIVEAWAY By Jeff Zorn. Today's grades don't mean jack. So says one Santa Clara professor in this memoir and commentary on the evils of modern day grade inflation.

22 - …


A New Fixed-Point Theorem For Logic Programming Semantics, Anthony K. Seda, Pascal Hitzler Jul 2000

A New Fixed-Point Theorem For Logic Programming Semantics, Anthony K. Seda, Pascal Hitzler

Computer Science and Engineering Faculty Publications

We present a new fixed-point theorem akin to the Banach contraction mapping theorem, but in the context of a novel notion of generalized metric space, and show how it can be applied to analyse the denotational semantics of certain logic programs. The theorem is obtained by generalizing a theorem of Priess-Crampe and Ribenboim, which grew out of applications within valuation theory, but is also inspired by a theorem of S.G. Matthews which grew out of applications to conventional programming language semantics. The class of programs to which we apply our theorem was defined previously by us in terms of operators …