Results 1 -
9 of
9
On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling
, 2004
"... ..."
Cover design by Maja Sokolova, adaptation by Jan-Willem Luiten CIP-DATA LIBRARY TECHNISCHE UNIVERSITEIT EINDHOVEN
"... ter verkrijging van de graad van doctor aan de ..."
The Abroad
"... syntax . . . . . . . . . . . . . . . . . . . . . 92 5.4.2 Step 2: Abstract Syntax embedding . . . . . . . . . . . . . . 93 5.4.3 Step 3: Type embedding . . . . . . . . . . . . . . . . . . . . . 94 5.5 Relational algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95 5.5.1 Functions . . . ..."
Abstract
- Add to MetaCart
syntax . . . . . . . . . . . . . . . . . . . . . 92 5.4.2 Step 2: Abstract Syntax embedding . . . . . . . . . . . . . . 93 5.4.3 Step 3: Type embedding . . . . . . . . . . . . . . . . . . . . . 94 5.5 Relational algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95 5.5.1 Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95 5.5.2 Relations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96 5.5.3 Relational expressions . . . . . . . . . . . . . . . . . . . . . . 97 5.5.4 Restriction . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98 5.5.5 Union,Di#erence and Cartesian product . . . . . . . . . . . . 99 5.6 Embedding queries . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99 5.6.1 Step 1: Abstract syntax . . . . . . . . . . . . . . . . . . . . . 99 5.6.2 Step 2: Abstract syntax embedding . . . . . . . . . . . . . . 103 5.6.3 Step 3: Type embedding . . . . . . . . . . . . . . . . . . . . . 110 5.7 Exam marks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117 5.7.1 Visual Basic . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117 5.7.2 Haskell . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118 5.8 Status and conclusions . . . . . . . . . . . . . . . . . . . . . . . . . . 120 6 The Lazy Virtual Machine 121 Contents vii 6.2 An overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123 6.3 The abstract machine . . . . . . . . . . . . . . . . . . . . . . . . . . 127 6.3.1 Basic instructions . . . . . . . . . . . . . . . . . . . . . . . . 128 6.3.2 Local definitions . . . . . . . . . . . . . . . . . . . . . . . . . 130 6.3.3 Sharing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131 6.3.4 Recursive values . . . . . . . . . . . . . . . . . . . . . . . . . 13...
geboren te Barcelonapromotor: prof.dr. W.J. Fokkink copromotor: dr. J.C. van de PolModal Abstraction and Replication of Processes with Data
"... ter verkrijging van de graad Doctor aan ..."
geboren te Jiangsu, Chinapromotor: prof.dr. W.J. FokkinkFormal Verification of Distributed Systems
, 2004
"... ter verkrijging van de graad van doctor aan ..."
Validation of Stochastic Systems (VOSS,VOSS2).Reconciling Nondeterministic and Probabilistic Choices
"... The work on this thesis has been carried out under the auspices of the research ..."
Abstract
- Add to MetaCart
The work on this thesis has been carried out under the auspices of the research
Searching in encrypted data Richard BrinkmanComposition of the Graduation Committee:
, 1978
"... P.O. Box 217, 7500 AE Enschede, The Netherlands. The work in this thesis has been carried out under the auspices of the research school IPA (Institute for Programming ..."
Abstract
- Add to MetaCart
P.O. Box 217, 7500 AE Enschede, The Netherlands. The work in this thesis has been carried out under the auspices of the research school IPA (Institute for Programming
REAL-TIME AND COVERAGE
"... Research and Algorithmics (IPA) research school and within the context of the Center ..."
Abstract
- Add to MetaCart
Research and Algorithmics (IPA) research school and within the context of the Center
