4386 search results - page 103 / 878 » A Tamper-Resistant Programming Language System |
110
click to vote
PADL
2005
Springer
15 years 7 months ago
2005
Springer
The need for direct memory manipulation through pointers is essential in many applications. However, it is also commonly understood that the use (or probably misuse) of pointers is...
114
click to vote
TCS
2008
15 years 1 months ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
112
click to vote
FLAIRS
2004
15 years 2 months ago
2004
We present a preventive model of tutoring for novice programming derived from a human corpus and describe our intelligent tutoring system PROPL embodying that model. The system co...
109
Voted
SAMOS
2004
Springer
15 years 6 months ago
2004
Springer
The SystemC language plays an increasingly important role in the system-level design domain, facilitating designers to start with modeling and simulating system components and thei...
106
click to vote
TOOLS
2009
IEEE
15 years 8 months ago
2009
IEEE
— In this paper, we present our current work on a UML based environment providing efficient means for system