"A Fast Verified Liveness Analysis in SSA Form"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Register allocation for programs in SSA form	Sebastian Hack	2006	Univ.-Verl. Karlsruhe
Liveness: Performance in a Mediatized Culture	Philip Auslander; Philip Auslander	2008	Routledge
Liveness: performance in a mediatized culture	Philip Auslander	1999	Routledge
Liveness and recording in the media	Andrew Crisell	2012	Palgrave Macmillan
Analysis of time series structure: SSA and related techniques /	Golyandina, Nina.; Nekrutkin, V. V.; Zhigli︠a︡vskiĭ, A. A.	©2001.	Chapman & Hall/CRC,
SSA annual report	United States. Social Security Administration	1967	Social Security Administration.
Tiimipelaajat tiimityo ssa	Glenn M. Parker	1994	Rastor
Character analysis in condensed form	Ona Marie Rasher	1919	Pohl printing co.
Experiencing Liveness in Contemporary Performance: Interdisciplinary Perspectives	Matthew Reason; Anja Mølle Lindelof	2016	Routledge
FM8501: A Verified Microprocessor	Warren A. Jr. Hunt	1994	Springer Berlin Heidelberg
Drei hebräische knabenchöre: a cappella (SSA) /	Ullmann, Viktor.	c2010.	Schott,
Form and analysis theory: a bibliography	James E. Perone	1998	Greenwood Press
Verified Functional Programming in Agda	Aaron Stump	2016	ACM / Morgan & Claypool
Pa a ssa tuulee ja ajatuksia sataa	Jukka Parkkinen; Markku Haapio	1992	WSOY
Form-Oriented Analysis: A New Methodology to Model Form-Based Applications	Dirk Draheim; Gerald Weber	2005	Springer Berlin Heidelberg
Pandemic Performance: Resilience, Liveness, and Protest in Quarantine Times	Kendra Claire Capece; Patrick Scorese	2021	Routledge
Musical form: studies in analysis and synthesis	Ellis B. Kohs	1976	Houghton Mifflin
Towards Verified Systems	Jonathan Bowen	1994	Elsevier
The Bible verified.	Andrew W. Archibald	1890	Presbyterian board of publication and Sabbath-school work
The Bible verified.	Andrew W. Archibald	1890	Presbyterian board of publication and Sabbath-school work
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
A Fast Verified Liveness Analysis in SSA Form	Jean-Christophe Léchenet; Sandrine Blazy; David Pichardie	Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II	Nicolas Peltier; Viorica Sofronie-Stokkermans	1st ed. 2020	Springer International Publishing
A Formally Verified SSA-Based Middle-End	Gilles Barthe; Delphine Demange; David Pichardie	Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings	Helmut Seidl	2012	Springer Berlin Heidelberg
147 SSA Form		Crafting A Compiler	Fischer, Charles N; Cytron, Ron; Jr, Richard J LeBlanc	2009	Addison Wesley Longman
Liveness analysis		Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation	Anne Mulkers	1993	Springer Berlin Heidelberg
Liveness Analysis		The Implementation of Icon and Unicon	Ralph and Madge T. Griswold, Kenneth W. Walker, Clinton L. Jeffery, Michael D. Wilder, Anthony T. Jones, Jafar Al Gharaibeh	2019	Idaho University
RSSA: A Reversible SSA Form	Torben Ægidius Mogensen	Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers	Manuel Mazzara; Andrei Voronkov	1st ed. 2016	Springer International Publishing
If-Conversion in SSA Form	Arthur Stoutchinin; Guang Gao	Euro-Par 2004 Parallel Processing: 10th International Euro-Par Conference, Pisa, Italy, August 31-September 3, 2004, Proceedings	Marco Danelutto; Marco Vanneschi; Domenico Laforenza	2004	Springer Berlin Heidelberg
Fast Verified BCD Subtyping	Jan Bessai; Jakob Rehof; Boris Düdder	Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday	Tiziana Margaria; Susanne Graf; Kim G. Larsen	1st ed. 2019	Springer International Publishing
10 - Liveness Analysis		Modern Compiler Implementation in C	Andrew W. Appel; Maia Ginsburg	1997-12	Cambridge University Press
10 - Liveness Analysis		Modern Compiler Implementation in Java	Andrew W. Appel; Jens Palsberg	2002-10	Cambridge University Press
10 - Liveness Analysis		Modern Compiler Implementation in ML	Andrew W. Appel	1997-12	Cambridge University Press
10 Liveness Analysis		Modern Compiler Implementation in C	Andrew W. Appel, Maia Ginsburg	1998	Cambridge University Press
5. Liveness Analysis		Live data structures in logic programs: derivation by means of abstract interpretation /	Mulkers, Anne,	[1993], ©1993.	Springer-Verlag,
Verified lexical analysis	Tobias Nipkow	Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs' 98, Canberra, Australia, September 27 - October 1, 1998, Proceedings	Jim Grundy; Malcolm Newey	1998	Springer Berlin Heidelberg
Using the SSA-Form in a Code Generator	Benoît Dupont de Dinechin	Compiler Construction: 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings	Albert Cohen	2014	Springer Berlin Heidelberg
A Formally-Verified Alias Analysis	Valentin Robert; Xavier Leroy	Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings	Chris Hawblitzel; Dale Miller	2012	Springer Berlin Heidelberg
Tainted Flow Analysis on e-SSA-Form Programs	Andrei Rimsa; Marcelo d’Amorim; Fernando Magno Quintão Pereira	Compiler Construction: 20th International Conference, CC 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings	Jens Knoop	2011	Springer Berlin Heidelberg
191 Converting to SSA form		Modern Compiler Implementation in C	Andrew W. Appel, Maia Ginsburg	1998	Cambridge University Press
A fast algorithm for ground normal form analysis	Reinhard Bündgen; Hasko Eckhardt	Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings	Helene Kirchner; Giorgio Levi	1992	Springer Berlin Heidelberg
Register Allocation for Programs in SSA-Form	Sebastian Hack; Daniel Grund; Gerhard Goos	Compiler Construction: 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings	Alan Mycroft; Andreas Zeller	2006	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"A Fast Verified Liveness Analysis in SSA Form" - similar Books and Chapters