243 search results - page 22 / 49 » Towards a Type System for Analyzing JavaScript Programs |
ENTCS
2008
13 years 7 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
ISPASS
2010
IEEE
14 years 2 months ago
2010
IEEE
—Software instrumentation is a powerful and flexible technique for analyzing the dynamic behavior of programs. By inserting extra code in an application, it is possible to study...
FLAIRS
2006
13 years 9 months ago
2006
Intelligent Tutoring Systems, while effective at producing student learning [2,7], are notoriously costly to construct [1,9], and require PhD level experience in cognitive science...
CC
2002
Springer
13 years 7 months ago
2002
Springer
Abstract. This paper describes the C Intermediate Language: a highlevel representation along with a set of tools that permit easy analysis and source-to-source transformation of C ...
IUI
2012
ACM
12 years 3 months ago
2012
ACM
As applications are developed, functional tests ensure they continue to function as expected. Nowadays, functional testing is mostly done manually, with human testers verifying a ...