31 search results - page 2 / 7 » Static Type Analysis of Pattern Matching by Abstract Interpr... |
ECOOP
2001
Springer
13 years 10 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
ICTCS
2005
Springer
13 years 11 months ago
2005
Springer
In the design of type systems for XML programming languages based on regular expression types and patterns the focus has been over result analysis, with the main aim of statically ...
CC
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Xtatic is a lightweight extension of C offering native support for statically typed XML processing. XML trees are built-in values in Xtatic, and static analysis of the t...
ICFP
2002
ACM
14 years 5 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
LREC
2008
13 years 7 months ago
2008
Pattern matching, or querying, over annotations is a general purpose paradigm for inspecting, navigating, mining, and transforming annotation repositories--the common representati...