10871 search results - page 1866 / 2175 » A stable programming language |
186
click to vote
FLOPS
2004
Springer
16 years 3 days ago
2004
Springer
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
156
click to vote
FPL
2004
Springer
16 years 3 days ago
2004
Springer
Complex SoC and platform-based designs require integration of configurable IP cores from multiple sources. Even automatic compilation flows from a high-level description to HW/SW s...
167
click to vote
GPCE
2004
Springer
16 years 3 days ago
2004
Springer
This paper describes our experience with developing a product line for middleware-based versioning systems. We perform a detailed domain analysis and define a DSL for configuring i...
178
click to vote
ICALP
2004
Springer
16 years 3 days ago
2004
Springer
We initiate the study of mechanisms with verification for one-parameter agents. We give an algorithmic characterization of such mechanisms and show that they are provably better ...
155
click to vote
ICALP
2004
Springer
16 years 3 days ago
2004
Springer
We show that strictly positive inductive types, constructed from polynomial functors, constant exponentiation and arbitrarily nested inductive types exist in any Martin-L¨of categ...