Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

18

APSEC
2001
IEEE

favoriteEmaildiscussreport

115views Software Engineering» more APSEC 2001»

Compilation of Specifications

13 years 10 months ago

Compilation of Specifications

Download sky.fit.qut.edu.au

Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniques and tools involved are highly complex and unfamiliar to most programmers. We present a formal basis for extending a tool already used by software developers, the program compiler, to undertake much of the task automatically. This is done by devising a code generation strategy, based on program refinement theory, capable of translating specification constructs embedded in programs into executable code, without the need for programmer intervention. Keywords and phrases: Formal methods; Software engineering; Programming tools.

Colin J. Fidge

Real-time Traffic

APSEC 2001 | Code Generation Strategy | Formal Basis | Program Refinement Theory | Software Engineering |

claim paper

Related Content

» Executing Verified Compiler Specification

» From Relational Specifications to Logic Programs

» Compiling problem specifications into SAT

» Challenges in the compilation of a domain specific language for dynamic programming

» Separate Compilation of Polychronous Specifications

» Compiling Declarative Specifications of Parsing Algorithms

» Generation of Indexes for Compiling Efficient Parsers from Formal Specifications

» Hybridthreads Compiler Generation of Application Specific Hardware Thread Cores from C

» Correct Compilation of Specifications to Deterministic Asynchronous Circuits

Post Info
More Details (n/a)

Added	23 Aug 2010
Updated	23 Aug 2010
Type	Conference
Year	2001
Where	APSEC
Authors	Colin J. Fidge

Comments (0)