[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Semantic of IMPORTING




Dominique -

Check page 57 of the PVS Language Reference, available from
http://pvs.csl.sri.com/manuals.html for details of the IMPORTING
construct in PVS.

Thanks,
Dave

---
Dr Dave Stringer-Calvert,  Senior Project Manager,  Computer Science Lab
SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025-3493, USA
Phone: (650) 859-3291 Fax: (650) 859-2844 David.Stringer-Calvert@sri.com


> Date:    Mon, 16 Jul 2001 11:38:56 +0200
> To:      "pvs-help@csl.sri.com" <pvs-help@csl.sri.com>
> From:    Dominique Cansell <Dominique.Cansell@loria.fr>
> Subject: Semantic of IMPORTING
> 
> Hello,
> 
>   I search a reference about the semantic of IMPORTING theory in PVS
> concerning
> * parameters (of the importing theory)
> * assumptions (of the importing theory)
> * lemmas  ....
> * theorems ...
> 
> Can you hepl me
> 
> Dominique
>
> ==========================================================================
>                           Dominique CANSELL 
> Universite de Metz                |  UMR no 7503 LORIA CNRS
> UFR MIM                           |  equipe: MODEL
> Ile du Saulcy                     |  BP 239
> 57045 METZ CEDEX 01               |  54506  VANDOEUVRE-les-NANCY 
> bureau E119                       |  bureau B219
> tel: 03 87 31 52 85               |  tel 03 83 91 21 62
> Email: cansell@lita.univ-metz.fr  |  Email: cansell@loria.fr
> Associť au LITA                   |  URL: http://www.loria.fr/~cansell
> ==========================================================================