13734 search results - page 51 / 2747 » Abstractions of data types |
FATES
2004
Springer
14 years 16 days ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
PVLDB
2008
13 years 8 months ago
2008
This paper studies, for the first time, the management of type information for an important class of semi-structured data: nested DAGs (Directed Acyclic Graphs) that describe exec...
GFKL
2007
Springer
14 years 20 days ago
2007
Springer
JCS
2008
13 years 8 months ago
2008
Compiler for Session Abstractions Ricardo Corin1,2,3, Pierre-Malo Deni
FROCOS
2009
Springer
14 years 3 months ago
2009
Springer
d abstract) Takahito Aoto† Toshiyuki Yamada‡