Brian Q. Monahan. A type model for VDM. In Dines Bjrner and Cliff B. Jones, editors, VDM---A Formal Method at Work, VDM-Europe Symposium, Brussels, pages 210--236. LNCS, vol. 252, Springer-Verlag, 1987.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....of the field types, variant records should belong to the disjoint sum of the field types, functions should be mathematical functions, etc. The simple set theoretical approach was advocated in the Vienna Development Method (VDM) see [BJ78] BJ82] with the now emerging standard BSI VDM, see [Mon87], TW90] and [Gor90] The approach was also taken by related approaches like MetaSoft, Bli87] BBP90] or RAISE, see [NHWG88] The idea was to stick to the naive, but natural, set theoretical interpretation of types. The problems start when one insists on having recursion around, i.e. when one ....

Brian Q. Monahan. A type model for VDM. In Dines Bjrner and Cliff B. Jones, editors, VDM---A Formal Method at Work, VDM-Europe Symposium, Brussels, pages 210--236. LNCS, vol. 252, Springer-Verlag, 1987.

....is that types consist of particular sets of values belonging to the type universe; an expression is then said to be well typed if it denotes a value belonging to some type. We are aware of only two published papers in the area of type universe construction for VDM: Blikle Tarlecki83] and [Monahan87]. As the starting point for our work on the standardisation of BSI VDM SL was [Monahan85] the type universe used was based on the work of Monahan. Alternatively, our type universe work could have been based upon similar work being developed under the RAISE 3 project. However, this work was at a ....

Brian Q. Monahan. A type model for VDM. In [VDM87], pages 210--236, 1987.

No context found.

B. Q. Monahan. A Type Model for VDM. In [BJMN87], pages 210--236. 1987.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC