6201 search results - page 377 / 1241 » Implementation of Axiomatic Language |
167
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The paper presents a novel technique to create implementations of the basic primitives used in symbolic program analysis: forward symbolic evaluation, weakest liberal pre...
147
click to vote
OTM
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Although cryptographic implementation tasks are often undertaken by expert programmers, a plethora of performance and security driven options, as well as more mundane sof...
180
click to vote
SAC
2006
ACM
16 years 24 days ago
2006
ACM
This paper describes the design and implementation of a scheme for hiding information in translated natural language text, and presents experimental results using the implemented ...
173
click to vote
EEE
2005
IEEE
16 years 14 days ago
2005
IEEE
A company doing e-business needs capabilities to negotiate electronically the parameters of its deals in order to fully utilize the potential of the Information and Communication ...
274
click to vote
WCFLP
2005
ACM
16 years 12 days ago
2005
ACM
In this paper we present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the implementation ...