Stephen J. Westfold

Publication Activity (10 Years)

Years Active: 1979-2022
Publications (10 Years): 3

Top Topics

Surface Features

Abstract Data Types

Natural Language Learning

Top Venues

FM Workshops (2)

Publications

Alessandro Coglio, Eric McCarthy, Stephen J. Westfold, Daniel Balasubramanian, Abhishek Dubey, Gabor Karsai
Syntheto: A Surface Language for APT and ACL2. ACL2 (2022)
Alessandro Coglio, Stephen J. Westfold
Isomorphic Data Type Transformations. ACL2 (2020)
Douglas R. Smith, Stephen J. Westfold
Transformations for Generating Type Refinements. FM Workshops (2) (2019)
Mark H. Burstein, Drew V. McDermott, Douglas R. Smith, Stephen J. Westfold
Derivation of Glue Code for Agent Interoperation. Auton. Agents Multi Agent Syst. 6 (3) (2003)
Stephen J. Westfold, Douglas R. Smith
Synthesis of efficient constraint-satisfaction programs. Knowl. Eng. Rev. 16 (1) (2001)
Lee Blaine, Limei Gilham, Junbo Liu, Douglas R. Smith, Stephen J. Westfold
Planware - Domain-Specific Synthesis of High-Performance Schedulers. ASE (1998)
Carla P. Gomes, Douglas R. Smith, Stephen J. Westfold
A Transformational Approach Applied to Outage Management of Nuclear Power Plants. HICSS (5) (1997)
Carla P. Gomes, Douglas R. Smith, Stephen J. Westfold
Synthesis of schedulers for planned shutdowns of power plants. KBSE (1996)
Douglas R. Smith, Stephen J. Westfold
Scheduling an Asynchronously Shared Resource. CP (1996)
Stephen J. Westfold, Lawrence Markosian, William A. Brew
Knowledge-Based Software Development from Requirements to Code. System Development and Ada (1986)
Douglas R. Smith, Gordon Kotik, Stephen J. Westfold
Research on Knowledge-Based Software Environments at Kestrel Institute. IEEE Trans. Software Eng. 11 (11) (1985)
Stephen J. Westfold
Very-High-Level Programming of Knowledge Representation Schemes. AAAI (1984)
C. Cordell Green, Richard P. Gabriel, Elaine Kant, Beverly I. Kedzierski, Brian P. McCune, Jorge V. Phillips, Steve Tappel, Stephen J. Westfold
Results in Knowledge-Based Program Synthesis. IJCAI (1979)