Sciweavers

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

9

APSEC
2001
IEEE

favoriteEmaildiscussreport

115views Software Engineering» more APSEC 2001»

Compilation of Specifications

13 years 7 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)