CLBM Based SSP Rehosting and Design Tool(v.2.3) Oct. 15

test suite

Demonstration: Semantic Rehosting based on CLBM Alpha 0.4.0

         

Source Code Input

 Source Language:             
 Examples:                

Abstraction & Representation

Semantic Representation
(XML Representation)

Inference  & Code Generation

Target Code Output