1925 search results - page 84 / 385 » Dynamic Typing |
ICFP
2005
ACM
14 years 9 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
IJCNN
2006
IEEE
14 years 3 months ago
2006
IEEE
—Robust tuning of lead-lag type controller used for regulating FACTS control signal to improve dynamic stability has been an area of interest in research. This paper presents a n...
ISCAPDCS
2003
13 years 10 months ago
2003
This paper discusses the use of “relative debugging” as a technique for locating errors in a program that has been ported or developed using evolutionary software engineering ...
PLDI
2000
ACM
14 years 1 months ago
2000
ACM
Dynamic class loading during program execution in the JavaTM Programming Language is an impediment for generating code that is as e cient as code generated using static wholeprogr...
ICWE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Adaptive hypermedia constitutes a pretty rich resource for developing web-based courses. With the aim of dynamically generating adaptive ecourses, we have developed the T...