Time-code generator and event marker for correlating chart and magnetic tape records

1974 ◽  
Vol 12 (6) ◽  
pp. 857-858 ◽  
Author(s):  
R. A. Young
1980 ◽  
Vol 28 (3) ◽  
pp. 281-292 ◽  
Author(s):  
Hideki INATANI ◽  
Itsuo FURUYA
Keyword(s):  

2001 ◽  
Vol 8 (29) ◽  
Author(s):  
Olivier Danvy ◽  
Bernd Grobauer ◽  
Morten Rhiger

Goal-directed evaluation, as embodied in Icon and Snobol, is built on the notions of backtracking and of generating successive results, and therefore it has always been something of a challenge to specify and implement. In this article, we address this challenge using computational monads and partial evaluation.<br /> <br />We consider a subset of Icon and we specify it with a monadic semantics and a list monad. We then consider a spectrum of monads that also fit the bill, and we relate them to each other. For example, we derive a continuation monad as a Church encoding of the list monad. The resulting semantics coincides with Gudeman's continuation semantics of Icon.<br /> <br />We then compile Icon programs by specializing their interpreter (i.e., by using the first Futamura projection), using type-directed partial evaluation. Through various back ends, including a run-time code generator, we generate ML code, C code, and OCaml byte code. Binding-time analysis and partial evaluation of the continuation-based interpreter automatically give rise to C programs that coincide with the result of Proebsting's optimized compiler.


1978 ◽  
Vol 10 (5) ◽  
pp. 710-711
Author(s):  
Stephen Walker ◽  
Martin Reite
Keyword(s):  

Author(s):  
Richard E. Hartman ◽  
Roberta S. Hartman ◽  
Peter L. Ramos

We have long felt that some form of electronic information retrieval would be more desirable than conventional photographic methods in a high vacuum electron microscope for various reasons. The most obvious of these is the fact that with electronic data retrieval the major source of gas load is removed from the instrument. An equally important reason is that if any subsequent analysis of the data is to be made, a continuous record on magnetic tape gives a much larger quantity of data and gives it in a form far more satisfactory for subsequent processing.


1956 ◽  
Vol 103 (2S) ◽  
pp. 346-353
Author(s):  
A.A. Robinson ◽  
F. McAulay ◽  
A.H. Banks ◽  
D. Hogg

Sign in / Sign up

Export Citation Format

Share Document