1107 search results - page 116 / 222 » XAIRA : software for language analysis |
100
Voted
TIC
1998
Springer
15 years 5 months ago
1998
Springer
Polymorphic equality is a controversial language construct. While being convenient for the programmer, it has been argued that polymorphic equality (1) invites to violation of soft...
130
Voted
TIC
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
120
Voted
PEPM
2009
ACM
15 years 9 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
124
Voted
FUIN
2006
15 years 25 days ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
108
Voted
SE
2007
15 years 2 months ago
2007
: Developing and maintaining large software systems can require the usage of a variety of different automatic test tools. The complexity of the tools leads to considerable overhead...