A Very High Level Programming Language for Data Processing Applications
- Michael Hammer
- W. Gerry Howe
- et al.
- 1977
- CACM
Paper
Publications
24858 results for Exploratory Science
Small-angle critical neutron scattering from cobalt
- C.J. Glinka
- V.J. Minkiewicz
- et al.
- 1977
- Physical Review B
PaperAn Algorithm for Reduction of Operator Strength
- John Cocke
- Ken Kennedy
- 1977
- CACM
PaperMass spectrometric analysis during the vapor deposition of amorphous silicon
- H. Mell
- M.H. Brodsky
- 1977
- Thin Solid Films
PaperPrecise bounds for presburger arithmetic and the reals with addition: Preliminary report
- Leonard Berman
- 1977
- FOCS 1977
Conference paperLower bounds for natural proof systems
- Dexter Kozen
- 1977
- FOCS 1977
Conference paperTechniques of measurement of the polarization-altering properties of linear optical systems
- P.S. Hauge
- 1989
- Proceedings of SPIE 1989
Conference paperTechniques of measurement of the polarization-altering properties of linear optical systems
- P.S. Hauge
- 1977
- SPIE Industrial and Civil Applications of Infrared Technology 1977
Conference paperInfrared and Raman spectra of the silicon-hydrogen bonds in amorphous silicon prepared by glow discharge and sputtering
- M.H. Brodsky
- Manuel Cardona
- et al.
- 1977
- Physical Review B
PaperLattice dynamics of the superionic conductor AgI
- Richard Alben
- Gerald Burns
- 1977
- Physical Review B
Paper