Title: LINGUSQL : A VERIFICATION AND TRANSFORMATION TOOL FOR DATABASE APPLICATION
Abstract: Lingu is an experimental abstract language for programming database scripting. This language includes verification and validation as an integral part of its programming. The verification and validation ensures the application is capable to be used in critical operation. The programming of Lingu itself does not produces a working code, instead it produce an abstract code that describes program logic. This abstract language is transformed into a concrete language, such as C or Java, intended to be used in real operation. This paper discuss about the development of LinguSQL. LinguSQL is a tool for verifying and transforming Lingu script. Currently the development of LinguSQL is in prototyping phase. We hope that the prototype will provide a clear guidance in further development.
Publication Year: 2005
Publication Date: 2005-01-01
Language: en
Type: article
Access and Citation
Cited By Count: 1
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot