2000 search results - page 116 / 400 » Program Transformation and Proof Transformation |
135
Voted
ESORICS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Cryptographic protocols are useful for engineering trust in transactions. There are several languages for describing these protocols, but these tend to capture the commun...
217
Voted
POPL
2009
ACM
16 years 4 months ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...
141
Voted
AGP
1997
IEEE
15 years 7 months ago
1997
IEEE
Abstract. Functional logic languages with a complete operational semantics are based on narrowing, a generalization of term rewriting where unification replaces matching. In this ...
118
click to vote
ACTA
2007
15 years 3 months ago
2007
XSLT is a standard rule-based programming language for expressing transformations of XML data. The language is currently in tran
141
click to vote
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
Parallel programming continues to be difficult, despite substantial and ongoing research aimed at making it tractable. Especially dismaying is the gulf between theory and the pract...