Static Contract Simplification Sample Clauses

Static Contract Simplification. ‌ Contracts and contract monitoring are a powerful mechanism for enforcing guarantees at runtime. However, the insertion of contract checks and the introduction of proxy objects significantly impact the execution time of a program. To overcome this issue, this part presents static contract simplification. Its objective is to pre-evaluate contracts at compile time and to apply compile-time transformations to reduce as much from a contract as possible. Our key technique is to propagate contracts statically through the program code and to evaluate contracts where possible. Remaining fragments, which cannot be checked statically, where lifted to the enclosing boundary and condensed to shorter interface descriptions which are collectively cheaper to check at runtime.
Sample 1Sample 2
AutoNDA by SimpleDocs

Related to Static Contract Simplification

  • Drug and Alcohol Testing – Safety-Sensitive Functions A. Employees required to have a Commercial Driver’s License (CDL) are subject to pre-employment, post-accident, random and reasonable suspicion testing in accordance with the U.S. Department of Transportation rules, Coast Guard Regulations (46 CFR Part 16) or the Federal Omnibus Transportation Employee Testing Act of 1991. The testing will be conducted in accordance with current Employer policy.

  • Anti-Boycott Verification To the extent this Agreement constitutes a contract for goods or services within the meaning of Section 2270.002 of the Texas Government Code, as amended, solely for purposes of compliance with Chapter 2270 of the Texas Government Code, and subject to applicable Federal law, the Developer represents that neither the Developer nor any wholly owned subsidiary, majority-owned subsidiary, parent company or affiliate of Developer (i) boycotts Israel or (ii) will boycott Israel through the term of this Agreement. The terms “boycotts Israel” and “boycott Israel” as used in this paragraph have the meanings assigned to the term “boycott Israel” in Section 808.001 of the Texas Government Code, as amended.

  • CERTIFICATION REGARDING DRUG-FREE WORKPLACE REQUIREMENTS The undersigned (authorized official signing for the contracting organization) certifies that the contractor will, or will continue to, provide a drug-free workplace in accordance with 45 CFR Part 76 by:

  • Trunk Group Architecture and Traffic Routing The Parties shall jointly engineer and configure Local/IntraLATA Trunks over the physical Interconnection arrangements as follows:

  • Contract Work Hours and Safety Standards Act The following clauses apply to any Federal-aid construction contract in an amount in excess of $100,000 and subject to the overtime provisions of the Contract Work Hours and Safety Standards Act. These clauses shall be inserted in addition to the clauses required by 29 CFR 5.5(a) or 29 CFR 4.6. As used in this paragraph, the terms laborers and mechanics include watchmen and guards.

  • Prescription Safety Glasses Prescription safety glasses will be furnished by the employer. The employer retains the authority to establish reasonable rules and procedures regarding frequency of issue, replacement of damaged glasses, limits on reimbursement costs and coordination with the employer's vision plan.

  • Technical Specifications The Technical Specifications furnished on the CD are intended to establish the standards for quality, performance and technical requirements for all labor, workmanship, material, methods and equipment necessary to complete the Work. When specifications and drawings are provided or referenced by the County, these are to be considered part of the Scope of Work, and to be specifically documented in the Detailed Scope of Work. For convenience, the County supplied specifications, if any, and the Technical Specifications furnished on the CD.

  • Contractor Certification regarding Boycotting Israel Pursuant to Chapter 2270, Texas Government Code, Contractor certifies Contractor (1) does not currently boycott Israel; and (2) will not boycott Israel during the Term of this Agreement. Contractor acknowledges this Agreement may be terminated and payment withheld if this certification is inaccurate.

  • Technical Specification As enumerated in Special Conditions of Contract/Scope of Work/attached Drawing/ Details/Schedule of Rates.

  • Prescription Drug Quantity Limits We limit the quantity of certain prescription drugs that you can get at one time for safety, cost-effectiveness and medical appropriateness reasons. Our clinical criteria for quantity limits are subject to our periodic review and modification. Quantity limits may restrict: • the amount of pills dispensed per thirty (30) day period; • the number of prescriptions ordered in a specified time period; or • the number of prescriptions ordered by a provider, or multiple providers. Our formulary indicates which prescription drugs have a quantity limit. Types of Pharmacies Prescription drugs and diabetic equipment or supplies can be bought from the following types of pharmacies: • Retail pharmacies. These dispense prescription drugs and diabetic equipment or supplies. • Mail order pharmacies. These dispense maintenance and non-maintenance prescription drugs and diabetic equipment or supplies. • Specialty pharmacies. These dispense specialty prescription drugs, defined as such on our formulary. For information about our network retail, mail order, and specialty pharmacies, visit our website or call our Customer Service Department.

Draft better contracts in just 5 minutes Get the weekly Law Insider newsletter packed with expert videos, webinars, ebooks, and more!