From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: *
X-Spam-Status: No, score=1.1 required=5.0 tests=BAYES_40,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.BERKELEY.EDU
Path: utzoo!watmath!clyde!burl!ulysses!ucbvax!GWUVM.BITNET!MFELDMAN
From: MFELDMAN@GWUVM.BITNET (mike feldman)
Newsgroups: net.lang.ada
Subject: Re: ForTran-Ada procedure parameters
Message-ID: <8605240306.AA17443@ucbvax.Berkeley.EDU>
Date: Fri, 23-May-86 17:30:00 EDT
Article-I.D.: ucbvax.8605240306.AA17443
Posted: Fri May 23 17:30:00 1986
Date-Received: Sun, 25-May-86 14:11:43 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
List-Id: <comp.lang.ada>

Clearly the ALRM did NOT want us passing procedure names as arguments.
Paul Hilfinger wrote a couple of papers, one in IEEE Trans. Soft. Engrg.,
one in AdaLetters, both 2-3 years ago, on the subject.

There he showed how to cobble it up with (are you ready?) tasks.
He does NOT advocate actually doing it like that, but the articles
make fun reading. Sorry I can't give better citations...