Derivation of axiomatic definitions of programming languages from algorithmic definitions
- C. David Allen
- 1972
- ACM Conference on Proving Assertions about Programs 1972
Conference paper
Publications
24874 results for Exploratory Science
A boundary between decidability and undecidability for parallel program schemata
- Raymond E. Miller
- 1972
- ACM Conference on Proving Assertions about Programs 1972
Conference paperProperties preserved under recursion removal
- H.R. Strong
- S.A. Walker
- 1972
- ACM Conference on Proving Assertions about Programs 1972
Conference paperOn the Structure of Rate 1/n Convolutional Codes
- Lalit Bahl
- Frederick Jelinek
- 1972
- IEEE Trans. Inf. Theory
PaperRelationship of crystal growth parameters to the stoichiometry of EuO as determined by I.R. and conductivity measurements
- M.W. Shafer
- J.B. Torrance
- et al.
- 1972
- Journal of Physics and Chemistry of Solids
PaperRaman scattering in amorphous Si, Ge and III-V semiconductors
- J.E. Smith Jr.
- M.H. Brodsky
- et al.
- 1972
- Journal of Non-Crystalline Solids
PaperSimulation of the atomic arrangements in amorphous silicon and germanium
- Douglas Henderson
- Frank Herman
- 1972
- Journal of Non-Crystalline Solids
PaperComplementary Sets of Sequences
- C.C. Tseng
- C.L. Liu
- 1972
- IEEE Trans. Inf. Theory
PaperThermodynamic Calculations of the Ge-H-CI System
- V.J. Silvestri
- 1972
- JES
PaperAn Efficient Algorithm for Computing Free Distance
- L.R. Bahl
- C.D. Cullum
- et al.
- 1972
- IEEE Trans. Inf. Theory
Paper