Stephen J. Westfold

According to our database, Stephen J. Westfold authored at least 14 papers between 1979 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Syntheto: A Surface Language for APT and ACL2.

Alessandro Coglio, Eric McCarthy, Stephen J. Westfold, Daniel Balasubramanian, Abhishek Dubey, Gabor Karsai

Proceedings of the Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications, 2022

2020

Isomorphic Data Type Transformations.

Alessandro Coglio, Stephen J. Westfold

Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications, 2020

2019

Transformations for Generating Type Refinements.

Douglas R. Smith, Stephen J. Westfold

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2003

Derivation of Glue Code for Agent Interoperation.

Mark H. Burstein, Drew V. McDermott, Douglas R. Smith, Stephen J. Westfold

Auton. Agents Multi Agent Syst., 2003

2001

Synthesis of efficient constraint-satisfaction programs.

Stephen J. Westfold, Douglas R. Smith

Knowl. Eng. Rev., 2001

1998

Planware - Domain-Specific Synthesis of High-Performance Schedulers.

Lee Blaine, Limei Gilham, Junbo Liu, Douglas R. Smith, Stephen J. Westfold

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

1997

A Transformational Approach Applied to Outage Management of Nuclear Power Plants.

Carla P. Gomes, Douglas R. Smith, Stephen J. Westfold

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996

Synthesis of schedulers for planned shutdowns of power plants.

Carla P. Gomes, Douglas R. Smith, Stephen J. Westfold

Proceedings of the 11th Knowledge-Based Software Engineering Conference, 1996

Scheduling an Asynchronously Shared Resource.

Douglas R. Smith, Stephen J. Westfold

Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

1986

Knowledge-Based Software Development from Requirements to Code.

Stephen J. Westfold, Lawrence Markosian, William A. Brew

Proceedings of the Software Development and Ada, 1986

1985

Research on Knowledge-Based Software Environments at Kestrel Institute.

Douglas R. Smith, Gordon Kotik, Stephen J. Westfold

IEEE Trans. Software Eng., 1985

1984

Logic specifications for compiling.

Stephen J. Westfold

PhD thesis, 1984

Very-High-Level Programming of Knowledge Representation Schemes.

Stephen J. Westfold

Proceedings of the National Conference on Artificial Intelligence. Austin, 1984

1979

Results in Knowledge-Based Program Synthesis.

C. Cordell Green, Richard P. Gabriel, Elaine Kant, Beverly I. Kedzierski, Brian P. McCune, Jorge V. Phillips, Steve Tappel, Stephen J. Westfold

Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979