(function contracts) Sample Clauses

(function contracts). In this example we show an encoding of function contracts in the style of Findler and Xxxxxxxxx [2002] as session contracts. Suppose that f is a function and ›→
AutoNDA by SimpleDocs
(function contracts). ‌ Following Findler and Xxxxxxxxx’s work on contracts for higher-order functions [41], a function contract is built from zero or more contracts for the domain of a function (one contract per argument) and one contract for the range (return) of a function. We call a function contract delayed because asserting it to a value does not immediately signal a violation. Asserting the function contract amounts to asserting the domain contracts to the argument values and asserting the range contract to the return value of each call. A function contract applied to a non-function value will never signal a contract violation. For example, consider the function plus which first checks if both arguments are greater than 0 and second, depending on the result of this test, it either applies JavaScript’s native addition operator + to its arguments or it returns a string message. } Listing 4.10 Definition of function plus. As a running example we develop several contracts for plus. Our first contract restricts input and output to values of type "number".

Related to (function contracts)

  • Project Contracts Prior to the delivery of this Lease, the Company may have entered into a contract or contracts with respect to the acquisition and/or construction of the Improvements. Those contracts, and any such contracts entered into by the Company after delivery of this Lease are hereinafter referred to as the “Project Contracts.” Prior to the delivery hereof, certain work has been or may have been performed on the Improvements pursuant to said Project Contracts or otherwise. Subject to the Lender’s rights in the Project Contracts, the Company hereby conveys, transfers and assigns to the Issuer all of the Company’s rights in, but not its obligations under the Project Contracts and the Issuer hereby designates the Company as Issuer’s agent for the purpose of executing and performing the Project Contracts. After the execution hereof, the Company shall cause the Project Contracts to be fully performed by the contractor(s), subcontractor(s) and supplier(s) thereunder in accordance with the terms thereof, and the Company covenants to cause the Improvements to be acquired, constructed and/or completed in accordance with the Project Contracts. Any and all amounts received by the Issuer, the Trustee or the Company from any of the contractors or other suppliers by way of breach of contract, refunds or adjustments shall become a part of and be deposited in the Project Fund.

  • Construction Contracts Item A: Enter the total dollar amount of all contacts awarded on the project/ program. Item B: Enter the total dollar amount of contracts connected with this project/program that were awarded to Section 3 businesses.

  • SUB-CONTRACTS (a) The Administrator may sub-contract or delegate the performance of all or any of its powers and obligations under this Agreement, provided that (but subject to Clause 3.2(b) herein): (i) the prior written consent of the Mortgages Trustee and Funding to the proposed arrangement (including, if Funding considers it necessary after consulting with the Security Trustee, approving any contract which sets out the terms on which such arrangements are to be made) has been obtained, the Security Trustee has been consulted and notification has been given to each of the Rating Agencies; (ii) where the arrangements involve the custody or control of any Mortgage Loan Files and/or Title Deeds relating to the Mortgage Portfolio for the purpose of performing any delegated Services, the sub-contractor or delegate has executed an acknowledgement in writing acceptable to Funding and the Security Trustee to the effect that any such Mortgage Loan Files and/or Title Deeds are and will be held to the order of the Mortgages Trustee (as trustee for the Beneficiaries); (iii) where the arrangements involve or may involve the receipt by the sub-contractor or delegate of monies belonging to the Beneficiaries which, in accordance with this Agreement, are to be paid into the relevant Collection Account, the sub-contractor or delegate has executed a declaration in writing acceptable to the Beneficiaries that any such monies held by it or to its order are held on trust for the Beneficiaries and will be paid forthwith into the relevant Collection Account in accordance with the terms of the Mortgages Trust Deed; (iv) any such sub-contractor or delegate has executed a written waiver of any Security Interest arising in connection with such delegated Services (to the extent that such Security Interest relates to the Mortgage Portfolio or any amount referred to in (iii) above); and (v) neither the Mortgages Trustee, the Security Trustee nor the Beneficiaries shall have any liability for any costs, charges or expenses payable to or incurred by such sub-contractor or delegate or arising from the entering into, the continuance or the termination of any such arrangement. (b) The provisos to Clause 3.2(a) (i), (ii) and (iii) herein shall not apply: (i) to the engagement by the Administrator of: (1) any receiver, solicitor, insurance broker, valuer, surveyor, accountant, estate agent, insolvency practitioner, auctioneer, bailiff, debt counsellor, tracing agent, property management agent, licensed or qualified conveyancer or other professional adviser acting as such; or (2) any locksmith, builder or other contractor acting as such in relation to a Mortgaged Property, in any such case being a person or persons whom the Administrator would be willing to appoint in respect of its own mortgages in connection with the performance by the Administrator of any of its obligations or functions or in connection with the exercise of its powers under this Agreement; or (ii) to any delegation to any wholly-owned subsidiary of the Seller from time to time. (c) The Mortgages Trustee and/or Funding and the Security Trustee may require the Administrator to assign to the Mortgages Trustee any rights which the Administrator may have against any sub-contractor or delegate arising from the performance of services by such person in association with any matter contemplated by this Agreement and the Administrator acknowledges that such rights assigned to the Mortgages Trustee will be exercised by the Mortgages Trustee as trustee for the Beneficiaries subject to the terms of the Mortgages Trust Deed. (d) Notwithstanding any sub-contracting or delegation of the performance of the Administrator's obligations under this Agreement: (i) the Administrator shall not thereby be released or discharged from any liability hereunder; (ii) the Administrator shall remain responsible for the performance of the obligations of the Administrator under this Agreement; (iii) the performance or non-performance or the manner of performance of any sub-contractor or delegate of any of the Services shall not affect the Administrator's obligations under this Agreement; (iv) any breach in the performance of the Services by any sub-contractor or delegate shall, subject to the Administrator being entitled for a period of twenty (20) Business Days from receipt of notice of the breach to remedy such breach by any sub-contractor or delegate, be treated as a breach of this Agreement by the Administrator; and (v) the Security Trustee shall have no liability for any act or omission of the sub-contractor or delegate and shall have no responsibility for monitoring or investigating the suitability of any such sub-contractor or delegate.

  • Management Contracts The Recipient agrees that from the date hereof until the date on which none of the Infrastructure Bonds, of which the proceeds were used to pay or reimburse the costs of the Project, remain outstanding (the "Agreement Term"): a. The Recipient will not contract with any Private Person to manage the Project or any portion thereof unless all of the following conditions are met: (A) at least 50% of the compensation of the Private Person is based on a periodic, fixed fee that contains no incentive adjustments, and no amount of compensation is based on a share of net profits; (B) the compensation is reasonable in relation to the services performed; (C) the term of the contract does not exceed five (5) years (including any renewal option periods provided for in the contract); (D) if the term of the contract exceeds three (3) years, the Recipient is able to cancel the contract without penalty or cause at the end of each three-year period of the contract; (E) any automatic increases in the periodic, fixed fee may not exceed the percentage increases determined by an external standard set forth in the contract for computing increases; and (F) any new contract with a Private Person which is subject to this subparagraph F.2. will be subject to the requirements of (A) through (F) of this subparagraph F.2.a.; and b. If the Recipient is subject to subparagraph F.2.a. above and it enters into contracts with Private Persons described in subparagraph F.2.a., and the Governing Body of the recipient numbers five (5) or more members, no more than one (1) member of the Governing Body of the Recipient may be an employee or member of the Governing Body of the Private Person. If the Governing Body of the Recipient numbers less than five (5), no member of the Governing Body of the Recipient may be an employee or member of the Governing Body of the Private Person. Similarly, if the Governing Body of the Private Person numbers five (5) or more members, no more than one (1) of those members may be an employee or member of the Governing Body of the Recipient. However, in no event may a member or employee of both the Recipient and Private Person be the Chief Executive Officer or its equivalent of the Recipient or the Private Person. Members of the Governing Body of the Recipient may not own a controlling interest in the Private Person.

  • Customer Contracts 6.2.1 The Redistributor should ensure that its contracts with its Customers give it all necessary rights to control and monitor Data use. 6.2.2 The Redistributor is obliged to make the contents of this Schedule available to its customers.

  • SUBCONTRACTS - ASSIGNMENT Contractor shall not subcontract or assign this Agreement, or any part thereof, or interest therein, directly or indirectly, voluntarily or involuntarily, to any person without obtaining the prior written consent by County. Contractor remains legally responsible for the performance of all contract terms including work performed by third parties under subcontracts. Any subcontracting will be subject to all applicable provisions of this Agreement. Contractor shall be held responsible by County for the performance of any subcontractor whether approved by County or not. Contractor hereby assigns to the County all rights, title, and interest in and to all causes of action it may have under Section 4 of the Xxxxxxx Act (15 U.S.C. Sec. 15) or under the Xxxxxxxxxx Act (Chapter 2 (commencing with Section 16700) of Part 2 of Division 7 of the Business and Professions Code), arising from the purchase if goods, materials, or services by the Contractor for sale to the County pursuant to this Agreement.

  • Service Contracts (a) The Trustees may, at any time and from time to time, contract for exclusive or nonexclusive advisory, management and/or administrative services for the Trust or for any Series with any Person; and any such contract may contain such other terms as the Trustees may determine, including without limitation, authority for the Investment Adviser to determine from time to time without prior consultation with the Trustees what investments shall be purchased, held, sold or exchanged and what portion, if any, of the assets of the Trust shall be held uninvested and to make changes in the Trust's investments, and such other responsibilities as may specifically be delegated to such Person. (b) The Trustees may also, at any time and from time to time, contract with any Persons, appointing such Persons exclusive or nonexclusive distributor or Principal Underwriter for the Shares of one or more of the Series or other securities to be issued by the Trust. Every such contract may contain such other terms as the Trustees may determine. (c) The Trustees are also empowered, at any time and from time to time, to contract with any Persons, appointing such Person(s) to serve as custodian(s), transfer agent and/or shareholder servicing agent for the Trust or one or more of its Series. Every such contract shall comply with such terms as may be required by the Trustees. (d) The Trustees are further empowered, at any time and from time to time, to contract with any Persons to provide such other services to the Trust or one or more of the Series, as the Trustees determine to be in the best interests of the Trust and the applicable Series. (e) The fact that: (i) any of the Shareholders, Trustees, or officers of the Trust is a shareholder, director, officer, partner, trustee, employee, Manager, adviser, Principal Underwriter, distributor, or affiliate or agent of or for any Person with which an advisory, management or administration contract, or Principal Underwriter's or distributor's contract, or transfer, shareholder servicing or other type of service contract may be made, or that (ii) any Person with which an advisory, management or administration contract or Principal Underwriter's or distributor's contract, or transfer, shareholder servicing or other type of service contract may be made also has an advisory, management or administration contract, or principal underwriter's or distributor's contract, or transfer, shareholder servicing or other service contract, or has other business or interests with any other Person, shall not affect the validity of any such contract or disqualify any Shareholder, Trustee or officer of the Trust from voting upon or executing the same, or create any liability or accountability to the Trust or its Shareholders, provided approval of each such contract is made pursuant to the applicable requirements of the 1940 Act.

  • Subcontracts The contractor or subcontractor shall insert in any subcontracts the clauses set forth in paragraph (1.) through (4.) of this section and also a clause requiring the subcontractors to include these clauses in any lower tier subcontracts. The prime contractor shall be responsible for compliance by any subcontractor or lower tier subcontractor with the clauses set forth in paragraphs (1.) through (4.) of this section.

  • Business Contracts All contracts and other agreements (other than the Real Property Leases and Personal Property Leases and the Accounts Receivable) to which the Seller is a party and which are utilized in the conduct of the Business, including without limitation contracts and other agreements relating to suppliers, sales representatives, distributors, consultants, customers, purchase orders, marketing and purchasing arrangements (the "Business Contracts");

  • Vendor Contracts (a) THIRD-PARTY ASO CONTRACTS. (i) ATI shall use its Reasonable Efforts to amend each administrative services only contract with a third-party administrator that relates to any of the ATI Health and Welfare Plans (an "ASO Contract") in existence as of the date of this Agreement to permit Water Pik to participate in the terms and conditions of such ASO Contract from Immediately After the Distribution Date until December 31, 2000. ATI shall use its Reasonable Efforts to cause all ASO Contracts into which ATI enters after the date of this Agreement but before the Close of the Distribution Date to allow Water Pik to participate in the terms and conditions thereof effective Immediately After the Distribution Date on the same basis as ATI. (ii) ATI shall have the right to determine, and shall promptly notify Water Pik of, the manner in which Water Pik's participation in the terms and conditions of ASO Contracts as set forth above shall be effectuated. The permissible ways in which Water Pik's participation may be effectuated include automatically making Water Pik a party to the ASO Contracts or obligating the third party to enter into a separate ASO Contract with Water Pik providing for the same terms and conditions as are contained in the ASO Contracts to which ATI is a party (or such other arrangement as to which ATI and Water Pik shall mutually agree). Such terms and conditions shall include the financial and termination provisions, performance standards, methodology, auditing policies, quality measures, reporting requirements and target claims. Water Pik hereby authorizes ATI to act on its behalf to extend to Water Pik the terms and conditions of the ASO Contracts. Water Pik shall fully cooperate with ATI in such efforts, and Water Pik shall not perform any act, including discussing any alternative arrangements with any third party, that would prejudice ATI's efforts.

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