Computational synthesis for scientific experimentation
A method of conditional rewriting and stepwise refinement of an abstract experiment protocol is specified using grammars, with optional feature structures. Specific rewrite rule conditions including selective mappings between feature structures of protocols determine whether and how protocol rewriti...
Main Author: | |
---|---|
Published: |
University of Edinburgh
2007
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.653837 |