7681 search results - page 118 / 1537 » Typed Membrane Systems |
154
click to vote
INFORMATICALT
2010
15 years 4 months ago
2010
Abstract. This study presents developed algorithm for assessment and updating estimates of parameters in the mathematical models of non-stationary processes (for instance, system a...
183
Voted
TIC
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
146
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...
169
click to vote
AFP
2004
Springer
15 years 11 months ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
142
click to vote
PPDP
2005
Springer
15 years 11 months ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...