Elaine Kant

Publication Activity (10 Years)

Years Active: 1976-2011
Publications (10 Years): 0

Publications

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