John H. Williams

According to our database1, John H. Williams authored at least 21 papers between 1963 and 2007.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2007
Letter to the Editor: Calvin Mooers and the patent system.
Inf. Res., 2007

2001
SHREK.
Proceedings of the ACM SIGGRAPH 2001 Video Review on Electronic Theater Program, 2001

1997
DataWeb: Customizable Database Publishing for the Web.
IEEE Multim., 1997

1996
PESTO : An Integrated Query/Browser for Object Databases.
Proceedings of the VLDB'96, 1996

1995
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.
Digit. Tech. J., 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

1990
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

1988
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

1986
Good Rewrite Strategies for FP
Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

1985
Denotational Semantics and Rewrite Rules for FP.
Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985

1983
A Fair Carpool Scheduling Algorithm.
IBM J. Res. Dev., 1983

1982
On the Development of the Algebra of Functional Programs.
ACM Trans. Program. Lang. Syst., 1982

1981
Formal Representations for Recursively Defined Functional Programs.
Proceedings of the Formalization of Programming Concepts, 1981

1976
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

1975
Bounded Context Parsable Grammars
Inf. Control., August, 1975

1973
Non-Canonical Parsing
Proceedings of the 14th Annual Symposium on Switching and Automata Theory, 1973

1963
A discriminant method for automatically classifying documents.
Proceedings of the 1963 fall joint computer conference, 1963


  Loading...