Validation code for the Whetstone benchmark

Validation code for the Whetstone benchmark

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Wichmann, Brian A. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Teddington, Middlesex 1988
Schriftenreihe:	National Physical Laboratory <Teddington>: [NPL report / DITC] 107
Schlagworte:	Computer software
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Low-Ada, an Ada validation tool
von: Wichmann, Brian A.
Veröffentlicht: (1989)

A proposal for a feasibility study on the design of software interfaces in large systems
von: Wichmann, Brian A., et al.
Veröffentlicht: (1987)

Appraisal of Prototype Pascal Program Validation Suite
von: Lawrence, Andy R.
Veröffentlicht: (1988)

Middle-out reasoning for logic program synthesis
von: Kraan, Ina, et al.
Veröffentlicht: (1993)

Fail-controlled computer architectures for distributed systems
Veröffentlicht: (1991)

A query-the user facility for logic programming
von: Sergot, Marek
Veröffentlicht: (1982)

Action structures for the pi-calculus
von: Milner, Robin 1934-2010
Veröffentlicht: (1993)

Guidelines for the design of large modular scientific libraries in Ada interim report
Veröffentlicht: (1982)

Algebraic laws for nondeterminism and concurrency
von: Hennessy, Matthew, et al.
Veröffentlicht: (1983)

A proposal for standard basic functions in Ada
von: Kok, J., et al.
Veröffentlicht: (1984)

A dependency, commitment and recovery model for atomic actions
von: Shrivastava, Santosh K.
Veröffentlicht: (1982)

A framework for program development based on schematic proof
Veröffentlicht: (1993)

An effective tableau system for the linear time mu calculus
von: Bradfield, Julian 1964-, et al.
Veröffentlicht: (1995)

Complete modal theories for verifying communicating agents behaviour in recursive equations programs
von: Pettorossi, Alberto 1947-, et al.
Veröffentlicht: (1983)

Algebraic theories for name-passing calculi
von: Parrow, Joachim, et al.
Veröffentlicht: (1993)

Towards a domain theory for termination proofs
von: Kahrs, SStefan
Veröffentlicht: (1995)

High undecidability of weak bisimilarity for Petri nets
von: Jančar, Petr
Veröffentlicht: (1994)

Linear algebra support modules for approximation and other software
von: Cox, Maurice G.
Veröffentlicht: (1989)

Improved approximation algorithms for MAX k-CUT and MAX BISECTION
von: Frieze, Alan 1945-, et al.
Veröffentlicht: (1994)

Modularity in the Pascal Model Compiler
von: O'Neill, G., et al.
Veröffentlicht: (1988)

Software monitoring of Unix systems
von: Montasar-Kohsari, Afzal, et al.
Veröffentlicht: (1986)

Some experiences of testing protocol implementations
von: Pavel, J. R., et al.
Veröffentlicht: (1984)

Software monitoring of UNIX systems
von: Montasar-Kohsari, Afzal, et al.
Veröffentlicht: (1986)

Abstract Prolog machine a specification
von: MacCabe, F. G.
Veröffentlicht: (1983)

Logic program synthesis via proof planning
von: Kraan, Ina, et al.
Veröffentlicht: (1992)

Deciding whether a planar graph has a cubic subgraph is NP-complete
von: Stewart, Iain A.
Veröffentlicht: (1991)

A formal interpretation of the MAA standard in Z
von: Lai, M. K. F.
Veröffentlicht: (1991)

VDM specification of the MD4 message digest algorithm
von: Harry, Andrew
Veröffentlicht: (1992)

Using the Modula-2 standard to verify Modula-2 programs
von: Lai, M. K. F.
Veröffentlicht: (1991)

Automatic translation of VDM specifications into standard ML programs
von: O'Neill, G.
Veröffentlicht: (1992)

Rippling on relational structures
von: Lombart, Vincent, et al.
Veröffentlicht: (1994)

A formal, hierarchical design and validation methodology for VLSI
von: Davie, Bruce S.
Veröffentlicht: (1988)

On the bisimulation proof method
von: Sangiorgi, Davide
Veröffentlicht: (1994)

Trapping mutual exclusion in the box calculus
von: Esspaarza, Javier, et al.
Veröffentlicht: (1994)

A mechanized theory of the pi-calculus in HOL
von: Melham, Thomas F.
Veröffentlicht: (1992)

Relational semantics of concurrent programs (with some applications)
von: Best, Eike 1951-
Veröffentlicht: (1982)

A rigorous approach to fault-tolerant system development
von: Cristian, Flaviu 1951-
Veröffentlicht: (1983)

Can design faults be tolerated?
von: Anderson, Thomas
Veröffentlicht: (1985)

Improving CMM software quality
von: Cox, Maurice G.
Veröffentlicht: (1992)

A comparison of some parallel Fortran dialects
von: Brocklehurst, E. R., et al.
Veröffentlicht: (1991)