William M. McKeeman - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 29 from 29

1998

Differential Testing for SoftwareWilliam M. McKeeman. dtj, 10(1):100-107, 1998. [doi]

1996

Separating Concerns in Software QualityWilliam M. McKeeman. ACM Comput. Surv., 28(4es):205, 1996.

1989

Graduation Talk at Wang InstituteWilliam M. McKeeman. Computer, 22(5):78-80, 1989.

1987

Experience with a Software Engineering Project CourseWilliam M. McKeeman. TSE, 13(11):1182-1192, 1987.

1981

Ada syntax chartFrank DeRemer, Thomas J. Pennello, William M. McKeeman. SIGPLAN, 16(9):48-59, 1981. [doi]

1979

On An OverviewWilliam M. McKeeman. ICSE 1979: 340

1976

Programming Language DesignWilliam M. McKeeman. ac 1976: 514-524

Compiler ConstructionWilliam M. McKeeman. ac 1976: 1-36

Symbol Table AccessWilliam M. McKeeman. ac 1976: 253-301

Mechanizing Bankers MoralityWilliam M. McKeeman. Comp. Lang., Syst. \& Struct., 1(1):73-82, 1976.

Corporate integration through systems softwareWilliam M. McKeeman. sigsmall 1976: 151-155 [doi]

1975

On Preventing Programming Languages from Interfering with ProgrammingWilliam M. McKeeman. TSE, 1(1):19-26, 1975.

1974

Feedback-free Modularization of CompilersWilliam M. McKeeman, Frank DeRemer. programmier 1974: 78-88

Computer design evaluation using programming language primitivesWilliam M. McKeeman. sigarch, 3(1):7-18, 1974. [doi]

1968

The XPL compiler generator systemWilliam M. McKeeman, James J. Horning, E. C. Nelson, David B. Wortman. afips 1968: 617-635 [doi]

1967

Language directed computer designWilliam M. McKeeman. afips 1967: 413-417 [doi]

1966

An approach to computer language designWilliam M. McKeeman. PhD thesis, Stanford University, USA, 1966. [doi]

1965

Algorithm 268: ALGOL 60 reference language editor [R2]William M. McKeeman. CACM, 8(11):667-668, 1965. [doi]

Peephole optimizationWilliam M. McKeeman. CACM, 8(7):443-444, 1965. [doi]

1964

Certification of algorithm 182: Nonrecursive adaptive integrationWilliam M. McKeeman, Lawrence G. Tesler, Harold S. Butler. CACM, 7(4):244, 1964. [doi]

Algorithm 239: Free field readWilliam M. McKeeman. CACM, 7(8):481-482, 1964. [doi]

Remark on algorithm 135: Crout with equilibration and iterationWilliam M. McKeeman. CACM, 7(7):421, 1964. [doi]

1963

Algorithm 182: nonrecursive adaptive integrationWilliam M. McKeeman, Lawrence G. Tesler. CACM, 6(6):315, 1963. [doi]

Certification of algorithm 145: adaptive numerical integration by Simpson s ruleWilliam M. McKeeman. CACM, 6(4):167-168, 1963. [doi]

Algorithm 198: adaptive integration and multiple integrationWilliam M. McKeeman. CACM, 6(8):443-444, 1963. [doi]

1962

Certification of Algorithm 135: Crout with equilibration and iterationWilliam M. McKeeman. CACM, 5(11):557, 1962. [doi]

Algorithm 145: Adaptive numerical integration by Simpson s ruleWilliam M. McKeeman. CACM, 5(12):604, 1962. [doi]

Algorithm 135: Crout with equilibration and iterationWilliam M. McKeeman. CACM, 5(11):553-555, 1962. [doi]

Algorithm 146: Multiple integrationWilliam M. McKeeman. CACM, 5(12):604-605, 1962. [doi]

Sign in or sign up to see more results.

runs on WebDSL