1077 search results - page 40 / 216 » Introducing Software Engineering by means of Extreme Program... |
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
We present Phantm, a static analyzer that uses a flowsensitive analysis to detect type errors in PHP applications. Phantm can infer types for nested arrays, and can leverage runti...
IUI
2000
ACM
15 years 4 months ago
2000
ACM
This article is about applications that can be customized or extended through their own user interface. This is achieved by the interface’s ability to interpret users’ non-lit...
NSPW
2006
ACM
15 years 5 months ago
2006
ACM
Spyware, Adware, Bots. In each case, there is significant evidence that there is an increasing financial motivation behind the writing and distribution of these programs. In thi...
KBSE
2003
IEEE
15 years 5 months ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
192
click to vote
ICFP
2009
ACM
16 years 15 days ago
2009
ACM
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...