Sciweavers

5096 search results - page 322 / 1020
» Associations as a Language Construct
Sort
View
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...
187
Voted
ENTCS
2006
136views more  ENTCS 2006»
15 years 6 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
ENTCS
2007
96views more  ENTCS 2007»
15 years 6 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, ...
CONCUR
2009
Springer
16 years 1 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
DOOD
1991
Springer
107views Database» more  DOOD 1991»
15 years 10 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...