718 search results - page 24 / 144 » Extraction of Structured Programs from Specification Proofs |
110
Voted
ASPDAC
2008
ACM
15 years 3 months ago
2008
ACM
—In this paper we describe a practical methodology to formally verify highly optimized, industrial multipliers. We a multiplier description language which abstracts from low-leve...
127
Voted
ENTCS
2006
15 years 2 months ago
2006
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
143
click to vote
SCP
2010
14 years 9 months ago
2010
Current software development often relies on non trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such ...
104
click to vote
AMAST
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper shows how systems can be built from their component parts with specified sharing. Its principle contribution is a modular language for configuring systems. A c...
120
Voted
EUROCAST
2007
Springer
15 years 6 months ago
2007
Springer
abstract Parsing schemata [4] provide a formal, simple and uniform way to describe, analyze and compare different parsing algorithms. The notion of a parsing schema comes from cons...