Automatic translation of VDM specifications into standard ML programs

Automatic translation of VDM specifications into standard ML programs

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	O'Neill, G. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Teddington, Middlesex 1992
Schriftenreihe:	National Physical Laboratory <Teddington>: [NPL report / DITC] 196
Schlagworte:	Computer software Metrology Measurement
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Multiple values in Standard ML
von: Mitchell, Kevin
Veröffentlicht: (1994)

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

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

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

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)

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

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

Specification directed module testing
von: Hayes, Ian
Veröffentlicht: (1985)

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

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

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

General techniques for automatic program optimization and synthesis through theorem proving
von: Madden, Peter, et al.
Veröffentlicht: (1993)

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

A language of specified programs
von: Tarlecki, Andrzej
Veröffentlicht: (1983)

Specification of computer architectures a survey and annotated bibliography
von: Leonard, Timothy E. Leonard
Veröffentlicht: (1990)

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

Proof plans and automatic theorem proving with hints
von: Negrete, Santiago
Veröffentlicht: (1993)

Specification for ground treatment
Veröffentlicht: (1987)

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

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

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

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)

The specification and verification of sliding window protocols in higher order logic
von: Cardell-Oliver, Rachel
Veröffentlicht: (1989)

Discourse modelling for automatic summarising
von: Sparck Jones, Karen 1935-2007
Veröffentlicht: (1993)

Using middle-out reasoning to transform naïve programs into tail-recursive ones
von: Hesketh, Jane, et al.
Veröffentlicht: (1990)

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

Simple translation-invariant concepts are hard to learn
von: Jerrum, Mark 1955-
Veröffentlicht: (1991)

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

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

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

Deciding equivalences in simple process algebras
von: Hirshfeld, Yoram
Veröffentlicht: (1994)

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

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

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

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

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

Generating and counting Hamilton cycles in random regular graphs
Veröffentlicht: (1994)