C. Moler
Honeywell
6 Papers
419 Citations
C. Moler is an academic researcher from Honeywell. The author has contributed to research in topics: ANSI C & Boolean expression. The author has an hindex of 5, co-authored 6 publications.
Chat about Author
Papers
•Book
Pascal user manual and report
Kathleen Jensen,Niklaus Wirth,P. Brinch Hansen,D. Gries,C. Moler,G. Seegmüller,N. Wirth,G. Goos,J. Hartmanis +8 more
- 01 Jan 1975
TL;DR: This manual is directed to those who have previously acquired some programming skill and is based on The Programming Language Pascal (Revised Report)--the basic definition of Pascal and concise reference manual for the experienced Pascal programmer.
731
•Book
Advances in Cryptology Eurocrypt 88
D. Barstow,Wilfried Brauer,P. Brinch Hansen,D. Gries,D. Luckham,C. Moler,A. Pnueli,G. Seegmüller,J. Stoer,Niklaus Wirth,Christoph G. Günther +10 more
- 01 Jan 1988
TL;DR: Two protocols are presented that accomplish the same goal as the original Diffie-Hellman protocol, namely, to establish a common secret key using only public messages based on n-fold composition of some suitable elementary function.
303
•Book
The Programming Language Ada Reference Manual
G. Goos,J. Hartmanis,Wilfried Brauer,P. Brinch Hansen,D. Gries,C. Moler,G. Seegmüller,J. Stoer,Niklaus Wirth +8 more
- 01 Sep 1983
TL;DR: This paper presents a meta-modelling framework that automates the very labor-intensive and therefore time-heavy and therefore expensive and error-prone process of manually cataloging and compiling software programs.
161
Names and Expressions
W. Brauer,P. Brinch Hansen,D. Gries,C. Moler,G. Seegmüller,J. Stoer,N. Wirth +6 more
- 01 Jan 1980
TL;DR: VAL augments the expressions of VHDL with new features to describe timing behavior, and evaluates expressions with time-dependent values of subexpressions and objects such as ports and signals.
5
Declarations and Types
W. Brauer,P. Brinch Hansen,D. Gries,C. Moler,G. Seegmüller,J. Stoer,N. Wirth +6 more
- 01 Jan 1980
TL;DR: This chapter describes the types in the language and the rules for declaring constants, variables, and named numbers.
1