Cover Image

Piton : a mechanically verified assembly-level language /

This book describes the specification and proof of a compiler for a realistically complicated assembly-level language. The book defines the state of the art in machine check proofs of software. Piton is a simple assembly-level programming language for a microprocessor called the FM9001 described at...

Full description

Bibliographic Details
Main Author:	Moore, J Strother, 1947-
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Dordrecht ; Boston : Kluwer Academic Publishers, [1996]
Series:	Automated reasoning series ; v. 3.
Subjects:	Piton (Computer program language) Assembly languages (Electronic computers) FM9001 (Microprocessor) > Programming. COMPUTERS > Programming > Apple Programming. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Major microprocessors : a unified approach using CALM /
by: Nicoud, Jean-Daniel
Published: (1987)

Raspberry Pi Pico DIY Workshop : Build Exciting Projects in Home Automation, Personal Health, Gardening, and Citizen Science /
by: Yamanoor, Sai
Published: (2022)

Introduction to assembly language programming : from 8086 to Pentium processors /
by: Dandamudi, Sivarama P., 1955-
Published: (1998)

RP2040 assembly language programming : ARM Cortex-M0+ on the Raspberry Pi Pico /
by: Smith, Stephen
Published: (2022)

Microcomputer assembly language programming /
by: Elfring, Gary
Published: (1984)

Learn to program with Assembly : foundational learning for new programmers /
by: Bartlett, Jonathan, 1977-
Published: (2021)

The Bugbook VIII : 8080/8085 software design, with 190 software solutions /
by: Titus, Christopher A., 1950-
Published: (1978)

An introduction to assembly language programming for the 8086 family : a self-teaching guide /
by: Skinner, Thomas, 1934-
Published: (1985)

6809 assembly language programming /
by: Leventhal, Lance A., 1945-
Published: (1981)

The laboratory microcomputer : programming in Pascal and MC68000 assembly language on the IBM system 9000 /
by: Cooper, James William, 1943-
Published: (1984)

8080/8085 assembly language programming /
by: Fernandez, Judi N., 1941-
Published: (1981)

Z80 assembly language subroutines /
by: Leventhal, Lance A., 1945-
Published: (1983)

Z-80 assembler for CP/M /
by: King, Gordon, 1925-
Published: (1984)

Guide to RISC processors : for programmers and engineers /
by: Dandamudi, Sivarama P., 1955-
Published: (2005)

8080 programming for logic design /
by: Osborne, Adam
Published: (1976)

System programming under CP/M-80 /
by: Hughes, Lawrence E.
Published: (1983)

Apple Roots : assembly language programming for the Apple IIe & IIc /
by: Andrews, Mark
Published: (1986)

FM8501, a verified microprocessor /
by: Hunt, Warren A., 1958-
Published: (1994)

Assembly language programming for the Apple II /
by: Mottola, Robert
Published: (1982)

Apple IIGS assembly language programming /
by: Scanlon, Leo J.
Published: (1987)

CP/M-86 assembly language programming /
by: Lindsay, Jon, 1938-
Published: (1986)

Tiny assembler 6800, version 3.1 : design and implementation of a microprocessor self assembler /
by: Emmerichs, Jack
Published: (1978)

Some assembly required : assembly language programming with the AVR microcontroller /
by: Margush, Timothy S.
Published: (2012)

8087 applications and programming for the IBM PC, XT, and AT /
by: Startz, Richard, 1952-
Published: (1985)

The 80x86 IBM PC and compatible computers, volumes I & II : assembly language, design, and interfacing /
by: Mazidi, Muhammad Ali
Published: (2000)

Hi-res graphics and animation using assembly language : the guide for Apple II programmers /
by: Malkin, Leonard I.
Published: (1986)

Interpretation and instruction path coprocessing /
by: Debaere, Eddy H.
Published: (1990)

Microprocessors for managers : a decision-maker's guide /
by: Krutz, Ronald L., 1938-
Published: (1983)

The art of assembly language /
by: Hyde, Randall
Published: (2003)

The art of assembly language /
by: Hyde, Randall
Published: (2010)

Assimilate SQL.
Published: (2022)

Programming 101 : learn to code with the Processing language using a visual approach /
by: Meyer, Jeanine
Published: (2022)

A rapid-approximation floating-point mathematics package for the INTEL 8080 microprocessor /
by: Cariker, Earnest Allan, 1950-
Published: (1981)

Assembly language basics : an annotated program book /
by: Dodes, Irving Allen
Published: (1975)

Block programming in O/S-360 assembly code /
by: Balzer, R. M.
Published: (1968)

The art of assembly language programming using PIC technology : core fundamentals /
by: Schousek, Theresa
Published: (2018)

Programming languages : build, prove, and compare /
by: Ramsey, Norman, 1962-
Published: (2023)

Programming 16-bit PIC microcontrollers in C : learning to fly the PIC 24 /
by: Di Jasio, Lucio
Published: (2012)

Apple machine language for beginners /
by: Mansfield, Richard, 1945-
Published: (1985)

Java schnelleinstieg : Programmieren lernen in 14 Tagen, einfach und ohne Vorkenntnisse /
by: Braun, Daniel
Published: (2022)