article · 1995

The Reference Manual for the SMoLCS Methodology Version 4.2

G. Reggio, D. Bertello, A. Morgavi

Cited by 0Abstract and details only

Abstract

data types MSET MSET MSET MSET MSET MSET MSET MSET MSET MSET Is In nat set Is In OKnat nat OKnat set nat Succ(n) n ; n; s s n n nat s set ; n n nat OKset ; OKset s s set n; s s n TRUE FALSE TRUE FALSE TRUE FALSE TRUE FALSE TRUE FALSE TRUE FALSE abstract definition isomorphic abstract data type 11 : ( ) = if ( ) = 0, = # and = # , otherwise : ( ) = if = # , otherwise : ( ) = if = # , otherwise The definition of the data type stack given in Sect. 1.1, the algebra STACK, corresponds to the our intuition but it is concrete in the sense that we have chosen a particular model of the stacks. In the algebra STACK the stacks are realized concretely as streams, but we can also imagine another algebra STACK defined analogously to STACK, where the stacks are sets of pairs ( ), position of in the stacks; also the carrier of the sort may be the naturals as either binary, decimal or hexadecimal streams. Now we want to give an of the same data type so that several different models may be all cons...

Cite this paper

APA 7

Reggio, G., Bertello, D., & Morgavi, A. (1995). The Reference Manual for the SMoLCS Methodology Version 4.2.

MLA 9

Reggio, G., et al. “The Reference Manual for the SMoLCS Methodology Version 4.2.” 1995.

Chicago

Reggio, G., D. Bertello, and A. Morgavi. 1995. “The Reference Manual for the SMoLCS Methodology Version 4.2.”

Harvard

Reggio, G., Bertello, D. and Morgavi, A. (1995) ‘The Reference Manual for the SMoLCS Methodology Version 4.2’.

BibTeX

@article{reggio1995reference,
  title = {{The Reference Manual for the SMoLCS Methodology Version 4.2}},
  author = {Reggio, G. and Bertello, D. and Morgavi, A.},
  year = {1995}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.