Stephen J. Westfold

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