18429 search results - page 65 / 3686 » Typing dynamic typing |
135
click to vote
ICSE
2004
IEEE-ACM
16 years 4 months ago
2004
IEEE-ACM
Many data-intensive applications dynamically construct queries in response to client requests and execute them. Java servlets, e.g., can create string representations of SQL queri...
130
Voted
ICFP
1997
ACM
15 years 8 months ago
1997
ACM
We present a type system for the programming language Erlang. The type system supports subtyping and declarationfree recursive types, using subtyping constraints. Our system is si...
145
click to vote
TLDI
2010
ACM
16 years 1 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
148
click to vote
IWPC
1997
IEEE
15 years 7 months ago
1997
IEEE
A dynamic program slice is an executable part of a program whose behavior is identical, for the same program input, to that of an original program with respect to a variable(s) of...
124
click to vote
IJCNN
2006
IEEE
15 years 10 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...