John H. Williams
According to our database1, John H. Williams authored at least 19 papers between 1973 and 2007.
Legend:Book In proceedings Article PhD thesis Other
Letter to the Editor: Calvin Mooers and the patent system.
Inf. Res., 2007
DataWeb: Customizable Database Publishing for the Web.
IEEE MultiMedia, 1997
PESTO : An Integrated Query/Browser for Object Databases.
Proceedings of the VLDB'96, 1996
Safe: A Semantic Technique for Transforming Programs in the Presence of Errors.
ACM Trans. Program. Lang. Syst., 1995
Technical Description of the DECsafe Available Server Environment.
Digital Technical Journal, 1995
Querying Multimedia Data from Multiple Repositories by Content: the Garlic Project.
Proceedings of the Visual Database Systems 3, 1995
Towards Heterogeneous Multimedia Information Systems: The Garlic Approach.
Proceedings of the Proceedings RIDE-DOM '95, Fifth International Workshop on Research Issues in Data Engineering, 1995
Completeness of Rewrite Rules and Rewrite Strategies for FP
J. ACM, January, 1990
Program Transformation in the Presence of Errors.
Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990
Sacrificing Simplicity for Convenience: Where Do You Draw the Line?
Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988
Good Rewrite Strategies for FP
Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986
Denotational Semantics and Rewrite Rules for FP.
Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985
A Fair Carpool Scheduling Algorithm.
IBM Journal of Research and Development, 1983
On the Development of the Algebra of Functional Programs.
ACM Trans. Program. Lang. Syst., 1982
Formal Representations for Recursively Defined Functional Programs.
Proceedings of the Formalization of Programming Concepts, 1981
Noncanonical Extensions of Bottom-Up Parsing Techniques.
SIAM J. Comput., 1976
Encapsulated data types and generic.
Proceedings of the Design and Implementation of Programming Languages, Proceeding of a DoD Sponsored Workshop, Ithaca, NY, USA, September 30, 1976
Bounded Context Parsable Grammars
Information and Control, August, 1975
Proceedings of the 14th Annual Symposium on Switching and Automata Theory, 1973