1412 search results - page 34 / 283 » types 2004 |
MPC
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Generic functions are defined by induction on the structural representation of types. As a consequence, by defining just a single generic operation, one acquires this o...
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
This paper presents our compilation strategy to produce efficient code for pattern matching in the CDuce compiler, taking into account static information provided by the type syst...
BMCBI
2004
13 years 8 months ago
2004
Background: New techniques for determining relationships between biomolecules of all types
APN
2004
Springer
14 years 2 months ago
2004
Springer
This paper describes the thriving application of Petri net theory for model validation of different types of molecular biological sys
OOPSLA
2004
Springer
14 years 2 months ago
2004
Springer
Code instrumentation is a mechanism that allows modules of programs to be completely rewritten at runtime. With the advent of virtual machines, this type of functionality is becom...