Executable Formal Semantics of C. Formal definition of the semantics of the C programming language. The semantics will be given in a functional (and hence executable) form, useful for testing, validation and project assessment. [month 10]
Executable Formal Semantics of C Sample Clauses
Related to Executable Formal Semantics of C
Development Plans 4.3.1 For each Licensed Indication and corresponding Licensed Product in the Field, Licensee will prepare and deliver to Licensor a development plan and budget (each a “Development Plan”). The initial Development Plans for each Licensed Indication will be delivered within […***…] after the Grant Date for such Licensed Indication.
Develop programs 1) The Employer will develop and implement health promotion and health education programs, subject to the availability of resources. Each Appointing Authority will develop a health promotion and health education program consistent with the Minnesota Management & Budget policy. Upon request of any exclusive representative in an agency, the Appointing Authority shall jointly meet and confer with the exclusive representative(s) and may include other interested exclusive representatives. Agenda items shall include but are not limited to smoking cessation, weight loss, stress management, health education/self-care, and education on related benefits provided through the health plan administrators serving state employees.
Application of Funding Techniques to Programs 6.3.1 The State shall apply the following funding techniques when requesting Federal funds for the component cash flows of the programs listed in sections 4.2 and 4.3 of this Agreement.
Random Drug Testing All employees covered by this Agreement shall be subject to random drug testing in accordance with Appendix D.
Network Interface Device (NID) 2.7.1 The NID is defined as any means of interconnection of end-user customer premises wiring to BellSouth’s distribution plant, such as a cross-connect device used for that purpose. The NID is a single-line termination device or that portion of a multiple-line termination device required to terminate a single line or circuit at the premises. The NID features two independent xxxxxxxx or divisions that separate the service provider’s network from the end user’s customer-premises wiring. Each chamber or division contains the appropriate connection points or posts to which the service provider and the end user each make their connections. The NID provides a protective ground connection and is capable of terminating cables such as twisted pair cable.
Durable Medical Equipment (DME), Medical Supplies, Prosthetic Devices, Enteral Formula or Food, and Hair Prosthesis (Wigs) This plan covers durable medical equipment and supplies, prosthetic devices and enteral formula or food as described in this section. Durable Medical Equipment (DME) DME is equipment which: • can withstand repeated use; • is primarily and customarily used to serve a medical purpose; • is not useful to a person in the absence of an illness or injury; and • is for use in the home. DME includes supplies necessary for the effective use of the equipment. This plan covers the following DME: • wheelchairs, hospital beds, and other DME items used only for medical treatment; and • replacement of purchased equipment which is needed due to a change in your medical condition or if the device is not functional, no longer under warranty, or cannot be repaired. DME may be classified as a rental item or a purchased item. In most cases, this plan only pays for a rental DME up to our allowance for a purchased DME. Repairs and supplies for rental DME are included in the rental allowance. Preauthorization may be required for certain DME and replacement or repairs of DME. Medical Supplies Medical supplies are consumable supplies that are disposable and not intended for re- use. Medical supplies require an order by a physician and must be essential for the care or treatment of an illness, injury, or congenital defect. Covered medical supplies include: • essential accessories such as hoses, tubes and mouthpieces for use with medically necessary DME (these accessories are included as part of the rental allowance for rented DME); • catheters, colostomy and ileostomy supplies, irrigation trays and surgical dressings; and • respiratory therapy equipment. Diabetic Equipment and Supplies This plan covers diabetic equipment and supplies for the treatment of diabetes in accordance with R.I. General Law §27-20-30. Covered diabetic equipment and supplies include: • therapeutic or molded shoes and inserts for custom-molded shoes for the prevention of amputation; • blood glucose monitors including those with special features for the legally blind, external insulin infusion pumps and accessories, insulin infusion devices and injection aids; and • lancets and test strips for glucose monitors including those with special features for the legally blind, and infusion sets for external insulin pumps. The amount you pay differs based on whether the equipment and supplies are bought from a durable medical equipment provider or from a pharmacy. See the Summary of Pharmacy Benefits and the Summary of Medical Benefits for details. Coverage for some diabetic equipment and supplies may only be available from either a DME provider or from a pharmacy. Visit our website to determine if this is applicable or call our Customer Service Department. Prosthetic Devices Prosthetic devices replace or substitute all or part of an internal body part, including contiguous tissue, or replace all or part of the function of a permanently inoperative or malfunctioning body part and alleviate functional loss or impairment due to an illness, injury or congenital defect. Prosthetic devices do not include dental prosthetics. This plan covers the following prosthetic devices as required under R.I. General Law § 27-20-52: • prosthetic appliances such as artificial limbs, breasts, larynxes and eyes; • replacement or adjustment of prosthetic appliances if there is a change in your medical condition or if the device is not functional, no longer under warranty and cannot be repaired; • devices, accessories, batteries and supplies necessary for prosthetic devices; • orthopedic braces except corrective shoes and orthotic devices used in connection with footwear; and • breast prosthesis following a mastectomy, in accordance with the Women’s Health and Cancer Rights Act of 1998 and R.I. General Law 27-20-29. The prosthetic device must be ordered or provided by a physician, or by a provider under the direction of a physician. When you are prescribed a prosthetic device as an inpatient and it is billed by a provider other than the hospital where you are an inpatient, the outpatient benefit limit will apply. Enteral Formulas or Food (Enteral Nutrition) Enteral formula or food is nutrition that is absorbed through the intestinal tract, whether delivered through a feeding tube or taken orally. Enteral nutrition is covered when it is the sole source of nutrition and prescribed by the physician for home use. In accordance with R.I. General Law §27-20-56, this plan covers enteral formula taken orally for the treatment of: • malabsorption caused by Crohn’s Disease; • ulcerative colitis; • gastroesophageal reflux; • chronic intestinal pseudo obstruction; and • inherited diseases of amino acids and organic acids. Food products modified to be low protein are covered for the treatment of inherited diseases of amino acids and organic acids. Preauthorization may be required. The amount that you pay may differ depending on whether the nutrition is delivered through a feeding tube or taken orally. When enteral formula is delivered through a feeding tube, associated supplies are also covered. Hair Prosthesis (Wigs) This plan covers hair prosthetics (wigs) worn for hair loss suffered as a result of cancer treatment in accordance with R.I. General Law § 27-20-54 and subject to the benefit limit and copayment listed in the Summary of Medical Benefits. This plan will reimburse the lesser of the provider’s charge or the benefit limit shown in the Summary of Medical Benefits. If the provider’s charge is more than the benefit limit, you are responsible for paying any difference. Early Intervention Services (EIS) This plan covers Early Intervention Services in accordance with R.I. General Law §27- 20-50. Early Intervention Services are educational, developmental, health, and social services provided to children from birth to thirty-six (36) months. The child must be certified by the Rhode Island Department of Human Services (DHS) to enroll in an approved Early Intervention Services program. Services must be provided by a licensed Early Intervention provider and rendered to a Rhode Island resident. Members not living in Rhode Island may seek services from the state in which they reside; however, those services are not covered under this plan. Early Intervention Services as defined by DHS include but are not limited to the following: • speech and language therapy; • physical and occupational therapy; • evaluation; • case management; • nutrition; • service plan development and review; • nursing services; and • assistive technology services and devices.
Drug Testing (A) The state and the PBA agree to drug testing of employees in accordance with section 112.0455, F.S., the Drug-Free Workplace Act.
Commercialization Reports Throughout the term of this Agreement and during the Sell-Off Period, and within thirty (30) days of December 31st of each year, Company will deliver to University written reports of Company’s and Sublicensees’ efforts and plans to develop and commercialize the innovations covered by the Licensed Rights and to make and sell Licensed Products. Company will have no obligation to prepare commercialization reports in years where (a) Company delivers to University a written Sales Report with active sales, and (b) Company has fulfilled all Performance Milestones. In relation to each of the Performance Milestones each commercialization report will include sufficient information to demonstrate achievement of those Performance Milestones and will set out timeframes and plans for achieving those Performance Milestones which have not yet been met.
Clinical Trials The studies, tests and preclinical and clinical trials conducted by or on behalf of, or sponsored by, the Company, or in which the Company has participated, that are described in the Registration Statement, the Time of Sale Disclosure Package or the Prospectus, or the results of which are referred to in the Registration Statement, the Time of Sale Disclosure Package or the Prospectus, were and, if still pending, are being conducted in all material respects in accordance with protocols, procedures and controls pursuant to, where applicable, accepted professional and scientific standards for products or product candidates comparable to those being developed by the Company and all applicable statutes, rules and regulations of the FDA, the EMEA, Health Canada and other comparable drug and medical device (including diagnostic product) regulatory agencies outside of the United States to which they are subject; the descriptions of the results of such studies, tests and trials contained in the Registration Statement, the Time of Sale Disclosure Package or the Prospectus do not contain any misstatement of a material fact or omit a material fact necessary to make such statements not misleading; the Company has no knowledge of any studies, tests or trials not described in the Disclosure Package and the Prospectus the results of which reasonably call into question in any material respect the results of the studies, tests and trials described in the Registration Statement, the Time of Sale Disclosure Package or Prospectus; and the Company has not received any notices or other correspondence from the FDA, EMEA, Health Canada or any other foreign, state or local governmental body exercising comparable authority or any Institutional Review Board or comparable authority requiring or threatening the termination, suspension or material modification of any studies, tests or preclinical or clinical trials conducted by or on behalf of, or sponsored by, the Company or in which the Company has participated, and, to the Company’s knowledge, there are no reasonable grounds for the same. Except as disclosed in the Registration Statement, the Time of Sale Disclosure Package and the Prospectus, there has not been any violation of law or regulation by the Company in its respective product development efforts, submissions or reports to any regulatory authority that could reasonably be expected to require investigation, corrective action or enforcement action.
Improvement Plans A. A professional improvement plan is a clearly articulated assistance program for a teacher whose student growth measure dimension of the evaluation is below the expected level of student growth. For the purposes of this agreement, improvement plans shall be based on the individual student growth measure level, and not for overall subjects or classes taught.
