Compiler Optimization Correctness by Temporal Logic

ISSN： 1388-3690

Source： LISP and Symbolic Computation, Vol.17, Iss.3, 2004-09, pp. : 173-206

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Algebraic translations, correctness and algebraic compiler construction

By Janssen T.M.V.

Theoretical Computer Science, Vol. 199, Iss. 1, 1998-06 ,pp. : 25-56

Elsevier

Access to resources Recommend Favorite

Interprocedural Compiler Optimization for Partial Run-Time Reconfiguration

By Panainte Elena Bertels Koen Vassiliadis Stamatis

Journal of VLSI Signal Processing, Vol. 43, Iss. 2-3, 2006-06 ,pp. : 161-172

Springer Publishing Company

Access to resources Recommend Favorite

Specific optimization features in a C compiler for DSPs

By Rubanov V. Grinevich A. Markovtsev D.

Programming and Computer Software, Vol. 32, Iss. 1, 2006-01 ,pp. : 19-30

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

A Logic of Temporal Variables

By Stothert A.G. Macleod I.M.

Engineering Applications of Artificial Intelligence, Vol. 8, Iss. 3, 1995-06 ,pp. : 251-260

Elsevier

Access to resources Recommend Favorite

Proving linearizability with temporal logic

By Bäumler Simon

Formal Aspects of Computing, Vol. 23, Iss. 1, 2011-01 ,pp. : 91-112

Springer Publishing Company

Access to resources Recommend Favorite