7380 search results - page 1092 / 1476 » Engineering Software Intensive Systems |
145
Voted
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
185
click to vote
JIT
2004
Springer
15 years 10 months ago
2004
Springer
Thing-oriented programming (TP) is an emerging programming model which overcomes some of the limitations of current practice in software development in general and of object-orient...
154
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
ma's abstract data model consists of components, which are the structures that eventually define a schema as a whole. XML Schema's XML syntax, on the other hand, is not ...
151
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
A social network can become bases for information infrastructure in the future. It is important to extract social networks that are not biased. Providing a simple means for users ...
135
click to vote
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...