5451 search results - page 611 / 1091 » Typed Operational Semantics |
147
click to vote
ICDAR
2003
IEEE
16 years 3 days ago
2003
IEEE
Form reading technology based on form-type identification and form-data recognition is proposed. This technology can solve difficulties in variety for reading different items on f...
181
click to vote
CISIS
2010
IEEE
15 years 12 months ago
2010
IEEE
- The shared data programming model is an attractive grid programming alternative to message passing solutions. This paper addresses type related improvements to a shared data grid...
161
click to vote
ESOP
1999
Springer
15 years 11 months ago
1999
Springer
MetaML is a multi-stage functional programming language featuring three constructs that can be viewed as statically-typed refinements of the back-quote, comma, and eval of Scheme....
183
click to vote
ESORICS
2009
Springer
15 years 10 months ago
2009
Springer
Noninterference requires that public outputs of a program must be completely independent from secrets. While this ensures that secrets cannot be leaked, it is too restrictive for m...
193
click to vote
DBPL
1991
Springer
15 years 10 months ago
1991
Springer
We propose a programming paradigm that tries to get close to both the semantic simplicity of relational algebra, and the expressive power of unrestricted programming languages. It...