What people are saying - Write a review
We haven't found any reviews in the usual places.
Goals of Paragon and Their Relation to Previous Efforts
The Basics of Paragon
18 other sections not shown
Other editions - View all
Paragon: A Language Using Type Hierarchies for the Specification ...
Mark S. Sherman
Limited preview - 1985
abstract data type algorithm array ArrayList arraylistmanager attribute procedure attribute variables begin class begin end begin procedure begin return Booleans CDRM class declaration compiler created data abstraction defined denoted discretemanager elaborated with implementations elaborated with realizations elaborated with specifications ELABS example execution exitloop statement identifier ill specified illustrated Impl implementation class indefinite instance infeasible Instance object instance set instantiation integer IntegerManager Intlist Manager IntsetManager iterator L.structure language literal w821 loop mainprogram match name component name expression notation NumP object creation object instance object that results Paragon phase policy procedure possibility tree predefined proc proc proc procedure call procedure declaration procedure implementation procedure invocation procedure specification representation selection reserved word respecification results from elaborating return Booleans.Bit return expression return IM.Integer return object return statement Section semantics simple object special_make literal syntactic sugaring Temp translation system underlying class universal environment unused local instance VarDecl variable declaration yield statement