HELP! ref for TOOLS'94 paper

Thread View: comp.lang.eiffel

2 messages

[T] Back to Threads [V] Tree View [G] Group Articles

2 total messages Started by Tony Simons Tue, 26 Sep 1995 14:36

#1106

Author: Tony Simons
Date: Tue, 26 Sep 1995 14:36

19 lines
1004 bytes

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.

Many thanks,

Tony Simons

Re: HELP! ref for TOOLS'94 paper

#1107

Author: 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!

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads