William M. Waite

Orcid: 0000-0002-0911-9353

Affiliations:
  • University of Colorado, USA


According to our database1, William M. Waite authored at least 71 papers between 1964 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2017
Name analysis for modern languages: a general solution.
Softw. Pract. Exp., 2017

2010
Student and faculty attitudes and beliefs about computer science.
Commun. ACM, 2010

2009
Reusable specification modules for type analysis.
Softw. Pract. Exp., 2009

SLAMM - Automating Memory Analysis for Numerical Algorithms.
Proceedings of the Ninth Workshop on Language Descriptions Tools and Applications, 2009

2007
Generating software from specifications.
Jones and Bartlett Publishers, ISBN: 978-0-7637-4124-2, 2007

2006
The compiler course in today's curriculum: three strategies.
Proceedings of the 37th SIGCSE Technical Symposium on Computer Science Education, 2006

Design and implementation of a modern compiler course.
Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2006

2005
Eclipse Support for Using Eli and Teaching Programming Languages.
Proceedings of the Fifth Workshop on Language Descriptions, Tools, and Applications, 2005

PL-detective: experiences and results.
Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

2004
PL-detective: A system for teaching programming language concepts.
ACM J. Educ. Resour. Comput., 2004

Student culture vs group work in computer science.
Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, 2004

PL-detective: a system for teaching programming language concepts.
Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, 2004

2003
The conversational classroom.
Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, 2003

2002
Book Review: Building in Big Brother: The Cryptographic Policy Debate, Lance J. Hoffman.
ACM Comput. Surv., 2002

An infrastructure for teaching skills for group decision making and problem solving in programming projects.
Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, 2002

1998
Is Operating Systems Review Obsolete?
ACM SIGOPS Oper. Syst. Rev., 1998

Issues in Automatic Software Manufacturing in the Presence of Generators.
Proceedings of the 1998 Australian Software Engineering Conference (ASWEC '98), 1998

1997
Book Review: The Web Publisher's Illustrated Quick Reference by Paph Grabowski.
ACM SIGOPS Oper. Syst. Rev., 1997

Book Review: Robert Slade's Guide to Computer Viruses.
ACM SIGOPS Oper. Syst. Rev., 1997

Book Review: PostScript & Acrobat/PDF by Thomas Merz.
ACM SIGOPS Oper. Syst. Rev., 1997

1996
Compiler Construction: Craftmanship or Engineering?
Proceedings of the Compiler Construction, 6th International Conference, 1996

Maptool - Supporting Modular Syntax Development.
Proceedings of the Compiler Construction, 6th International Conference, 1996

1995
Book Review: Building in Big Brother: The Cryptographic Policy Debate edited by Lance J. Hoffman.
ACM SIGOPS Oper. Syst. Rev., 1995

1994
Book Review: Prigramming with MOTIF by Keith D. Gregory.
ACM SIGOPS Oper. Syst. Rev., 1994

Modularity and Reusability in Attribute Grammars.
Acta Informatica, 1994

1993
An Executable Language Definition.
ACM SIGPLAN Notices, 1993

Book Review: Larch: Languages and Toole for Formal Specification by John V. Guttag and James J. Horning.
ACM SIGOPS Oper. Syst. Rev., 1993

An Introduction to Compiler Contruction
HarperCollins, ISBN: 0-673-39822-6, 1993

1992
ELI: A Complete, Flexible Compiler Construction System.
Commun. ACM, 1992

1991
An Abstract Data Type for Name Analysis.
Acta Informatica, 1991

1990
Use of Attribute Grammars in Compiler Construction.
Proceedings of the Attribute Grammars and their Applications, 1990

1989
COMAR: A Data Format for Integration of CFG Tools.
Comput. J., 1989

1988
Configuration Control in Compiler Construction.
Proceedings of the International Workshop on Software Version and Configuration Control, 1988

1986
The Cost of Lexical Analysis.
Softw. Pract. Exp., 1986

1985
The Cost of a Generated Parser.
Softw. Pract. Exp., 1985

Treatment of Tab Characters by a Compiler.
Softw. Pract. Exp., 1985

The Robust Implementation of Sequence-Controlled Iteration.
Softw. Pract. Exp., 1985

1984
Compiler Construction
Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4612-5192-7, 1984

1981
An Analysis/Synthesis Interface for Pascal Compilers.
Softw. Pract. Exp., 1981

1978
Experience with the Universal Intermediate Language Janus.
Softw. Pract. Exp., 1978

The Oregon Report Software Engineering: The Turning Point.
Computer, 1978

1976
Intermediate Languages: Current Status.
Proceedings of the Portability of Numerical Software, 1976

Optimization.
Proceedings of the Compiler Construction, An Advanced Course, 2nd ed., 1976

Assembly and Linkage.
Proceedings of the Compiler Construction, An Advanced Course, 2nd ed., 1976

Code Generation.
Proceedings of the Compiler Construction, An Advanced Course, 2nd ed., 1976

Relationship of Languages to Machines.
Proceedings of the Compiler Construction, An Advanced Course, 2nd ed., 1976

Semantic Analysis.
Proceedings of the Compiler Construction, An Advanced Course, 2nd ed., 1976

1975
Hints on Distributing Portable Software.
Softw. Pract. Exp., 1975

1974
The Mobile Programming System, Janus.
Softw. Pract. Exp., 1974

Software Portability via an Intermediate Language.
Proceedings of the GFK-GI-GMR Fachtagung Prozessrechner 1974, Karlsruhe, 10.-11. Juni 1974, 1974

1973
A Sampling Monitor for Applications Programs.
Softw. Pract. Exp., 1973

Software engineering: portability.
ACM SIGPLAN Notices, 1973

1972
Abstract Machine Modelling to Produce Portable Software - A Review and Evaluation.
Softw. Pract. Exp., 1972

Portability and Adaptability.
Proceedings of the Software Engineering, 1972

1970
Building a Mobile Programming System.
Comput. J., 1970

The mobile programming system: STAGE2.
Commun. ACM, 1970

1969
A base for a mobile programming system.
Commun. ACM, 1969

Machine independent software.
Proceedings of the Second Symposium on Operating Systems Principles, 1969

1968
R68-24 A Proposal for Definitions in ALGOL.
IEEE Trans. Computers, 1968

SNOBOL bulletin no. 5.
ACM SIGPLAN Notices, 1968

1967
SNOBOL bulletin no. 3.
ACM SIGPLAN Notices, 1967

Snobol bulletin no. 2.
ACM SIGPLAN Notices, 1967

Snobol bulletin no. 1.
ACM SIGPLAN Notices, 1967

Path Detection in Multidimensional Iterative Arrays.
J. ACM, 1967

A Compaction Procedure for Variable-Length Storage Elements.
Comput. J., 1967

A language independent macro processor.
Commun. ACM, 1967

An efficient procedure for the generation of closed subsets.
Commun. ACM, 1967

An efficient machine-independent procedure for garbage collection in various list structures.
Commun. ACM, 1967

1966
Note on Rapid Instruction Analysis by Table Lookup.
Comput. J., 1966

1964
The Production of Completion Signals by Asynchronous, Iterative Networks.
IEEE Trans. Electron. Comput., 1964

A note on the formation of free list.
Commun. ACM, 1964


  Loading...