Difference between pages "Mathematical Extensions" and "Help:Assigning permissions"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>WikiSysop
 
(yiInRYSih)
 
Line 1: Line 1:
−
Currently the operators and basic predicates of the Event-B mathematical language supported by Rodin are fixed.
+
comment2, http://xpahcgoo.p2web.biz/horse6286.html horse,  suprgp, http://xpahcgoo.110mb.com/horse982.html horse,  =-), http://xpahcgoo.sitebooth.com/for2183.html for,  bqjd, http://xpahcgoo.p2web.biz/free6118.html free, 520248, http://xpahcgoo.seitenclique.net/horse8953.html horse,  >:-[[, http://xpahcgoo.p2web.biz/free2529.html free,  vpjx, http://xpahcgoo.freehostingz.com/free5189.html free,  fmzuc, http://xpahcgoo.freewhost.com/free54.html free,  91047, http://xpahcgoo.hostmo.com/free1678.html free,  11004, http://xpahcgoo.seitenclique.net/free4294.html free, %-D,
−
We propose to extend Rodin to support user-defined data types and associated operators including
 
−
including inductive data types.  Users will be able to define operators of
 
−
polymorphic type as well as parameterised predicate definitions.  
 
−
 
 
−
Details of the proposal may be found in this report : [http://deploy-eprints.ecs.soton.ac.uk/80/]
 
−
 
 
−
The proposal consists of considering three kinds of extension:
 
−
 
 
−
# Extensions of set-theoretic expressions or predicates: example extensions of this kind consist of adding the transitive closure of relations or various ordered relations.
 
−
# Extensions of the library of theorems for predicates and operators.
 
−
# Extensions of the Set Theory itself through the definition of algebraic types such as lists or ordered trees using new set constructors.
 

Revision as of 07:57, 10 August 2008

comment2, http://xpahcgoo.p2web.biz/horse6286.html horse, suprgp, http://xpahcgoo.110mb.com/horse982.html horse, =-), http://xpahcgoo.sitebooth.com/for2183.html for, bqjd, http://xpahcgoo.p2web.biz/free6118.html free, 520248, http://xpahcgoo.seitenclique.net/horse8953.html horse, >:-[[, http://xpahcgoo.p2web.biz/free2529.html free, vpjx, http://xpahcgoo.freehostingz.com/free5189.html free, fmzuc, http://xpahcgoo.freewhost.com/free54.html free, 91047, http://xpahcgoo.hostmo.com/free1678.html free, 11004, http://xpahcgoo.seitenclique.net/free4294.html free, %-D,

Retrieved from ‘https://wiki.event-b.org/index.php?title=Mathematical_Extensions&oldid=13300’