Towards the Verifying Compiler

Towards the Verifying Compiler

Show other versions (1)

Bibliographic Details
Main Author:	Hoare, C
Format:	Conference item
Published:	Springer 2002

Similar Items

Towards the Verifying Compiler
by: Hoare, C
Published: (2004)

The verified software repository: a step towards the verifying compiler
by: Bicarregui, J, et al.
Published: (2006)

The Verifying Compiler: A Grand Challenge for Computing Research
by: Hoare, C
Published: (2015)

The verifying compiler: A grand challenge for computing research
by: Hoare, C
Published: (2003)

The Verifying Compiler: A Grand Challange for Computing Research
by: Hoare, C
Published: (2003)

The Verifying Compiler: A Grand Challenge for Computing Research
by: Hoare, C
Published: (2003)

The Verifying Compiler: A Grand Challenge for Computing Research
by: Hoare, C
Published: (2003)

The Verifying Compiler: A Grand Challenge for Computing Research
by: Hoare, C
Published: (2003)

The Verifying Compiler‚ a Grand Challenge for Computing Research
by: Hoare, C
Published: (2005)

Verified compilation of abstract network policies
by: Katz, Theodore(Theodore Robert)
Published: (2019)

A Verified Compiler for a Functional Tensor Language
by: Liu, Amanda, et al.
Published: (2024)

Compiling Statemate Statecharts into CSP and verifying them using FDR
by: Roscoe, A
Published: (2003)

Verifiable compilation of I/O automata without global synchronization
by: Tauber, Joshua A. (Joshua Allen)
Published: (2006)

The Ideal of Verified Software
by: Hoare, T
Published: (2006)

The ideal of verified software
by: Hoare, T
Published: (2006)

CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
by: Kuepper, Joel, et al.
Published: (2023)

Single Pass Compilation. PL/I
by: Hoare, C
Published: (1966)

Verified Software: Theories‚ Tools‚ Experiments
by: Hoare, T
Published: (2008)

Towards the ’Verified Verifier’. Theory and Practice
by: D. A. Kondratyev, et al.
Published: (2014-12-01)

F@BOOL@: experiment with a simple verifying compiler based on SAT-solvers
by: N. V. Shilov
Published: (2010-12-01)

Normal Form Approach to Compiler Design
by: Hoare, C, et al.
Published: (1993)

The verified software initiative: A manifesto
by: Hoare, C, et al.
Published: (2009)

Towards a liquid compiler
by: Davis, Stephen Brooks
Published: (2006)

Verified Software: Theories‚ Tools‚ Experiments Vision of a Grand Challenge Project
by: Hoare, T, et al.
Published: (2005)

Towards Neural Routing with Verified Bounds on Performance
by: Igor Petrovich Buzhinsky, et al.
Published: (2022-09-01)

Toward formally verifying congestion control behavior
by: Arun, Venkat, et al.
Published: (2022)

Verify /
by: Hoover, Colleen, author 595716
Published: (Ligh)

A compiler compiler and methodology for problem oriented language compiler implementors /
by: 459855 Evans, R. V., et al.

Towards verifiable and safe model-free reinforcement learning
by: Hasanbeig, M, et al.
Published: (2020)

Towards a Cryptographically Verifiable Database Management System
by: Xia, Yu
Published: (2023)

Towards verifiable adaptive control for safety critical applications
by: Schwager, Mac
Published: (2006)

Compiler-compiler for an eight bit microprocessor
by: Kasmiran Jumari,, et al.
Published: (1991)

Integration of PLC compiler with basic compiler /
by: 426376 Mohd. Shahrul Ahmad Sabri, et al.
Published: (2007)

Credible Compilers
by: Rinard, Martin C.
Published: (2023)

Credible Compilation *
by: Rinard, Martin C.
Published: (2003)

Towards enhancing the compilation of Al-Hadith text in Malay
by: Bimba, A., et al.
Published: (2015)

Compilations
by: Cecilia Brasvlasky
Published: (2018-10-01)

Towards Verifying Parametrised Hardware Libraries with Relative Placement Information
by: McKeever, S, et al.
Published: (2003)

Toward Formal Models and Languages for Verifiable Multi-Robot Systems
by: Rocco De Nicola, et al.
Published: (2018-09-01)

Towards Verifying Safety Properties of Real-Time Probabilistic Systems
by: Fenglin Han, et al.
Published: (2014-04-01)