Evaluation of Expressions Sample Clauses

Evaluation of Expressions. The evaluation function E (Fig. 7) takes an expression e and a program state and returns the set of all possible values that e can evaluate to, together with the updated program states. Clauses (1) and (3) are not explained here. Clause (2): To evaluate a binary operator, all possible values v1 for e1, and all possible values for e2 are calculated. The evaluation of e2 happens in the result state of the evaluation of e1. The result is the set of the symbolic values v1 op v2 for all combinations (v1, v2). These values are subject to constant folding (e.g. 1 + 2 becomes 3), which is not shown here.
AutoNDA by SimpleDocs

Related to Evaluation of Expressions

  • Integration of Exhibits All Exhibits attached to this Agreement are integral parts of this Agreement as if fully set forth herein, and all statements appearing therein shall be deemed disclosed for all purposes and not only in connection with the specific representation in which they are explicitly referenced.

  • SEVERABILITY AND FINAL EXPRESSION This Agreement and the Disclosure are the final expression of the terms and conditions of your account. This written Agreement and Disclosure may not be contradicted by evidence of any alleged oral agreement. Should any part of this Agreement or the Disclosure be found to be invalid or unenforceable, all other parts of this Agreement and Disclosure shall remain in effect and fully enforceable to the fullest extent possible under this Agreement.

  • Incorporation of Exhibits The Exhibits attached to this Agreement are incorporated herein and shall be considered a part of this Agreement for all purposes.

  • Final Expression This Agreement is the final expression of the terms and conditions of this VISA line of credit between you and Credit Union. This written Agreement may not be contradicted by evidence of any alleged oral agreement.

  • INDEX OF EXHIBITS Exhibit A Lease Agreement Exhibit B Option Agreement Exhibit C Bill xx Sale Exhibit D-1 Opinion of Counsel to Buyer Exhibit D-2(a) Opinion of Counsel to the Companies and the Shareholder Exhibit D-2(b) Opinion of Counsel to the Companies and the Shareholder Exhibit E Assumption Agreement Exhibit F Cleanup Escrow Agreement Exhibit G General Escrow Agreement Exhibit H Registration Rights Agreement Exhibit I Employment Agreements Schedule 1.1(k) Prepaid Expenses Schedule 1.2(c) Deferred Income Taxes Schedule 1.2(e) Insurance Policies Schedule 1.2(g) Other Excluded Assets Schedule 1.2(h) Shareholder Personal Property Schedule 4.1 Jurisdictions in which Qualified to do Business Schedule 4.5 Capitalization of the Companies; Shareholder Schedule 4.6 Violations; Conflicts; etc. Schedule 4.8 Subsidiaries Schedule 4.9 Financial Statements Schedule 4.10 Changes since the Current Balance Sheet Date Schedule 4.11 Liabilities Schedule 4.12 Litigation Schedule 4.13 Environmental Matters Schedule 4.14(a) Owned Premises Schedule 4.14(b) Leased Premises Schedule 4.14(c) Additional Locations Schedule 4.15 Title to and Condition of Assets Schedule 4.16 Compliance with Laws Schedule 4.17 Labor and Employment Matters Schedule 4.18 Employee Benefit Plans Schedule 4.19 Tax Matters Schedule 4.20 Insurance Schedule 4.21 Receivables Schedule 4.22 Licenses and Permits Schedule 4.23 Relationships with Customers and Suppliers Schedule 4.24 Intellectual Property Schedule 4.25 Purchased Contracts Schedule 4.27 Documents Not Prepared by Companies or Shareholder Schedule 4.30 Names Schedule 4.31 Commissions Schedule 4.33(a) Fixed Asset Schedule Schedule 4.33(b) Liability Schedule Schedule 5.5 SEC Filings and Financial Information Schedule 6.2 Negative Covenants Schedule 11.19(a) Remediation Plan ASSET PURCHASE AGREEMENT This Asset Purchase Agreement (this "AGREEMENT") is entered into effective as of January 20, 1998, by and among Metal Management, Inc., a Delaware corporation ("MTLM"); AMI Acquisition Co., a Delaware corporation and a wholly-owned subsidiary of MTLM ("AMI" together with MTLM, "BUYER"); Aerospace Metals, Inc., a Connecticut corporation ("AEROSPACE"); Aerospace Parts Security, Inc., a Connecticut corporation ("SECURITY"); The Suisxxx Xxxanium Corporation, a Connecticut corporation and a wholly-owned subsidiary of Aerospace ("TITANIUM") (Aerospace, Security and Titanium are hereinafter sometimes referred to individually as a "COMPANY" and collectively as the "COMPANIES"); and Michxxx Xxxxxxx, xxing the sole shareholder of Aerospace and Security ("SHAREHOLDER"). Certain other capitalized terms used herein are defined in Article XIII or elsewhere throughout this Agreement.

  • Provision of Services by Third Parties The Administrator shall, to the extent it determines that it would be advisable in connection with or incidental to the activities contemplated hereby, arrange for and coordinate the services of other professionals, experts and consultants to provide any or all of the Services, in which case, the costs and expenses of such third parties for providing such services shall be borne by the Administrator other than as set forth in Section 3; it being understood that the Administrator shall not charge to the Issuer any fees in addition thereto with respect to such outsourced Painting-Level Services that are described in Section 1(a)(i) and Entity-Level Services described in Section 1(a)(ii), but the Administrator shall be entitled to reimbursement for third party costs incurred in connection with Non-Routine Services described in Section 1(a)(iii) as set forth in Section 3(b). Reimbursement for Non-Routine Services shall be reimbursed by the Issuer out of the proceeds from a sale of the Painting. In addition, Masterworks may determine to sell the Painting without engaging a third-party intermediary, in which event, the Administrator would charge the buyer of the Painting a reasonable fee not to exceed the lowest published buyer’s premium charged by Sotheby’s, Christie’s or Pxxxxxxx in effect at such time.

  • H4 Consequences of Expiry or Termination H4.1 Where the Authority terminates the Contract under clause F5.5 (Remedies in the Event of Inadequate Performance) or clause H2 (Termination on Default) and then makes other arrangements for the supply of Services, the Authority may recover from the Contractor the cost reasonably incurred of making those other arrangements and any additional expenditure incurred by the Authority throughout the remainder of the Contract Period. The Authority shall take all reasonable steps to mitigate such additional expenditure. Where the Contract is terminated under clause F5.5 or clause H2 (Termination on Default), no further payments shall be payable by the Authority to the Contractor until the Authority has established the final cost of making those other arrangements.

  • Incorporation of Exhibits and Schedules The Exhibits and Schedules identified in this Agreement are incorporated herein by reference and made a part hereof.

  • Effects of Expiration or Termination Upon expiration of the License Term or termination of this Agreement, Customer shall promptly pay all sums owed by Customer, return the original copies of all Licensed Products to PTC, destroy and/or delete all copies and backup copies thereof from Customer’s computer libraries, storage facilities and/or hosting facilities, and certify in writing by an officer that Customer is in compliance with the foregoing requirements and that the Licensed Products are no longer in Customer’s possession or in use.

  • Role of Experts 1. On request of a disputing Party, or on its own initiative, the Panel may seek information and technical advice from any person or body that it deems appropriate. The requirements set out in subparagraphs (b) and (c) of Article 178 (Qualifications of Panelists) shall apply to the selection of experts or groups, as appropriate. 2. Before the Panel seeks information or technical advice, appropriate procedures shall be established in consultation with the disputing Parties. The Panel shall: (a) notify the Parties, in advance, of its intention to seek information or technical advice pursuant to paragraph 1, establishing an adequate time period for the Parties to make the comments and observations that they deem convenient; and (b) provide the disputing Parties with a copy of any information or technical advice received pursuant to paragraph 1, and with a period of time for the Parties to submit its comments. 3. When the Panel takes into consideration the information or technical advice sought pursuant to paragraph 1 for the preparation of its report, it shall also take into account any comments or observations submitted by the disputing Parties with respect to such information or technical advice.

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