Re: HELP! ref for TOOLS'94 paper

Article View: comp.lang.eiffel

Article #1107

#1107

From: James McKim
Date: Wed, 27 Sep 1995 12:58

33 lines
1439 bytes

In article <449361$ll2@hippo.shef.ac.uk> ajhs@dcs.shef.ac.uk (Tony Simons) writes:
>
>Dear folks,
>
>I'm searching for the full reference for a TOOLS'94 paper.  It isn't on
>my biblio. CD ROMs yet, so I haven't been successful in finding it.  The 
>incomplete information I have is:
>
>	Weber, "Getting class correctness and system correctness right",
>	TOOLS '94.
>
>ie I don't know Weber's full name, nor which TOOLS conference in '94, nor
>the page numbers of the article.
>
>This is fairly urgent; I'd appreciate it if someone with the knowledge would
>email me the full reference.

It was TOOLS 8 aka TOOLS USA '92. "Getting Class Correctness and System
Correctness Equivalent: How to get Covariance right," Franz Weber, 199-214

>
>Many thanks,
>
>Tony Simons

Hope this helps,
-- Jim

-- 

*------------------------------------------------------------------------------*
Jim McKim  (203)-548-2458     Co-editor of Eiffel Outlook 
Internet:  jcm@hgc.edu        Subscribe early and often!

Technical Details

Message-ID: <1995Sep27.125847.23183@merlin.hgc.edu>

Path: arc1-ca.pugleaf.net!merlin.hgc.edu!jcm

References: <449361$ll2@hippo.shef.ac.uk>

Show Full Headers

Complete Article Headers

Newsgroups: comp.lang.eiffel,comp.lang.c++,comp.object
Path: arc1-ca.pugleaf.net!merlin.hgc.edu!jcm
From: jcm@hgc.edu (James McKim)
Subject: Re: HELP! ref for TOOLS'94 paper
Message-ID: <1995Sep27.125847.23183@merlin.hgc.edu>
Keywords: TOOLS 1994
Sender: usenet@merlin.hgc.edu (Action News Central)
Organization: The Hartford Graduate Center
References: <449361$ll2@hippo.shef.ac.uk>
Date: Wed, 27 Sep 1995 12:58:47 GMT

Reply to Parent Message