HDTenEightyP/NetNews huggingface dataset:
From: shiv@bnr.ca (Shiv Naimpally)
Newsgroups: comp.music
Subject: Re: Midi Quest/Sound Quest
Date: 10 Nov 92 15:20:40 GMT
Reply-To: shiv@bnr.ca (Shiv Naimpally)
Organization: Bell-Northern Research Ltd.

I have the MidiQuest Universal ed/lib for the Atari. What they do
for individual ed/libs is to make the universal ed/lib instrument
specific. I don't like MidiQuest. The user interface is non-intuitive,
and almost counter-intuitive (ie. things work the opposite of what 
you think they should). Strange error messages keep popping up for
no reason, etc.. 

The concept they have is good, but the implementation, at least
on the Atari, sucks.
From: mir@chorus.chorus.fr (Adam Mirowski)
Newsgroups: comp.music
Subject: Re: WANTED: Shareware composition programs!
Date: 9 Nov 92 18:55:27 GMT
Organization: Chorus systemes, St Quentin en Yvelines, France
X-Newsreader: Tin 1.1 PL4

piet@cs.ruu.nl (Piet van Oostrum) writes:
: >>>>> shiv@bnr.ca (Shiv Naimpally) (SN) writes:
: 
: SN> If you tell is what computer you have, maybe we can suggest something.
: 
: Actually, he did:
: 
: TJB> 	I would like to get a shareware music composition program. I only 
: TJB> have a piece of crap computer with one speaker. What I'm mostly interested 
:             P        C
: 

