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

Semantic of IMPORTING

To: "pvs-help@csl.sri.com" <pvs-help@csl.sri.com>
Subject: Semantic of IMPORTING
From: Dominique Cansell <Dominique.Cansell@loria.fr>
Date: Mon, 16 Jul 2001 11:38:56 +0200
Organization: LORIA
Sender: pvs-help-owner@csl.sri.com

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
==========================================================================

Prev by Date: Re: Actual arguments in ADTs
Next by Date: Re: Semantic of IMPORTING
Prev by thread: Re: question about prove
Next by thread: Re: Semantic of IMPORTING
Index(es):
- Date
- Thread