Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 by A. SalwickiLogics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 by A. Salwicki

Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980

EditorA. Salwicki

Paperback | January 1, 1983

Pricing and Purchase Info

$48.04 online 
$51.95 list price save 7%
Earn 240 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980Format:PaperbackDimensions:336 pages, 9.25 × 6.1 × 0.01 inPublished:January 1, 1983Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540119817

ISBN - 13:9783540119814

Look for similar items by category:

Reviews

Table of Contents

Sharpening the characterization of the power of Floyd method.- On proving program correctness by means of stepwise refinement method.- Semantics and implementation of prefixing at many levels.- Nonstandard models in Propositional Dynamic Logic.- On priorities of parallelism: Petri nets under the maximum firing strategy.- On four logics of programs and complexity of their satisfiability problems : Extended abstract.- Are infinite behaviours of parallel system schemata necessary?.- Algorithmic properties of finitely generated structures.- Algebraic semantics and program logics: Algorithmic logic for program trees.- Some model-theoretical properties of logic for programs with random control.- A formal system for parallel programs in discrete time and space.- On the propositional algorithmic theory of arithmetic.- Nonstandard runs of Floyd-provable programs.- On some extensions of dynamic logic.- On algorithmic logic with partial operations.- Towards a theory of parallelism and communications for increasing efficiency in applicative languages.- An operational semantics for CSP.- Programming languages and logics of programs.- Concurrent programs.- Axiomatic approach to the system of files.- A sequent calculus for Kröger logic.- On axiomatization of process logic.- Filtration theorem for dynamic algebras with tests and inverse operator.