Sciweavers

3706 search results - page 74 / 742
» The Transformational Approach to Program Development
Sort
View
POPL
2011
ACM
14 years 16 days ago
Dynamic inference of static types for ruby
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...
Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. F...
FC
2010
Springer
183views Cryptology» more  FC 2010»
15 years 1 months ago
Automatically Preparing Safe SQL Queries
We present the first sound program source transformation approach for automatically transforming the code of a legacy web application to employ PREPARE statements in place of unsa...
Prithvi Bisht, A. Prasad Sistla, V. N. Venkatakris...
SAS
2009
Springer
149views Formal Methods» more  SAS 2009»
15 years 4 months ago
Creating Transformations for Matrix Obfuscation
There are many programming situations where it would be convenient to conceal the meaning of code, or the meaning of certain variables. This can be achieved through program transfo...
Stephen Drape, Irina Voiculescu
ECSA
2010
Springer
14 years 10 months ago
From Web Components to Web Services: Opening Development for Third Parties
One of the main advantages of the Web component-based development paradigm is the ability to build customizable and composable web application modules as independent units of devel...
Chouki Tibermacine, Mohamed Lamine Kerdoudi
CIKM
2009
Springer
15 years 4 months ago
A case study on model driven data integration for data centric software development
Model Driven Data Integration is a data integration approach that proactively incorporates and utilizes metadata across the data integration process. By decoupling data and metada...
Hyeonsook Kim, Ying Zhang, Samia Oussena, Tony Cla...