(Q113668197)

English

Automatically Proving the Correctness of Program Analyses and Transformations

doctoral thesis by http://www.wikidata.org/entity/Q102243271, Computer Science & Engineering, University of Washington, 2006

In more languages

edit

Statements

1 reference

31 August 2022

2006

1 reference

31 August 2022

Automatically Proving the Correctness of Program Analyses and Transformations (English)

1 reference

31 August 2022

1 reference

31 August 2022

dissertation submitted to

University of Washington

dissertation program

University of Washington Paul G. Allen School of Computer Science & Engineering

1 reference

stated in

WorldCat

retrieved

31 August 2022

language of work or name

1 reference

31 August 2022

185 page

1 reference

stated in

WorldCat

retrieved

31 August 2022

7 Roman-numbered page

1 reference

stated in

WorldCat

retrieved

31 August 2022

full work available at URL

http://hdl.handle.net/1773/7001

1 reference

stated in

WorldCat

retrieved

31 August 2022

on focus list of Wikimedia project

WikiProject PCC Wikidata Pilot/University of Washington

0 references

Identifiers

1 reference

31 August 2022

1 reference

31 August 2022

(Q113668197)

Automatically Proving the Correctness of Program Analyses and Transformations

Statements

Identifiers

Sitelinks

Wikipedia(0 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)