I haven't seen the original posting, and wonder if the
requester (who's that guy?) is interested in a a text-
based composer/compiler?

I developped one in my spare time, to... not lose contact
with complation techniques. It uses a kind of funky structured
troff-like format:

;----------------------	
.# "gs-snd.inc"
.# "gs-utils.inc"

.TS "My GS track"
	.FN "GS_reset"	; Issue a GS-reset sysex

	    ;--- Play a rythm pattern

	.CH $DrumChan	; Set channel
	.PR $RoomSet	; Select instrument

	.{
	    ~$BD(96)  S48 *   *96  S
	.|
	    S96  ~$SD  S  *
	.}

	    ;---- Play some chords

	C+Eb+G+<C>	; Minor C chord
	%		; Same thing
	@Cm+<C>		; Same thing

	    ;--- Now replay with arpeggio
	.CD 3
	%		; Replay last chord

	    ;--- Perform C-like calculations and print result

	.PT "The cube of 225 is ", (225 * 225 * 225)
	$result = ((12*24) / 48 - 3  ? 100 : -102)
	.PT "You probably don't care about ", $result
.TE

.TS "An empty track"
.TE
;-----------------------


Looks like a signature, but this is an example score.
It is converted into a midifile, to be played with
a midifile player.

I have also a decomposer/decompiler which produces
MCOMP scores (that is how I called the whole thing)
from MIDI, CMF, ROL and Music Studio files.
-- 
Adam Mirowski,  mir@chorus.fr (FRANCE),  tel. +33 (1) 30-64-82-00 or 74
Chorus systemes, 6, av.Gustave Eiffel, 78182 Saint-Quentin-en-Yvelines CEDEX
From: jlach@ee.WPI.EDU (James Matthew Lach)
Newsgroups: comp.music
Subject: Waveform Table Reconstruction
Date: 6 Nov 1992 21:52:36 GMT
Organization: Worcester Polytechnic Institute
Distribution: world
NNTP-Posting-Host: minnie.wpi.edu
Keywords: Waveform, sampler

	I am building a Digital Audio Sampler. I am looking for C code or an algorithm that will reconstruct a sampled waveform at various frequencies.  The sampler is MIDI compatible therefore the MIDI data will de decoded and the appropriate waveform (up to 6 key polyphony) will be produced to be sent to the Digital to Analog Converter.  I am open to any ideas or suggestions.  

	Thanks in advance,
			James
 

Newsgroups: comp.music
From: alan@cave.arc.nasa.gov (Alan Steiner x45347)
Subject: Encore/MIDI song files in Mac format
Organization: NASA Ames Research Center, CA
Date: Fri, 13 Nov 1992 20:00:54 GMT

I'm trying to find song files either in Encore format or in MIDI format which
can be imported into Encore (i.e., a Mac-formatted MIDI song file).  Or,
I'd like to find a utility which will convert MIDI song files written on
an IBM PC into files which the Mac can recognize as Mac files (I tried
copying .mid files from ucsd.edu onto a Mac disk but Encore didn't know 
what they were).  Can anyone point me to an ftp site with any of the above
things?

E-mail responses are fine.  Thanks for your help.

Alan Steiner
alan@cave.arc.nasa.gov
From: defaria@hpcuhe.cup.hp.com (Andy DeFaria)
Newsgroups: comp.music
Subject: Re: What can I do with my guitar and MIDI?
Date: 12 Nov 92 23:46:16 GMT
Organization: Hewlett Packard, Cupertino

>/ hpcuhe:comp.music / kamartin@quads.uchicago.edu (kai anthony martin) / 11:04 am  Nov 10, 1992 /
>Hello out there,
>
>	I'm a guitarist who has recently been turned on to the notion of all
>this MIDI stuff, and possibly putting songs in my computer, etc. (please bear
>with me, I'm a complete novice to MIDI and computer music).  Now, I will be
>looking for a pre-amp very ssoon, and I noticed that most pre-amps
>(rack-mounts from ART, Digitech, ADA, Marshall, etc.) have full MIDI
>capablility.  This brings me to my question - is it possible to get the same
>sound I get out of my amp to come out of my computer with the right set-up?
>If possible, I'd like to know what equipment I'd need to do this, and also,
>about any readings, publications, etc. that would help me get a grip on all
>this MIDI stuff.  Thanks in advance.

Give it up!  It is impossible for MIDI to handle guitar properly.  You cannot
get your computer to play guitar oriented music.  For the guitarist, MIDI is
only usefully if you wished that you had taken up keyboards instead.  Save
your money and wait for something to come along that can handle the demands
that a guitarist places on the interface.
From: patricio@underdog.ee.wits.ac.za (PATRICIOS M P)
Newsgroups: comp.music
Subject: SB-Pro technical info
Date: 12 Nov 92 12:37:12 GMT
Article-I.D.: underdog.patricio.9
Organization: Wits Electrical Engineering (Undergrads).

Please can someone tell me where I can find DETAILED technical info. 
on the Soundblaster Pro. I want low-level stuff, not info on how to use the 
drivers (but I'll take that if its all I can find).

Please can someone out there help.

E-mail me at patricio@underdog.ee.wits.ac.za

Michael Patricios

\ |                | /
- Sunny South Africa -
/ |                | \
Newsgroups: comp.music
From: jbaxter@leland.Stanford.EDU (Joel Kent Baxter)
Subject: Re: Finale Registration (was Re: Finale/Mac/Stylewriter Problem)
Organization: DSG, Stanford University, CA 94305, USA
Date: Sun, 8 Nov 92 01:11:19 GMT

In article <DAVEG.92Nov6121054@zimbabwe.icad.com> daveg@icad.com (Dave Gladstein) writes:
[other referenced postings deleted]
>
>There's a newsletter?  I sent in my registration card a few months
>ago, and haven't received anything.  
>
>Two substantive questions for the group: when was the last time a
>general mailing went out to registered users, and what is the current
>version of the program?
>
>   Thanks,
>   Tim Bell
>   bhat@mundil.cs.mu.oz.au

I don't know about the mailing, but the current Mac version is 2.6.3...

						JB
From: wilson@binah.cc.brandeis.edu
Newsgroups: comp.music
Subject: looking for mac software
Date: 11 Nov 92 16:34:11 GMT
Reply-To: wilson@binah.cc.brandeis.edu
Organization: Brandeis University

I am a Sound Designer in Theatre looking to get involved in computer-
based recording,editing, and performance playback. I have a Mac IIci and
am looking for a good entry-level software package. I have been looking
at literature on opcode vision and studio vision, but really don't 
know where to start. My Instrument is the guitar, so the easiest 
way for me to go would be a guitar synth that could transform the
guitar signal to other sounds. Does such an animal exist? Please e-mail
me with suggestions. 
David Wilson
Newsgroups: comp.specification
From: emcdnnll@cs.tcd.ie (Eoin McDonnell)
Subject: CCS contact
Summary: Contact addresses required for CCS/Pi-calc. people
Keywords: CCS Pi
Organization: Computer Science, Trinity College Dublin
Date: Wed, 11 Nov 1992 11:57:46 GMT


Hi,

I'm starting a Masters in Trinity College, Dublin,  and I'm interested
in formal notations,  particularly Timed CCS and the Pi-Calculus.   Can
anyone please send me e-mail addresses for Milner or a colleague at
Edinburgh or people at other institutions who work in this area?


Thanks,

Eoin Mc Donnell.                emcdnnll@cs.tcd.ie.
From: moreaux@litsun22.epfl.ch (Michel Moreaux)
Newsgroups: comp.specification
Subject: Re: Semantic definition style
Date: 9 Nov 92 15:12:46 GMT
	<BEVAN.92Nov7140134@hippo.cs.man.ac.uk>
Reply-To: moreaux@litsun.epfl.ch
Organization: Laboratoire d'informatique technique
In-reply-to: bevan@cs.man.ac.uk's message of 7 Nov 92 14:01:34 GMT


Here is another reference:

@INPROCEEDINGS  { M:345,
     AUTHOR    = "Mosses, Peter D.",
     TITLE     = "Unified Algebras and Action Semantics",
     BOOKTITLE = "Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89",
     ADDRESS   = "Paderborn, FRG",
     MONTH     =  feb,      
     YEAR      = "1989",
     SERIES    = "Lecture Notes in Computer Science",
     VOLUME    = "349",
     PUBLISHER = "Springer-Verlag",
     PAGES     = "17-35"}

_Michel Moreaux
--
------------------------------------------------------------------------------
Michel Moreaux,                           | "Ceux qui ne savent rien en savent
Ecole Polytechnique Federale de Lausanne  |  toujours tout autant que ceux qui
Departement d'Informatique                |  n'en savent pas plus qu'eux"
Laboratoire d'Informatique Technique      |                  P. Dac.
EL-Ecublens                               |___________________________________
CH-1015 Lausanne                           
Phone # : (21) 693-46-72,   e-mail : moreaux@litsun.epfl.ch
------------------------------------------------------------------------------
Newsgroups: comp.specification
From: emcdnnll@cs.tcd.ie (Eoin McDonnell)
Subject: Testing
Summary: Ref's req'd for use of formal spec's in software testing
Keywords: Testing,formal specification
Organization: Computer Science, Trinity College Dublin
Date: Wed, 11 Nov 1992 12:02:50 GMT


Hi all,

I'm interested in finding out how formal specifications can be used to
help design test programmes for software.   Any references would be
appreciated.

Thanks,

Eoin Mc Donnell.               emcdnnll@cs.tcd.ie
Newsgroups: comp.specification,comp.specification.z
From: narayana@psuvax1.cs.psu.edu (Kuram T Narayana)
Subject: ZED system FTP sites: some info.
Organization: Penn State Computer Science
Date: Thu, 5 Nov 1992 18:02:42 GMT

Dear colleagues:

I was informed by our system administrator that anonymous ftp from

   ftp.cs.psu.edu

is only available, for sites other than Penn state, between 5PM
and 8AM Eastern Standard Time (EST). 

We have added a European FTP site at the Zforum archives of PRG.

Their address is  ftp.comlab.ox.ac.uk (192.76.25.2)

The files are in /pub/Zforum/ZED.

If you have not sent an enquiry to us, but copied the system 
after seeing the announcement, please send us the name and
email address to zed-users-request@cs.psu.edu so that we can
maintain the list.

thanks
KT Narayana
From: Mike.Spivey@prg.oxford.ac.uk
Newsgroups: comp.specification.z
Subject: New Font Selection Scheme and fuzz.sty
Date: 5 Nov 92 09:23:59 GMT
X-Mailer: mail-news 2.0.3

The "new font selection scheme" for LaTeX has at last reached Oxford,
so I've implemented a new version of the "fuzz" style option that
works with it, whilst still being compatible with old-fashioned LaTeX
and SliTeX.  To use the new "fuzz.sty", you'll need the OXSZ fonts
that come with the fuzz package, and a copy of the fuzz manual.

To obtain a (free) copy of the new fuzz.sty, or details of how to get
the fuzz package, which includes a type-checker for Z specifications
as well as a LaTeX style option and fonts for printing them, send
e-mail to mike@prg.oxford.ac.uk

-- Mike Spivey
Newsgroups: comp.specification.z
From: "robert winkler" <robert.winkler@canrem.com>
Subject: "wargames" dialler
Reply-To: "robert winkler" <robert.winkler@canrem.com>
Organization: Canada Remote Systems
Distribution: comp
Date: 8 Nov 92 04:24:36 EST

     Sorry for the intrusion, but I have a problem & someone
outthere might be able to help.

     I've just gotten a copy of a "Wargames"-type dialler called
Comfind4 (Compfind). It's originated from _The Wall_ BBS (Metro
Dallas\Ft Worth - phone# 1-817-261-2737) & uses either COM1 or
COM2. Now, I use my modem from COM4, & as the COM port for various
reasons can't be changed, I'm not able to use the program.

     I'd REALLY appreciate if anyone could give me an answer to the
following questions:

1)  Is there an updated version of this software that can be used
    through COM4 ?

2)  If no, is there a way to change the program so that it'd use
    COM4 ?

3)  Is the use of this program illegal in Canada or in the world ?

     I've tried to get in touch with the above mentioned BBS, but
