Qian Wang

According to our database, Qian Wang authored at least 6 papers between 2003 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Winsight: Towards Completely Automatic Backtranslation of Nemeth Code.

Deepa Gopal, Qian Wang, Gopal Gupta, S. Chitnis, Haifeng Guo, Arthur I. Karshmer

Proceedings of the Universal Access in Human-Computer Interaction. Applications and Services, 2007

2005

Rapidly prototyping implementation infrastructure of domain specific languages: a semantics-based approach.

Qian Wang, Gopal Gupta

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Towards Provably Correct Code Generation via Horn Logical Continuation Semantics.

Qian Wang, Gopal Gupta, Michael Leuschel

Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005

2004

A Logic Programming-based Environment for Integrating Architecture Description Languages.

Qian Wang, Gopal Gupta

Proceedings of the 14th International Workshop on Logic Programming Environments, 2004

2003

Provably Correct Code Generation: A Case Study.

Qian Wang, Gopal Gupta

Proceedings of the International Workshop on Software Verification and Validation, 2003

Continuation Semantics as Horn Clauses.

Qian Wang, Gopal Gupta

Proceedings of the Logic Based Program Synthesis and Transformation, 2003