4211 search results - page 160 / 843 » Types as Abstract Interpretations |
144
click to vote
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
137
click to vote
EMSOFT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...
121
Voted
ENTCS
2007
15 years 3 months ago
2007
The use of typed intermediate languages can significantly increase the reliability of a compiler. By typechecking the code produced at each transformation stage, one can identify...
123
click to vote
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
Generalized algebraic data types (GADTs), sometimes known as "guarded recursive data types" or "first-class phantom types", are a simple but powerful generaliz...
JISE
2007
15 years 3 months ago
2007
stems. Three layers of control abstraction for formation control are formation shape, reference type, and robotic control. Reference types play an important role in formation contr...