12452 search results - page 2150 / 2491 » An exploration of program as language |
153
click to vote
FASE
2004
Springer
16 years 2 days ago
2004
Springer
The Java dialect Java Card for programming smartcards contains some features which do not exist in Java. Java Card distinguishes persistent and transient data (data stored in EEPRO...
186
click to vote
FLOPS
2004
Springer
16 years 2 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...
154
click to vote
FPL
2004
Springer
16 years 2 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...
165
click to vote
GPCE
2004
Springer
16 years 2 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...
177
click to vote
ICALP
2004
Springer
16 years 2 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 ...