Elaine Kant

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Domain specific languages and the acceleration of computational finance.
Proceedings of the WHPCF'11, 2011

2001
SciFinance: A Program Synthesis Tool for Financial Modeling.
AI Mag., 2001

2000
A knowledge-based electronic information and documentation system.
Proceedings of the 5th International Conference on Intelligent User Interfaces, 2000

1999
Implementing option-pricing models using software synthesis.
Comput. Sci. Eng., 1999

1997
Numerical options models without programming.
Proceedings of the IEEE/IAFE 1997 Computational Intelligence for Financial Engineering, 1997

1993
Practical Software Synthesis - Introduction.
IEEE Softw., 1993

Synthesis of Mathematical Modeling Software.
IEEE Softw., 1993

1992
Knowledge-based support for scientific programming.
Proceedings of the Seventh Knowledge-Based Software Engineering Conference, 1992

1988
Interactive Problem Solving: Using Task Configuration and Control.
IEEE Expert, 1988

1985
The Roles of Execution and Analysis in Algorithm Design.
IEEE Trans. Software Eng., 1985

Understanding and Automating Algorithm Design.
IEEE Trans. Software Eng., 1985

Incremental parsing without a parser.
J. Syst. Softw., 1985

Symbolic Execution in Algorithm Design.
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1984
Problem solving techniques for the design of algorithms.
Inf. Process. Manag., 1984

1983
On the Efficient Synthesis of Efficient Programs.
Artif. Intell., 1983

An Automatic Algorithm Designer: An Initial Implementation.
Proceedings of the National Conference on Artificial Intelligence, 1983

1982
Naive Algorithm Design Techniques: A Case Study.
Proceedings of the 5th European Conference on Artificial Intelligence, 1982

1981
The Refinement Paradigm: The Interaction of Coding and Efficiency Knowledge in Program Synthesis.
IEEE Trans. Software Eng., 1981

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

1979
Efficiency considerations in program synthesis : a knowledge-based approach.
PhD thesis, 1979

A Knowledge-Based Approach to Using Efficiency Estimation in Program Synthesis.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

Results in Knowledge-Based Program Synthesis.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

1978
Efficiency estimation - Controlling search in program synthesis.
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.
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.
Proceedings of the 2nd International Conference on Software Engineering, 1976


  Loading...