Fiber-reinforced polymer (FRP) strengthening offers many well-documented benefits for the retrofit of existing reinforced concrete (RC) structures. The main drawback in using FRP for such...
Strategic term rewriting and its application to a VDM-SL to SQL conversion (2005)
Alves, Tiago Miguel Laureano, Silva, P. F., Visser, J., Oliveira, José Nuno Fonseca
We constructed a tool, called VooDooM, which converts datatypes in Vdm-sl into Sql relational data models. The conversion involves transformation of algebraic types to maps and products, and pointer...
Strategic term rewriting and its application to a VDM-SL to SQL conversion (2005)
T. L. Alves, P. F. Silva, J. Visser, J. N. Oliveira
Abstract. We constructed a tool, called VooDooM, which converts datatypes in VDM-SL into SQL relational data models. The conversion involves transformation of algebraic types to maps and products,...