13734 search results - page 81 / 2747 » Abstractions of data types |
145
Voted
ASYNC
2001
IEEE
15 years 6 months ago
2001
IEEE
This paper describes the synthesis and hardware implementation of a signal-type asynchronous data communication mechanism (ACM). Such an ACM can be used in systems where a data-dr...
124
Voted
FASE
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The complexity of large system models in software engineering nowadays is mastered by using different views. View-based modeling aims at creating small, partial models, e...
118
Voted
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
112
Voted
ICFP
2007
ACM
16 years 2 months ago
2007
ACM
We present a pair of reasoning principles, definition and proof by rigid induction, which can be seen as proper generalizations of lazy-datatype induction to monadic effects other...
108
Voted
IFM
2007
Springer
15 years 9 months ago
2007
Springer