Scientific Programming by Automated Synthesis

@inproceedings{Kant1991ScientificPB,
  title={Scientific Programming by Automated Synthesis},
  author={E. Kant and Francois Daube and W. A. Macgregor and Joseph A. Wald},
  year={1991}
}

Citations

Publications citing this paper.
SHOWING 1-10 OF 21 CITATIONS

On a data-driven environment for multiphysics applications

  • Future Generation Comp. Syst.
  • 2005
VIEW 1 EXCERPT
CITES METHODS

DMS/spl reg/: program transformations for practical scalable software evolution

  • Proceedings. 26th International Conference on Software Engineering
  • 2004
VIEW 2 EXCERPTS
CITES BACKGROUND

Knowledge-Based Automation of a Design Method for Concurrent Systems

  • IEEE Trans. Software Eng.
  • 2002
VIEW 1 EXCERPT
CITES BACKGROUND