with no luck. If you know the answers, or can get them from The
Wall (1-817) 261-2737, please leave a short message. Thanks for
your time

Robert
--
Canada Remote Systems  - Toronto, Ontario
World's Largest PCBOARD System - 416-629-7000/629-7044
From: cd@dcs.glasgow.ac.uk (Colin Dunlop)
Newsgroups: comp.specification.z
Subject: PSFIG and Z spec compatability
Keywords: psfig + z = crash
Date: 13 Nov 92 14:56:49 GMT
Organization: Glasgow University Computing Science Dept.

I have just installed "psfig" macro package for including
postscript files in LaTeX documents.

Everything works except when you include the z-spec and
psfig enviroments in the one document.

z works on it`s own.
psfig works on its own.

When both are there psfig has trouble finding the postscript
file`s bounding box and falls down for some reason.

Anyone know what is going on ?????

Thanks a lot,
		Colin.
-- 
  Colin Dunlop			email : JANET :  cd@uk.ac.glasgow.dcs	
  Computing Science Dept		USENET:  cd@dcs.glasgow.uucp
  University of Glasgow			ARPA  :  cd@dcs.glasgow.ac.uk
  Glasgow  G12 8QQ		phone : 041 339 8855 (x6044)
Newsgroups: comp.specification.z
From: moreaux@litsun22.epfl.ch (Michel Moreaux)
Newsgroups: comp.specification.z
Subject: Re: PSFIG and Z spec compatability
Date: 13 Nov 92 16:59:33 GMT
Reply-To: moreaux@litsun.epfl.ch
Organization: Laboratoire d'informatique technique
In-reply-to: cd@dcs.glasgow.ac.uk's message of 13 Nov 92 14:56:49 GMT


