Program logics for certified compilers /

Program analysis and compilation, theory and practice : essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday /
Published: (2007)

The logic of programming /
by: Hehner, Eric C. R.
Published: (1984)

Logic programming /
Published: (1982)

Certified programs and proofs : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings /
Published: (2011)

Temporal logic of programs /
by: Kröger, Fred, 1945-
Published: (1987)

Introduction to logic programming /
by: Hogger, Christopher John
Published: (1984)

The logical basis for computer programming /
by: Manna, Zohar
Published: (1985)

Executing temporal logic programs /
by: Moszkowski, B. C.
Published: (1986)

Modern compiler implementation in Java /
by: Appel, Andrew W., 1960-
Published: (2002)

Modern compiler implementation in Java /
by: Appel, Andrew W., 1960-
Published: (1998)

Modern compiler implementation in ML /
by: Appel, Andrew W., 1960-
Published: (1998)

Modern compiler implementation in C /
by: Appel, Andrew W., 1960-
Published: (1998)

Reachability problems : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings /
Published: (2011)

Temporal logic : mathematical foundations and computational aspects /
by: Gabbay, Dov M., 1945-
Published: (1994)

Foundations of logic programming /
by: Lloyd, J. W. (John Wylie), 1947-
Published: (1984)

Logic and specification : extending VDM-SL for advanced formal specification /
by: Middelburg, Cornelis A.
Published: (1993)

The Austin protocol compiler /
by: McGuire, Tommy M.
Published: (2005)

Engineering a compiler /
by: Cooper, Keith, active 1976
Published: (2012)

Temporal logics and their applications /
Published: (1987)

Logics of programs : Brooklyn, June 17-19, 1985 : proceedings /
Published: (1985)

Compiling with continuations /
by: Appel, Andrew W., 1960-
Published: (1992)

Compiler construction : an advanced course. /
Published: (1974)

Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11 - 14 ; proceedings /
Published: (1994)

Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings /
Published: (1994)

Compiler compilers : Third International Workshop CC '90, Schwerin, FRG, October 22-24, 1990 : proceedings /
Published: (1991)

Principles of logic and logic programming /
by: Metakides, George, 1945-
Published: (1996)

Meta-logics and logic programming /
Published: (1995)

Principles of logic and logic programming /
by: Metakides, George, 1945-
Published: (1996)

Engineering a compiler /
by: Cooper, Keith D. (Keith Daniel), et al.
Published: (2023)

A programming logic : with an introduction to the PL/CV verifier /
by: Constable, R. L. (Robert L.)
Published: (1978)

Programming logics : an introduction to verification and semantics /
by: Gumb, Raymond D.
Published: (1989)

Practical UVM : step by step with IEEE 1800.2 /
by: Vasudevan, Srivatsa
Published: (2020)

Parallel programming and compilers /
by: Polychronopoulos, C. D. (Constantine D.)
Published: (1988)

Algebraic foundations in computer science : essays dedicated to Symeon Bozapalidis on the occasion of his retirement /
Published: (2011)

Logic of domains /
by: Zhang, Guo-Qiang, 1960-
Published: (1991)

Logic and structured design for computer programmers /
by: Rood, Harold J.
Published: (2001)