Object Expressions Sample Clauses

Object Expressions. ‌ ∈ T ∪ UTP expressions do not, by default, contain explicit type information. For object oriented programming it is necessary that we carry type data about the class to which an object belongs. We thus define a derived form of expression and functions for querying this type data. An object expression e is represented by a pair: (eτ , ev), where the first element eτ cls is the type of e and the second element ev is its value. We can then define the construct null that stands for a family of values, one for each class. The type held by eτ in this case is inferred from the context. For instance, in an assignment x := null, we have that eτ = xτ ; this means that the runtime type of null is the declared type of variable x. For our implementation of the UTP in Isabelle all variables and expressions carry such data from the type system, thus this is a valid assumption (Isabelle/UTP is inherently strongly typed in nature).
Sample 1
AutoNDA by SimpleDocs

Related to Object Expressions

  • Reference Materials The Board agrees to continue to make available to employees the reference materials maintained by the district. Principals are encouraged to provide additional reference materials of high use in schools where feasible.

  • For Product Development Projects and Project Demonstrations  Published documents, including date, title, and periodical name.  Estimated or actual energy and cost savings, and estimated statewide energy savings once market potential has been realized. Identify all assumptions used in the estimates.  Greenhouse gas and criteria emissions reductions.  Other non-energy benefits such as reliability, public safety, lower operational cost, environmental improvement, indoor environmental quality, and societal benefits.  Data on potential job creation, market potential, economic development, and increased state revenue as a result of the project.  A discussion of project product downloads from websites, and publications in technical journals.  A comparison of project expectations and performance. Discuss whether the goals and objectives of the Agreement have been met and what improvements are needed, if any.

  • Alternate Work Schedules Workweeks and work shifts of different numbers of hours may be established for overtime-eligible employees by the Employer in order to meet business and customer service needs, as long as the alternate work schedules meet federal and state law. When there is a holiday, employees may be required to switch from their alternate work schedules to regular work schedules.

  • Alpine Areas The employer shall pay an Alpine disability allowance of $2.50 per hour worked on projects in alpine areas.

  • Built-up Area The built-up area for the Designated Apartment or any other Unit shall mean the Carpet Area of such Unit and Balcony area and 50% (fifty percent) of the area covered by those external walls which are common between such Unit/Balcony and any other Unit/Balcony and the area covered by all other external walls of the such Unit/Balcony.

  • Voltage Schedules Once the Developer has synchronized the Large Generating Facility with the New York State Transmission System, NYISO shall require Developer to operate the Large Generating Facility to produce or absorb reactive power within the design capability of the Large Generating Facility set forth in Article 9.5.1 (Power Factor Design Criteria). NYISO’s voltage schedules shall treat all sources of reactive power in the New York Control Area in an equitable and not unduly discriminatory manner. NYISO shall exercise Reasonable Efforts to provide Developer with such schedules in accordance with NYISO procedures, and may make changes to such schedules as necessary to maintain the reliability of the New York State Transmission System. Developer shall operate the Large Generating Facility to maintain the specified output voltage or power factor at the Point of Interconnection within the design capability of the Large Generating Facility set forth in Article 9.5.1 (Power Factor Design Criteria) as directed by the Connecting Transmission Owner’s System Operator or the NYISO. If Developer is unable to maintain the specified voltage or power factor, it shall promptly notify NYISO.

  • Access Toll Connecting Trunk Group Architecture 9.2.1 If CBB chooses to subtend a Verizon access Tandem, CBB’s NPA/NXX must be assigned by CBB to subtend the same Verizon access Tandem that a Verizon NPA/NXX serving the same Rate Center Area subtends as identified in the LERG.

  • PREVAILING WAGE RATES - PUBLIC WORKS AND BUILDING SERVICES CONTRACTS If any portion of work being Bid is subject to the prevailing wage rate provisions of the Labor Law, the following shall apply:

  • ROAD DIMENSIONS Purchaser shall perform road work in accordance with the dimensions shown on the TYPICAL SECTION SHEET and the specifications within this road plan.

  • Alternative Work Schedules Alternative work schedule means an approved schedule for an Employee that deviates from the work week described in Section 1, Section 2, or a schedule that deviates from a worksite’s normal schedule. Employees who work a “shift work schedule” as part of a rotating group of individuals who must continuously maintain a 24-hour operation or facility are not eligible for an alternative work schedule.

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