Using static analysis to derive imperative code from Alpha

Patrice Quinton; Sanjay Rajopadhye; Doran K. Wilde

inria-00074386, version 1

Using static analysis to derive imperative code from Alpha

Patrice Quinton ()^a^, 1, Sanjay Rajopadhye ¹, Doran K. Wilde ¹

N° RR-2286 (1994)

Abstract: Disponible dans les fichiers attachés à ce document

a – CNRS
1: API (INRIA - IRISA)
CNRS : UMR6074 – INRIA – Institut National des Sciences Appliquées (INSA) - Rennes – Université de Rennes 1

inria-00074386, version 1
http://hal.inria.fr/inria-00074386
oai:hal.inria.fr:inria-00074386
From: Rapport De Recherche Inria <>
Submitted on: Wednesday, 24 May 2006 15:12:00
Updated on: Thursday, 21 December 2006 14:17:00

See detailed view

Associated documents

PS :

PDF :

Export

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="report"><head>Research reports</head>
<biblStruct type="report" xml:id="inria-00074386"><monogr>
<author><persName><forename>Patrice</forename><surname>Quinton</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA - IRISA</orgName>
<orgName type="team">API</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR6074</orgName>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Institut National des Sciences Appliquées (INSA) - Rennes</orgName>
<orgName type="institution">Université de Rennes 1</orgName>
</affiliation>
</author>
<author><persName><forename>Sanjay</forename><surname>Rajopadhye</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA - IRISA</orgName>
<orgName type="team">API</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR6074</orgName>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Institut National des Sciences Appliquées (INSA) - Rennes</orgName>
<orgName type="institution">Université de Rennes 1</orgName>
</affiliation>
</author>
<author><persName><forename>Doran</forename><surname>Wilde</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA - IRISA</orgName>
<orgName type="team">API</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR6074</orgName>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Institut National des Sciences Appliquées (INSA) - Rennes</orgName>
<orgName type="institution">Université de Rennes 1</orgName>
</affiliation>
</author>
<title type="main" level="m">Using static analysis to derive imperative code from Alpha</title><title type="main" level="m">Using static analysis to derive imperative code from Alpha</title><imprint><biblScope type="publicationDate">1994-00-00</biblScope></imprint></monogr><idno type="HALid">http://hal.inria.fr/inria-00074386</idno><idno type="HALFile">http://hal.inria.fr/inria-00074386/PDF/RR-2286.pdf</idno></biblStruct>
</listBibl>
</listBibl>