9370 search results - page 117 / 1874 » An Abstract Notion of Application |
AGP
1997
IEEE
15 years 5 months ago
1997
IEEE
We present the rational construction of a generic domain for structural analysis anguages: Pattern(D ), where the parameter D is an abstract domain satisfying certain properties. ...
ENTCS
2007
15 years 21 days ago
2007
We investigate the domain-theoretic denotational semantics of a CPS with fresh name declaration. This is the target of a fully abstract CPS translation from the nu-calculus with ï...
128
Voted
ESORICS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Several generic constructions for transforming one-way functions to asymmetric encryption schemes have been proposed. One-way functions only guarantee the weak secrecy of...
97
Voted
LICS
1994
IEEE
15 years 4 months ago
1994
IEEE
The notion of a bilattice was rst proposed by Ginsberg as a general framework for many applications. This notion was further investigated and applied for various goals by Fitting....
95
Voted
FQAS
2000
Springer
15 years 4 months ago
2000
Springer
This paper focuses on a grammar-based approach to semantic interpretation, which combines the notions of robust and weighted parsing. In restricted domains of application in infor...