Re: Responses

gio@darpa.mil (Gio Wiederhold)

Mail folder: SRKB Mail
Next message: sowa@watson.ibm.com: "ISO IRDS meeting in Tokyo"
Previous message: sowa@watson.ibm.com: "Languages and metalanguages"

Date: Mon, 18 Nov 91 09:27:49 EST
From: gio@darpa.mil (Gio Wiederhold)
Message-id: <9111181427.AA05313@ next65.darpa.mil >
To: sowa@watson.ibm.com
Subject: Re: Responses
Cc: SRKB at ISI.EDU@next65.darpa.mil, INTERLINGUA at ISI.EDU@next65.darpa.mil,
        ROGER at CI.DEERE.COM@next65.darpa.mil, Neches@darpa.mil

John (sowa), Peter (rathmann), Roger (burkhart), Bob (neches),

I am very much encouraged by the positive and constructive  
diurections the discussions on Know. Interchange Standards are  
taking.

With the mappings and macros that are available, it should be  
possible to present programmers not only with graphs as output, but  
also with a (linear?) language to manipulate the descriptions within
environments that are within their reach today.

Determining the syntactic limits of checking second-order extensions  
seems also relevant. 

Is going beyond that necessary at times? Examples? Can there be an  
`artificial' syntactical trigger, if needed, for such extensions?

Gio