Implicit and Explicit Operations Sample Clauses

Implicit and Explicit Operations. T Both kinds of operation are interpreted as methods whose bodies are UTP designs. The designs assume the precondition and invariant holds, and commits to establishing the post condition and preserving the invariant. An explicit operation additionally encapsulates the semantics of the operation body in the post condition. Therefore, an explicit operation whose body does not satisfy the postcondition or violates the invariant is equivalent to the miraculous design D . This is a strong interpretation of the use of invariants and postconditions in the semantics, and in practical terms it may be unnecessarily restrictive. For example, we could alternatively prove that the operation satisfies its obligations, rather than asserting that it does. Nevertheless, since this is a safe use of the assertional formulas we retain the strong semantics. s opn(x : T ...x : T ) r : U {C,asn  res r : U ; val x1 : T1 · · · xn : Tn  1 pre Pre post Post provided opn /= C ^ meth C opn  • ∧ I(C) J )exp J )exp  ▶ ∧ I(C)r) , opn : (T1 × Tn) =⇒ U ,C,asn  res RESULT : U ; val x1 : T1 · · · xn :Tn  ˛ ¸ opn(x1...xn) == Body pre Pre post Post = meth C opn
View Source

Related to Implicit and Explicit Operations

  • Information and Services Required of the Owner The Owner shall provide information with reasonable promptness, regarding requirements for and limitations on the Project, including a written program which shall set forth the Owner’s objectives, constraints, and criteria, including schedule, space requirements and relationships, flexibility and expandability, special equipment, systems, sustainability and site requirements.

  • Sub-adviser’s Use of the Services of Others The Sub-adviser may (at its cost except as contemplated by Paragraph 5 of this Agreement) employ, retain, or otherwise avail itself of the services or facilities of other persons or organizations, including affiliates of the Sub-adviser, for the purpose of providing the Sub-adviser or the Adviser or the applicable Corporation or Fund, as appropriate, with such statistical and other factual information, such advice regarding economic factors and trends, such advice as to occasional transactions in specific securities, or such other information, advice, or assistance as the Sub-adviser may deem necessary, appropriate, or convenient for the discharge of its obligations hereunder or otherwise helpful to the Adviser or the Corporation or the Fund, as appropriate, or in the discharge of its overall responsibilities with respect to the other accounts that it serves as investment manager or counselor.

  • Manager’s Use of the Services of Others The Manager may (at its cost except as contemplated by Paragraph 4 of this Agreement) employ, retain or otherwise avail itself of the services or facilities of other persons or organizations for the purpose of providing the Manager or the Corporation or Fund, as appropriate, with such statistical and other factual information, such advice regarding economic factors and trends, such advice as to occasional transactions in specific securities or such other information, advice or assistance as the Manager may deem necessary, appropriate or convenient for the discharge of its obligations hereunder or otherwise helpful to the Corporation or Fund, as appropriate, or in the discharge of Manager's overall responsibilities with respect to the other accounts which it serves as investment manager.

  • Stockholder Has Adequate Information Stockholder is a sophisticated seller with respect to the Securities and has adequate information concerning the business and financial condition of the Company to make an informed decision regarding the sale of the Securities and has independently and without reliance upon either the Merger Sub or the Parent and based on such information as Stockholder has deemed appropriate, made its own analysis and decision to enter into this Agreement. Stockholder acknowledges that neither the Merger Sub nor the Parent has made and neither makes any representation or warranty, whether express or implied, of any kind or character except as expressly set forth in this Agreement. Stockholder acknowledges that the agreements contained herein with respect to the Securities by Stockholder are irrevocable (prior to the Termination Date).

  • Community Involvement The Grantee will facilitate and convene a Community Task Force as one means of developing collaboration among the Grantee, affected residents, and the broader community. The Grantee also will provide information to keep the Community Task Force fully apprised of the planning and implementation of revitalization efforts. The Community Task Force shall be comprised of affected public housing residents, local government officials, service providers, community groups, and others. The Community Task Force will provide advice, counsel and recommendations to the Grantee on all aspects of the HOPE VI development process, including shaping the goals and outcome of the Community and Supportive Services Plan. Community Task Force participants also will disseminate information throughout the community about the Grantee's revitalization efforts. The Grantee's responsibilities with regard to the Community Task Force include: (1) convening and participating in the Community Task Force and other advisory groups; (2) ensuring that regular meetings of the Community Task Force are held to apprise participants of the status of the development process and to solicit comments, opinions, advice, and recommendations on the planning and implementation of the Grantee's revitalization efforts; and (3) if requested by HUD, entering into a memorandum of understanding with the members of the Community Task Force setting forth the manner and frequency of task force meetings, the method (if any) for designating resident and community participants, and the issues that the task force will discuss and develop.