Translating Features of VDM Sample Clauses

Translating Features of VDM. SL In this section we discuss how the basic features of VDM-RT, those contained in the subset VDM-SL, are translated to C. Basic data types Instances of the fundamental data types of VDM-SL (integers, reals, characters etc.) translate directly to instances of type TVP with the appropriate field of the union structure TypedValueType set to the value of the instance. They are instantiated using the corresponding con- structor functions newInt(), newBool() etc. introduced above. Operations on fundamental data types preserve value semantics by always allocating new memory for the result TVP instance and returning the corresponding pointer. Structured types. Like basic types, aggregate types such as sets and maps are treated in exactly the same way. The support library provides both the data type infrastructure as well as the operations on aggregate types such that translation is rendered straightforward. For example, the definition \ z
Sample 1
AutoNDA by SimpleDocs
Translating Features of VDM. SL In this section we discuss how the basic features of VDM-RT, those contained in the subset VDM-SL, are translated to C. Basic data types Instances of the fundamental data types of VDM-SL (integers, reals, characters etc.) translate directly to instances of type TVP with the appropriate field of the union structure TypedValueType set to the value of the instance. They are instantiated using the corresponding con- structor functions newInt(), newBool() etc. introduced above. Operations on fundamental data types preserve value semantics by always allocating new memory for the result TVP instance and returning the corresponding pointer. Structured types. Like basic types, aggregate types such as sets and maps are treated in exactly the same way. The support library provides both the data type infrastructure as well as the operations on aggregate types such that translation is rendered straightforward. For example, the definition \ z a : set of int := {1} union { 2 } ; , translates directly to TVP a = vdmSetUnion ( newSetVar ( 1 , newInt ( 1 ) ) , newSetVar ( 1 , newInt ( 2 ) ) ) ; , \z r where newSetVar() is one of the several special-purpose internal construc- tors. The translation strategy is similar for sequences and maps. Value semantics for these immutable data types is maintained in the same way as for the basic data types. Quote types Quote types such as that shown in Listing 11 are treated at the individual element level. Each element is assigned a unique number via a #define directive, as shown in Listing 12. class QuoteExample types public QuoteType = <Val1> | <Val2> | <Val3> end QuoteExample , Listing 11: Quote type example. \z r . . . #ifndef QUOTE VAL1 #define QUOTE VAL1 2658640 #endif /∗ QUOTE VAL1 ∗/ #ifndef QUOTE VAL2 #define QUOTE VAL2 2658641 #endif /∗ QUOTE VAL2 ∗/ . . . , Listing 12: Quote type example translation. \z r
Sample 1

Related to Translating Features of VDM

  • Translation This permission is granted for non-exclusive world English rights only unless your license was granted for translation rights. If you licensed translation rights you may only translate this content into the languages you requested. A professional translator must perform all translations and reproduce the content word for word preserving the integrity of the article.

  • Translations In the event of any discrepancy, misstatement, omission or error appearing in the various translations on the particulars and condition herein, the English version shall prevail.

  • Languages 20.1 The Proclamation of Sale, these conditions of sale and the Memorandum may have been translated and published in different forms and languages. In the event of any discrepancy, misstatement, omission or error appearing in the various forms or languages, this English version shall prevail.

  • Translation Services Translation services are available under this Contract for non-English speaking Members. Please contact Us at the number on Your ID card to access these services.

  • Translator This designation requires successful completion of an assessment (by Red Cross regulated standards).

  • Local Interconnection Data Exchange for Billing 7.7.1 There are certain types of calls or types of Interconnection that require exchange of Billing records between the Parties, including, for example, alternate billed and Toll Free Service calls. The Parties agree that all call types must be routed between the networks, accounted for, and settled among the Parties. Certain calls will be handled via the Parties' respective operator service platforms. The Parties agree to utilize, where possible and appropriate, existing accounting and settlement systems to xxxx, exchange records and settle revenue.

  • Technical Interfaces 3.2.6.1 The Interconnection facilities provided by each Party shall be formatted using either Alternate Xxxx Inversion (AMI) line code with Superframe format framing or Bipolar 8-Zero Substitution with Extended Superframe (B8ZS ESF) format framing or any mutually agreeable line coding and framing.

  • Purchase Order Flip via Ariba Network (AN) The online process allows suppliers to submit invoices via the AN for catalog and non- catalog goods and services. Contractors have the ability to create an invoice directly from their Inbox in their AN account by simply “flipping” the purchase order into an invoice. This option does not require any special software or technical capabilities. For the purposes of this section, the Contractor warrants and represents that it is authorized and empowered to and hereby grants the State and the third-party provider of MFMP the right and license to use, reproduce, transmit, distribute, and publicly display within the system the information outlined above. In addition, the Contractor warrants and represents that it is authorized and empowered to and hereby grants the State and the third-party provider the right and license to reproduce and display within the system the Contractor’s trademarks, system marks, logos, trade dress, or other branding designation that identifies the products made available by the Contractor under the Contract.

  • Currency Translation Rule For purposes of determining the balance or value of accounts denominated in a currency other than the U.S. dollar, a Reporting Financial Institution must convert the dollar threshold amounts described in this Annex I into such currency using a published spot rate determined as of the last day of the calendar year preceding the year in which the Reporting Financial Institution is determining the balance or value.

  • Contract Database Metadata Elements Title: Whitesville Central School District and Whitesville Central School Educational Support Staff Association (2003) Employer Name: Whitesville Central School District Union: Whitesville Central School Educational Support Staff Association Local: Effective Date: 07/01/2003 Expiration Date: 06/30/2006 PERB ID Number: 10699 Unit Size: Number of Pages: 23 For additional research information and assistance, please visit the Research page of the Catherwood website - xxxx://xxx.xxx.xxxxxxx.xxx/library/research/ For additional information on the ILR School - xxxx://xxx.xxx.xxxxxxx.xxx/ AGREEMENT BETWEEN WHITESVILLE CENTRAL SCHOOL EDUCATIONAL SUPPORT STAFF ASSOCIATION AND THE WHITESVILLE CENTRAL SCHOOL DISTRICT JULY 1, 2003 THROUGH JUNE 30, 2006 TABLE OF CONTENTS ARTICLE TITLE PAGE Preamble 1 I Recognition 1 II Collective Bargaining U n i t 1 III Dues/Agency Fee Ckoffand Payroll Deduction 1 IV Rights of Employees 2 V Rights of Employer ------------- 2 VI Personnel F i l e 2 VII Employee Definitions 3 VIII Permanent Status/Seniority 4 IX Wages 5 X Overtime 7 XI Vacation 7 XII Holidays 8 XIII Sick Leave and Leavesof A b s e n c e 8 XIV Conference, Workshops,Required Courses 10 XV Meal Allowance and M i l e a g e 11 XVI Retirement 11 XVII Insurance 12 XVIII Cafeteria P l a n 14 .XIX Uniform Allowance------------------ 14 XX Hours of W o r k 14 XXI Transfers/Promotions 15 XXII Job Descriptions 15 XXIII Grievance Procedure 15 XIV Copies of the Contract 18 XV Zipper C x x x x x 18 XXVI Legislative Clause 18 XXVII Duration 19 SIGNATURES 19 APPENDIX A Grievance F o r m 20 APPENDIX B Dues Authorization F o r m 21

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