| I have just installed "psfig" macro package for including
| postscript files in LaTeX documents.
| 
| Everything works except when you include the z-spec and
| psfig enviroments in the one document.
| 
| z works on it`s own.
| psfig works on its own.
| 
| When both are there psfig has trouble finding the postscript
| file`s bounding box and falls down for some reason.
| 
| Anyone know what is going on ?????

Z macros (oz, zed) and psfig works great together. I also use psfig
with mfloatfig and oz all together without encountering any problem.
I suspect that the trouble with the finding of bounding box is due to
a postscript file with a wrong format.

_Michel Moreaux
--
------------------------------------------------------------------------------
Michel Moreaux,                           | "Ceux qui ne savent rien en savent
Ecole Polytechnique Federale de Lausanne  |  toujours tout autant que ceux qui
Departement d'Informatique                |  n'en savent pas plus qu'eux"
Laboratoire d'Informatique Technique      |                  P. Dac.
EL-Ecublens                               |___________________________________
CH-1015 Lausanne                           
Phone # : (21) 693-46-72,   e-mail : moreaux@litsun.epfl.ch
------------------------------------------------------------------------------
Newsgroups: comp.specification
From: emcdnnll@cs.tcd.ie (Eoin McDonnell)
Subject: HDLC specification
Summary: Ref's req'd for formal spec. of HDLC protocol
Keywords: HDLC
Organization: Computer Science, Trinity College Dublin
Date: Wed, 11 Nov 1992 12:00:24 GMT


