Sciweavers

5096 search results - page 322 / 1020
» Associations as a Language Construct
Sort
View
176
Voted
ANLP
1997
122views more  ANLP 1997»
15 years 8 months ago
Logos Machine Translation System
rietary Semantico-Syntactic Abstraction Language (SAL) the parser is able to achieve better results than syntactic analysis alone would allow. This comprehensive analysis permits t...
202
Voted
ENTCS
2006
136views more  ENTCS 2006»
15 years 7 months ago
A "Hardware Compiler" Semantics for Handel-C
We present a denotational semantics for the hardware compilation language Handel-C that maps language constructs to a set of equations, which describe the structure of the resulti...
Andrew Butterfield, Jim Woodcock
194
Voted
ENTCS
2007
96views more  ENTCS 2007»
15 years 7 months ago
Cryptographic Pattern Matching
We construct a language extension for process calculi for modelling the exchange of cryptographically composed data. More specifically, we devise a succinct syntax for terms and ...
Christoffer Rosenkilde Nielsen, Flemming Nielson, ...
192
Voted
CONCUR
2009
Springer
16 years 2 months ago
Flow Policy Awareness for Distributed Mobile Code
Several programming constructs have recently been proposed with the purpose of enabling the programmer to encode declassifying information flows within a program that complies wi...
Ana Almeida Matos
236
Voted
DOOD
1991
Springer
107views Database» more  DOOD 1991»
15 years 11 months ago
Non-Determinism in Deductive Databases
This paper examines the problem of adding non-deterministic constructs to a declarative database language based on Horn Clause Logic. We revise a previously proposed approach, the...
Fosca Giannotti, Dino Pedreschi, Domenico Sacc&agr...