Elaine Kant

27 papers A* 6A 2Journal 12Unranked 6
YearRankTypeTitle / Venue / Authors
2011 — conf
Domain specific languages and the acceleration of computational finance.
WHPCF@SC
Elaine Kant
2001 J jnl
SciFinance: A Program Synthesis Tool for Financial Modeling.
AI Mag.
Robert L. Akers, Ion Bica, Elaine Kant, Curt Randall, Robert L. Young
2000 A conf
A knowledge-based electronic information and documentation system.
IUI
Robert L. Young, Elaine Kant, Larry A. Akers
2000 — conf
SciFinance: A Program Synthesis Tool for Financial Modeling.
AAAI/IAAI
Robert L. Akers, Ion Bica, Elaine Kant, Curt Randall, Robert L. Young
1999 J jnl
Implementing option-pricing models using software synthesis.
Comput. Sci. Eng.
James Gatheral, Yonathan Epelbaum, Jining Han, Kishor Laud, Olga Lubovitsky, Elaine Kant, Curt Randall
1997 — conf
Numerical options models without programming.
CIFEr
Curt Randall, Elaine Kant
1993 J jnl
Practical Software Synthesis - Introduction.
IEEE Softw.
Dorothy E. Setliff, Elaine Kant, Tom Cain
1993 J jnl
Synthesis of Mathematical Modeling Software.
IEEE Softw.
Elaine Kant
1992 — conf
Knowledge-based support for scientific programming.
KBSE
Elaine Kant
1988 J jnl
Interactive Problem Solving: Using Task Configuration and Control.
IEEE Expert
Elaine Kant
1985 J jnl
Incremental parsing without a parser.
J. Syst. Softw.
Gail E. Kaiser, Elaine Kant
1985 A* conf
Symbolic Execution in Algorithm Design.
IJCAI
David M. Steier, Elaine Kant
1985 J jnl
The Roles of Execution and Analysis in Algorithm Design.
IEEE Trans. Software Eng.
David M. Steier, Elaine Kant
1985 A* conf
Understanding and Automating Algorithm Design.
IJCAI
Elaine Kant
1985 J jnl
Understanding and Automating Algorithm Design.
IEEE Trans. Software Eng.
Elaine Kant
1984 J jnl
Problem solving techniques for the design of algorithms.
Inf. Process. Manag.
Elaine Kant, Allen Newell
1983 A* conf
An Automatic Algorithm Designer: An Initial Implementation.
AAAI
Elaine Kant, Allen Newell
1983 J jnl
On the Efficient Synthesis of Efficient Programs.
Artif. Intell.
Elaine Kant
1982 A conf
Naive Algorithm Design Techniques: A Case Study.
ECAI
Elaine Kant, Allen Newell
1981 J jnl
The Refinement Paradigm: The Interaction of Coding and Efficiency Knowledge in Program Synthesis.
IEEE Trans. Software Eng.
Elaine Kant, David R. Barstow
1980 J jnl
Review of "Principles of Artificial Intelligence by Nils J. Nilsson", Tioga Publishing Co.
SIGART Newsl.
Elaine Kant
1979 A* conf
A Knowledge-Based Approach to Using Efficiency Estimation in Program Synthesis.
IJCAI
Elaine Kant
1979 — —
Efficiency considerations in program synthesis : a knowledge-based approach.
Elaine Kant
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
1978 — conf
Efficiency estimation - Controlling search in program synthesis.
AFIPS National Computer Conference
Elaine Kant
1977 — conf
The selection of efficient implementations for a high-level language.
Artificial Intelligence and Programming Languages
Elaine Kant
1976 A* conf
Observations on the Interaction Between Coding and Efficiency Knowledge in the PSI Program Synthesis System.
ICSE
David R. Barstow, Elaine Kant