Hi,

Does anyone have any references or postscript files for a formal
specification of a HDLC (High-level Data Link Control) protocol such 
as SDLC?   The preferable notations are CCS,  CSP  and Pi-Calculus,  but
specs. in Petri-Nets and Lotos are also welcome.   


Thanks,

Eoin Mc Donnell.                emcdnnll@cs.tcd.ie.
From: rindersp@iraul1.ira.uka.de (Markus Rindersbacher)
Newsgroups: comp.specification
Subject: Specificationlanguages
Date: 4 Nov 1992 09:42:35 GMT
Organization: University of Karlsruhe, FRG
Distribution: uka
NNTP-Posting-Host: iraul1.ira.uka.de


Is there any report available, which compares different specification languages ?

Markus Rinderspacher
Newsgroups: comp.specification
From: "Ian Sutherland" <p00117@psilink.com>
Subject: Re: Semantic definition style
Organization: EECS Department, Northwestern University
Date: Thu, 12 Nov 1992 04:13:26 GMT
X-Mailer: PSILink (3.2)

William Ogden writes:
>A third major objective of semantics is to define formally for
>implementors precisely what effect their compilers/interpreters are
>supposed to produce under all circumstances. This is the objective
>which seems to favor denotational semantics. Denotational semantics
>are explicit semantics, as opposed to the implicit semantics which result
>from the operational approach. I.e., operational semantics produce a
>welter of irrelevant information (computational histories), from which the
>essential information (the input/output pairs, in the case of sequential
>programs) must be extracted.

As I think you have implicitly noted, computation histories are NOT
irrelevant in the case of parallel programs.  Programs which have 
multiple threads of execution are not the only programs for which 
computation histories are relevant, however.  Sequential programs which 
perform input and output have characteristics a compiler writer might 
want to ensure that are not properties of the input/output relation, 
particularly in the obvious case of programs that do not terminate.  
Sequential programs which can receive signals or interrupts from their 
environment are another instance of this.  What this boils down to is 
that even a sequential program can have a concurrently executing 
environment, and this can have consequences for language semantics that 
are similar to the consequences of having concurrency WITHIN a program.

Programs may experience exceptions that result from things like running 
out of space or overflowing a floating point variable.  In many cases, 
we do not want the language semantics to specify exactly when such 
exceptions may arise, but we DO want to specify at least something about 
how the program will RESPOND to such exceptions.  It may be possible to 
do this denotationally, but the complexity of the denotational solution 
may be more than it's worth.

