4722 search results - page 290 / 945 » Encoding Program Executions |
200
Voted
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
181
click to vote
SCAM
2003
IEEE
15 years 12 months ago
2003
IEEE
Program slice is a set of statements that affect the value of variable v in a statement s. In order to calculate a program slice, we must know the dependence relations between sta...
192
click to vote
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Recent advances in Software Engineering have reduced the cost of coding programs at the expense of increasing the complexity of program synthesis, i.e. metaprograms, which when ex...
139
click to vote
TSE
1998
15 years 6 months ago
1998
—Masking fault-tolerance guarantees that programs continually satisfy their specification in the presence of faults. By way of contrast, nonmasking fault-tolerance does not guara...
301
Voted
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. The expression families problem can be defined as the problem of achieving reusability and composability across the components involved in a family of related datatypes a...