Contracts and Concurrency Sample Clauses

Contracts and Concurrency. This section presents the problems of using contracts to specify behaviour and generate runtime assertion checking code for concurrent programs. Although we use Java and JML, the principles we introduce would likely, for the most part, apply to other programming languages. We do not describe JML in detail but briefly describe the constructs we use to illustrate the challenges of concurrent contract specification and verification.
AutoNDA by SimpleDocs

Related to Contracts and Concurrency

  • Commitments and Contracts (1) The Company has Previously Disclosed or provided to the Investor or its representatives, prior to the date hereof, true, correct, and complete copies of each of the following to which the Company or any Company Subsidiary is a party or subject (whether written or oral, express or implied) (each, a “Company Significant Agreement”):

  • Funding Arrangements Minimum amounts/increments for Japan Local Currency Borrowings, repayments and prepayments: Same as Credit Agreement.

  • Certain Contracts and Arrangements Except as set forth in Section 2.9 of the Disclosure Schedule (with true and correct copies delivered to the Investor), the Company is not a party or subject to or bound by:

  • SUB-CONTRACTS (a) The Servicer may sub-contract or delegate the performance of all or any of its powers and obligations under this Agreement, provided that (but subject to Section 3.2(b)):

  • Agreements, Contracts and Commitments Neither Company nor any of its subsidiaries is a party to or is bound by:

  • Contracts and Agreements The agreements and documents described in the Registration Statement and the Prospectus conform in all material respects to the descriptions thereof contained therein and there are no agreements or other documents required by the Securities Act to be described in the Registration Statement and the Prospectus or to be filed with the Commission as exhibits to the Registration Statement, that have not been so described or filed. Each agreement or other instrument (however characterized or described) to which the Company is a party or by which it is or may be bound or affected and (i) that is referred to in the Registration Statement and the Prospectus, or (ii) is material to the Company’s business, has been duly authorized and validly executed by the Company, is in full force and effect in all material respects and is enforceable against the Company and, to the Company’s knowledge, the other parties thereto, in accordance with its terms, except (x) as such enforceability may be limited by bankruptcy, insolvency, reorganization or similar laws affecting creditors’ rights generally, (y) as enforceability of any indemnification or contribution provision may be limited under the federal and state securities laws, and (z) that the remedy of specific performance and injunctive and other forms of equitable relief may be subject to the equitable defenses and to the discretion of the court before which any proceeding therefor may be brought. None of such agreements or instruments has been assigned by the Company, and neither the Company nor, to the Company’s knowledge, any other party is in default thereunder and, to the Company’s knowledge, no event has occurred that, with the lapse of time or the giving of notice, or both, would constitute a default thereunder. To the best of the Company’s knowledge, performance by the Company of the material provisions of such agreements or instruments will not result in a violation of any existing applicable law, rule, regulation, judgment, order or decree of any governmental agency or court, domestic or foreign, having jurisdiction over the Company or any of its assets or businesses (each, a “Governmental Entity”), including, without limitation, those relating to environmental laws and regulations.

  • Contracts and Commitments; No Default (a) Except as set forth in the Company Disclosure Schedule, the Company is not a party to, nor are any of the Assets bound by, any written or oral:

  • Financing Arrangements (a) The Owner will obtain the Project Loan which shall be sufficient, together with the Owner's equity contributions, to pay the full amount of the costs to construct the Project in accordance with the development budget. The Owner and the Developer also contemplate that the Property and the Project, together with all fixtures, furnishing, equipment, and articles of personal property now owned or hereafter acquired by the Owner which are or may be attached to or used in connection with the Property or the Project, together with any and all replacements thereto and substitutions therefor, and all proceeds thereof; and all present and future rents, issues, leases, and profits of the Property and the Project will serve as security for the payment obligations to any lenders relating to the Project Loan or otherwise, and that the Owner will be the principal obligor for the repayment of all financial obligations thereunder after the transfer of title to the Owner. The Owner therefore, agrees to execute and deliver all commitments, promissory notes, mortgages, collateral assignments, documents, certificates, affidavits, and other writings required to be executed by any lender in connection with such financing.

  • Assignment of Contracts and Rights Anything in this Agreement to the contrary notwithstanding, this Agreement shall not constitute an agreement to assign any Purchased Asset or any claim or right or any benefit arising thereunder or resulting therefrom if such assignment, without the consent of a third party thereto, would constitute a breach or other contravention of such Purchased Asset or in any way adversely affect the rights of the Buyer or Seller thereunder. Seller will use commercially reasonable efforts (but without any payment of money by Buyer) to obtain the consent of the other parties to any such Purchased Asset or any claim or right or any benefit arising thereunder for the assignment thereof to Buyer as Buyer may request. If such consent is not obtained, or if an attempted assignment thereof would be ineffective or would adversely affect the rights of Seller thereunder so that Buyer would not in fact receive all such rights, Seller and Buyer will diligently cooperate in good faith in the thirty-five (35) days after the Closing to arrive at a mutually agreeable arrangement under which Buyer would obtain the benefits and assume the obligations thereunder in accordance with this Agreement, including subcontracting, sub-licensing, or sub-leasing to Buyer, or under which Seller would enforce for the benefit of Buyer, with Buyer assuming Seller's obligations, any and all rights of Seller against a third party thereto. Seller will promptly pay to Buyer when received all monies received by Seller under any Purchased Asset or any claim or right or any benefit arising thereunder, except to the extent the same represents an Excluded Asset.

  • Contracts and Commitments (a) Schedule 2.16 attached hereto contains a true, complete and correct list and description of the following contracts and agreements, whether written or oral (collectively, the "Contracts"):

Time is Money Join Law Insider Premium to draft better contracts faster.