To take a step further, one might want to include hard timing 
characteristics in one's language.  This would require an extension of 
even operational semantics (as it is usually defined) (unless you want 
to introduce some sort of kludge where the running time is part of the 
output, but that won't work for the cases I mentioned above).

I would venture to say that the class of programs for which computation 
histories are irrelevant is actually quite small from the standpoint of 
what programs people usually write, and want to ensure the correct 
compilation of.  Certainly this is my experience as a programmer.
Newsgroups: comp.specification
From: pdm@daimi.aau.dk (Peter D. Mosses)
Subject: Re: Semantic definition style
Summary: FTP-able bibliography for action semantics
Keywords: action semantics, bibliography, ftp
Reply-To: pdm@daimi.aau.dk (Peter D. Mosses)
Organization: DAIMI: Computer Science Department, Aarhus University, Denmark
Date: Tue, 10 Nov 92 10:30:34 GMT

In article <MOREAUX.92Nov9161246@litsun22.epfl.ch>, moreaux@litsun22 (Michel Moreaux) writes:
>Here is another reference:

>@INPROCEEDINGS  { M:345,
>     AUTHOR    = "Mosses, Peter D.",
>     TITLE     = "Unified Algebras and Action Semantics",
>...
>     YEAR      = "1989",
> ...
>_Michel Moreaux

Thanks.  That was, however, a somewhat tentative paper, exploring the
use of unified algebras (an unorthodox order-sorted specification
framework, allowing sort union and other operations on sorts) in
action semantic descriptions.  The `official' version of the action
semantics framework, which David Watt and I describe in our respective
books, doesn't rely quite so much on the novel features of unified
algebras.  (For those familiar with the referenced paper: the
combinator for binary choice `A1 or A2' now returns an *individual*
action, rather than the sort union `A1 | A2'.  Thus the nondeterminism
only appears during action performance, not in the actions per se.
However, primitive actions can still be applied to sorts of data,
e.g., `choose a number'.)

Chapter 19 of my book provides an almost up-to-date bibliography of
reports on action semantics.  The current version of the bibliography
can be retrieved by anonymous FTP from ftp.daimi.aau.dk in the
directory pub/action/bibliography.  The README file says:

[This is ftp.daimi.aau.dk:pub/action/bibliography/README]

The bibliography directory contains sources for the Action Semantics
bibliography, as follows:

The file abstract.bib contains all the abstracts from Chapter 19 of
the AS book, together with the abstracts of some recent reports.

The file action.bib contains the same as abstract.bib, except that the
abstracts are omitted.

The files new-abstract.bib and new-action.bib consist of just the
recent entries in abstract.bib and action.bib.

To print the file *.bib, use LaTeX, then BibTeX, then LaTeX again on
the corresponding *.tex file.  N.B.  The ones with abstracts use my
nonstandard bibliography style file alpha-abstract.bst, which allows
longer strings than the standard styles.  (The file old-abstract.bst
could be used instead - it uses the citation keys as labels, like the
widely available abstract.bst.)

The *.dvi files are also available, for those who don't need the
sources.

Finally, the file all.tar.Z contains a compressed tar archive of all
the files.

...

-- 
Peter D. Mosses | Computer Science Department | <pdmosses@daimi.aau.dk> 
~~~~~~~~~~~~~~~ | Aarhus University           | Phone: +45 86 12 71 88 
                | Ny Munkegade, Building 540  | Fax:   +45 86 13 57 25 
                | DK-8000 Aarhus C,  Denmark  | Telex: 64767 aausci dk
Newsgroups: comp.specification
From: mpeters@pax.eunet.ch (MBX Michael Peters)
Subject: E1 vs. T1 Signalling
Organization: EUnet Login/Mailbox Service
X-Newsreader: Tin 1.1 PL3
Date: Thu, 12 Nov 1992 06:30:20 GMT


I'm looking for E1 signalling specifications and perhaps how they differ
from T1. 

An FTP site for such documentation would be ideal.

TIA (thanks in advance)

mike.


--
____________________   .    .   __         . Michael Peters - FRANKLIN DATACOM
\______NCC_1701_____|) .____.--"--"---._____       mpeters@pax.eunet.ch
            ||      /-----._________.----/   Voice(in CH): 41 52 213 9347
     /=======||====/___/       "--"          FDI HQ: V: 1 805 373 8688
   . \==\____________|(-                .          Fax: 1 805 373 7373
From: dmason@uwaterloo.ca (Dave Mason)
Subject: Re: Semantic definition style
Organization: /u2/dmason/.organization
Date: Thu, 5 Nov 1992 17:15:27 GMT

In article <720801988.16035@minster.york.ac.uk> song@minster.york.ac.uk writes:

> I am aware that there are four different styles to define semantics.
> 	operational
> 	denotational
> 	algebraic 
> 	axiomatic

There is also action semantics, as describes by Mosses.  In many ways,
action semantics is better than the others, but it's also newer.

../Dave