Blank Cover Image

PROGRAM SYNTHESIS = PROOF METHOD + KNOWLEDGE...

Author(s):
JACQUET, P. ( INFORMATIQUE ET MATH. APPL. DE GRENOBLE (IMAG), SAINT MARTIN D'HERES, FRANCE )  
Publication title:
NASA Technical Reports
Pub. Year:
1986
Issue:
RR-605-IMAG-48-LIFIA-I
Paper no.:
N87-14903
Page(from):
1
Page(to):
13
Pages:
13
Pub. info.:
National Aeronautics and Space Administration
Language:
English
Type:
Technical Paper

Similar Items:

1 Technical Paper Proof Test of the Computer Program BUCKY for Plasticity Problems

Smith, James P.

National Aeronautics and Space Adminstration
7 Technical Paper Mechanising proofs of program transformation rules

Sere, K., von Wright, J.

National Aeronautics and Space Adminstration
2 Technical Paper MINIMUM DISCLOSURE PROOFS OF KNOWLEDGE.

BRASSARD, G. et al.

National Aeronautics and Space Administration
8 Technical Paper A CONVERGENCE PROOF OF A MULTIGRID METHOD.

GODDIJN, I.A.M.

National Aeronautics and Space Administration
3 Technical Paper MATHEMATICAL PROGRAMMING FORMULATIONS FOR SATELLITE SYNTHESIS

Bhasin, P.

National Aeronautics and Space Administration
9 Technical Paper Optimal Engine Control for Series-Hybrid Electric Vehicles by Genetic Programming Methods.

Gladwin, D., Stewart, P., Stewart, J.

Society of Automotive Engineers
4 Technical Paper Comarative semantics for a parallel contextual programming laugage

Jacquet, J,-M., Monteiro, L.

National Aeronautics and Space Adminstration
10 Technical Paper A Study on Clutch Actuation System (CAS) Program Development using Hysteresis Method.

Hong, Y., Park, H.-W., Yu, S.-J., Hong, D.-P., Choi, H.-K

Society of Automotive Engineers
5 Technical Paper "PEGASUS, A New Programming Method"

Costa,Sylvain J.Da, Carpentier,Jean-Paul, Cann,Raymond P.Le

"Society of Automotive Engineering, Inc."
11 Technical Paper A Synthesis Method for Combined Optimization of Multiple Antenna Parameters and Antenna Pattern Structure

de Maagt, P.J.I.

National Aeronautics and Space Adminstration
6 Technical Paper A brief survey of zero-knowledge proofs

Shin, H.

National Aeronautics and Space Adminstration
12 Technical Paper Synthesis of Flight Vehicle Guidance and Control Laws Using Genetic Search Methods

Crawford,L., Cheng,V., Menon,P.

American Institute of Aeronautics and Astronautics
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12