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

Salwicki, A.

 
9783540119814: Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980: 148
Brossura
ISBN 10: 3540119817 ISBN 13: 9783540119814
Casa editrice: Springer, 2008

Sinossi

Logiche dei programmi e loro applicazioni: Atti, Poznan, 23-29 agosto 1980 Logiche dei programmi e loro applicazioni: Atti, Poznan, 23-29 agosto 1980

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2008
Lingua
Inglese
ISBN 10 
3540119817
ISBN 13 
9783540119814
Rilegatura
Copertina flessibile
Numero di pagine
336
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  0387119817 ISBN 13:  9780387119816
Brossura