Abstract
The ultimate goal of this work is the definition of a wide-spectrum specification language that supports both data and concurrency descriptions. The design of this specification language follows the same approach as the one used in the design of Extended ML [14]. The starting point is the design of an implicitly typed, polymorphic, concurrent and functional programming language. Axioms are then added in the signatures and structures as in Extended ML. The resulting specification language is thus highly expressive though it embodies a restricted number of concepts. More concisely our language can be viewed as a sugared version of typed λ-calculus that safely incorporates imperative an concurrent extensions.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
