William M. Waite

According to our database1, William M. Waite
  • authored at least 64 papers between 1964 and 2010.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2010
SLAMM - Automating Memory Analysis for Numerical Algorithms.
Electr. Notes Theor. Comput. Sci., 2010

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

2009
Reusable specification modules for type analysis.
Softw., Pract. Exper., 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 39th 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.
Electr. Notes Theor. Comput. Sci., 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 Journal of Educational Resources in Computing, 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, Cincinnati, Kentucky, USA, February 27, 2002

1998
Is Operating Systems Review Obsolete?
Operating Systems Review, 1998

Is Operating Systems Review Obsolete?
Operating Systems Review, 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.
Operating Systems Review, 1997

Book Review: Robert Slade's Guide to Computer Viruses.
Operating Systems Review, 1997

Book Review: PostScript & Acrobat/PDF by Thomas Merz.
Operating Systems Review, 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.
Operating Systems Review, 1995

1994
Book Review: Prigramming with MOTIF by Keith D. Gregory.
Operating Systems Review, 1994

Modularity and Reusability in Attribute Grammars.
Acta Inf., 1994

1993
An Executable Language Definition.
SIGPLAN Notices, 1993

Book Review: Larch: Languages and Toole for Formal Specification by John V. Guttag and James J. Horning.
Operating Systems Review, 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 Inf., 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. Exper., 1986

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

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

The Robust Implementation of Sequence-Controlled Iteration.
Softw., Pract. Exper., 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. Exper., 1981

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

The Oregon Report Software Engineering: The Turning Point.
IEEE 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. Exper., 1975

1974
The Mobile Programming System, Janus.
Softw., Pract. Exper., 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. Exper., 1973

1972
Abstract Machine Modelling to Produce Portable Software - A Review and Evaluation.
Softw., Pract. Exper., 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

1967
Path Detection in Multidimensional Iterative Arrays.
J. ACM, 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

1964
The Production of Completion Signals by Asynchronous, Iterative Networks.
IEEE Trans. Electronic Computers, 1964

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


  Loading...