ZIB

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Electronic Resource

A typed logic of partial functions reconstructed classically (1994)

Jones, C. B. ; Middelburg, C. A.

Springer

Acta informatica 31 (1994), S. 399-430

add to mindlist on the mindlist

Details

ISSN: 1432-0525

Source: Springer Online Journal Archives 1860-2000

Topics: Computer Science

Notes: Abstract This paper gives a comprehensive description of a typed version of the logic known as LPF. This logic is basic to formal specification and verified design in the software development method VDM. If appropriately extended to deal with recursively defined functions, the data types used in VDM, etc., it gives the VDM notation and its associated rules of reasoning. The paper provides an overview of the needed extensions and examines some of them in detail. It is shown how this nonclassical logic-and the extensions-can be reconstructed classically by embeddings into classical infinitary logic.

Type of Medium: Electronic Resource

URL: http://dx.doi.org/10.1007/BF01178666

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Paper (German National Licenses)

Fulltext

hit 1 - 1 | 1 hit