Elaine Kant

According to our database, Elaine Kant authored at least 25 papers between 1976 and 2011.

Collaborative distances:

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

2011

Domain specific languages and the acceleration of computational finance.

Elaine Kant

Proceedings of the WHPCF'11, 2011

2001

SciFinance: A Program Synthesis Tool for Financial Modeling.

Robert L. Akers, Ion Bica, Elaine Kant, Curt Randall, Robert L. Young

AI Mag., 2001

2000

A knowledge-based electronic information and documentation system.

Robert L. Young, Elaine Kant, Larry A. Akers

Proceedings of the 5th International Conference on Intelligent User Interfaces, 2000

1999

Implementing option-pricing models using software synthesis.

James Gatheral, Yonathan Epelbaum, Jining Han, Kishor Laud, Olga Lubovitsky, Elaine Kant, Curt Randall

Comput. Sci. Eng., 1999

1997

Numerical options models without programming.

Curt Randall, Elaine Kant

Proceedings of the IEEE/IAFE 1997 Computational Intelligence for Financial Engineering, 1997

1993

Practical Software Synthesis - Introduction.

Dorothy E. Setliff, Elaine Kant, Tom Cain

IEEE Softw., 1993

Synthesis of Mathematical Modeling Software.

Elaine Kant

IEEE Softw., 1993

1992

Knowledge-based support for scientific programming.

Elaine Kant

Proceedings of the Seventh Knowledge-Based Software Engineering Conference, 1992

1988

Interactive Problem Solving: Using Task Configuration and Control.

Elaine Kant

IEEE Expert, 1988

1985

The Roles of Execution and Analysis in Algorithm Design.

David M. Steier, Elaine Kant

IEEE Trans. Software Eng., 1985

Understanding and Automating Algorithm Design.

Elaine Kant

IEEE Trans. Software Eng., 1985

Incremental parsing without a parser.

Gail E. Kaiser, Elaine Kant

J. Syst. Softw., 1985

Symbolic Execution in Algorithm Design.

David M. Steier, Elaine Kant

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1984

Problem solving techniques for the design of algorithms.

Elaine Kant, Allen Newell

Inf. Process. Manag., 1984

1983

On the Efficient Synthesis of Efficient Programs.

Elaine Kant

Artif. Intell., 1983

An Automatic Algorithm Designer: An Initial Implementation.

Elaine Kant, Allen Newell

Proceedings of the National Conference on Artificial Intelligence, 1983

1982

Naive Algorithm Design Techniques: A Case Study.

Elaine Kant, Allen Newell

Proceedings of the 5th European Conference on Artificial Intelligence, 1982

1981

The Refinement Paradigm: The Interaction of Coding and Efficiency Knowledge in Program Synthesis.

Elaine Kant, David R. Barstow

IEEE Trans. Software Eng., 1981

1980

Review of "Principles of Artificial Intelligence by Nils J. Nilsson", Tioga Publishing Co.

Elaine Kant

SIGART Newsl., 1980

1979

Efficiency considerations in program synthesis : a knowledge-based approach.

Elaine Kant

PhD thesis, 1979

A Knowledge-Based Approach to Using Efficiency Estimation in Program Synthesis.

Elaine Kant

Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 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

1978

Efficiency estimation - Controlling search in program synthesis.

Elaine Kant

Proceedings of the American Federation of Information Processing Societies: 1978 National Computer Conference, 1978

1977

The selection of efficient implementations for a high-level language.

Elaine Kant

Proceedings of the 1977 Symposium on Artificial Intelligence and Programming Languages, 1977

1976

Observations on the Interaction Between Coding and Efficiency Knowledge in the PSI Program Synthesis System.

David R. Barstow, Elaine Kant

Proceedings of the 2nd International Conference on Software Engineering, 1976