Extended Theory of Classes Sample Clauses

Extended Theory of Classes. ‌ As we stated in Section 2.3 a UTP theory consists of its alphabet of observational variables, the signature of operators in the language, and the healthiness conditions as idempotent func- tions that constrain the theory’s domain. We will now proceed to define each of these for our extended theory of classes. We assume the following types for our theory of classes: • Type, the set of all type names; • T (⊂ Type), the set of basic type names; • CName(⊂ Type), the set of class names; • AName, the set of attribute5 names. T → T ∀ ∈ T ∃ ∈ For VDM-RT, consists of the usual constructions such as strings, integers, sequences, maps, and sets. We also assume a function carrier : P U that gives the set of values for each type (in a suitable universe). Moreover, we assume that every type yields a non-empty carrier, that is t . v.v carrier(t), which ensures that we can always pick an arbitrary value for each type by using the indefinite description operator ϵ (as in Isabelle/HOL). Next we give the observational variables of our UTP theory of classes. cls : P CName atts : CName → (AName → Type) sc : CName ↔ CName ivr : CName → Object → Pred C ≺ D C ≤ D = (C, D) ∈ sc+ ^ =^ (C, D) ∈ sc∗ ↔ The observational variable cls records the set of defined classes, atts is a partial function as- signing a set of attributes to each class, and sc is the subclass relationship. We deviate slightly from [10] and [47] in that sc is now a relation (CName CName) rather than a partial function. This allows us to support multiple inheritance, where the original work only supported single
AutoNDA by SimpleDocs

Related to Extended Theory of Classes

  • Out of Class Pay On occasion, due to operational necessity, an employee may be required to perform a majority of essential duties of another classification with a higher salary range. In such cases, payment for out-of-class work shall be 5% above the regular base pay of the employee for all hours worked in the higher classification. Such pay shall be a minimum of the “A” step of the higher classification and no more than the maximum of the highest step of the higher classification. If the 5% increase falls between steps, the next higher step is used. Eligibility for out-of-class pay will be subject to the following conditions:

  • Classes The officers of the Company shall be a President, a Secretary, a Treasurer, and, if deemed necessary, expedient, or desirable by the Board of Managers, an Executive Vice President, one or more Senior Vice Presidents, one or more other Vice Presidents, one or more Assistant Treasurers, one or more Assistant Secretaries, and such other officers as may be elected or appointed in accordance with the provisions of this article. Additional officers and duties may be added by amendments to this article by the Members.

  • Obligations of Respondent a. If this Compromise Agreement is executed within thirty (30) calendar days after the date of the Notice, Respondent agrees to pay the sum of $8,000, as full satisfaction of the civil penalty proposed in the Notice, within thirty (30) calendar days of the issuance of the Adopting Order. If this Compromise Agreement is executed between thirty-one (31) and sixty (60) calendar days after the date of the Notice, Respondent agrees to pay the sum of $16,000 as full satisfaction of the civil penalty proposed in the Notice, within thirty (30) calendar days of the issuance of the Adopting Order.

  • NO EXTRA CLAIMS COMMITMENT During the life of this agreement the parties agree and are therefore bound not to pursue any additional claims. It is agreed that up to the nominal expiry date of this agreement:

  • Independent Allocations of Risk EACH PROVISION OF THIS AGREEMENT THAT PROVIDES FOR A LIMITATION OF LIABILITY, DISCLAIMER OF WARRANTIES, OR EXCLUSION OF DAMAGES IS TO ALLOCATE THE RISKS OF THIS AGREEMENT BETWEEN THE PARTIES. THIS ALLOCATION IS REFLECTED IN THE PRICING OFFERED BY MAXLINEAR TO DISTRIBUTOR AND IS AN ESSENTIAL ELEMENT OF THE BASIS OF THE BARGAIN BETWEEN THE PARTIES. EACH OF THESE PROVISIONS IS SEVERABLE AND INDEPENDENT OF ALL OTHER PROVISIONS OF THIS AGREEMENT, AND EACH OF THESE PROVISIONS WILL APPLY EVEN IF THE REMEDIES IN THIS AGREEMENT HAVE FAILED OF THEIR ESSENTIAL PURPOSE.

  • New Classifications If a new classification is created within the bargaining unit, the Employer agrees to meet with the Union and negotiate a rate of pay for this new classification. If the parties cannot reach agreement, at the request of either party, the matter shall be submitted to the arbitration procedure in Article 26 of this Agreement.

  • Payment of Claims A. If advance payment of all or a portion of the Grant funds is permitted by statute or regulation, and the State agrees to provide such advance payment, advance payment shall be made only upon submission of a proper claim setting out the intended purposes of those funds. After such funds have been expended, Grantee shall provide State with a reconciliation of those expenditures. Otherwise, all payments shall be made thirty five (35) days in arrears in conformance with State fiscal policies and procedures. As required by IC § 4-13-2-14.8, all payments will be by the direct deposit by electronic funds transfer to the financial institution designated by the Grantee in writing unless a specific waiver has been obtained from the Indiana Auditor of State.

  • New Classification Should a new position or new classification be created within the Bargaining Unit during the term of this Agreement, the Employer and the Union will decide the rate of pay. Nothing herein prevents the Employer from filling such positions and having Nurses working in such positions during such negotiations. The salary when determined will be retroactive to the date on which the successful candidate commenced work in that classification.

  • Certification Regarding Debarment, Suspension, and Other Responsibility Matters – Primary Covered Transactions The Firm certifies to the best of its knowledge and belief, that it and its principals:

  • PROVISIONS OF THIS AGREEMENT APPLICABLE ALLOTTEE/ SUBSEQUENT ALLOTTEES It is clearly understood and so agreed by and between the Parties hereto that all the provisions contained herein and the obligations arising hereunder in respect of the said Apartment/ Plot and the Project shall equally be applicable to and enforceable against and by any subsequent Allottee of the Apartment/ Plot, in case of a transfer, as the said obligations go along with the Apartment/ Plot for all intents and purposes.

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