Program Construction [electronic resource] : International Summer School /
A more formal treatment of a less simple example -- Stationary behaviour of some ternary networks -- Finding the correctness proof of a concurrent program -- On the interplay between mathematics and programming -- A theorem about odd powers of odd integers -- In honour of Fibonacci -- On the foolishness of "natural language programming" -- Program inversion -- The Schorr-Waite graph marking algorithm -- Eliminating the chaff -- Proofs, programs and their development — The axiomatic approach -- Current ideas in programming methodology -- Basic axiomatic definitions -- The multiple assignment statement -- Is sometimes ever better than always? -- A case study in language design: Euclid -- Proof rules for the programming language Euclid -- Verification of Euclid programs -- Specifications and proofs for abstract data types in concurrent programs -- Specification and verification of a network mail system -- From specification to implementation — The formal approach -- Program development by stepwise transformations — The project CIP -- Systematics of transformation rules -- Special transformation techniques -- A study on transformational semantics -- Detailization and lazy evaluation, infinite objects and pointer representation -- Examples for change of types and object structures -- Development of the Schorr-Waite algorithm -- A derivation-oriented proof of the Schorr-Waite marking algorithm -- Languages as tools — Interactive program construction -- Programing languages for reliable computing systems -- Programming methodology and language implications -- Towards a wide spectrum language to support program specification and program development -- Semantics of nondeterministic and noncontinuous constructs -- Notes on type abstraction -- Some theoretical aspects of program construction.
Main Authors: | , , , , , , , , , , , , , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1979
|
Subjects: | Computer science., Computer programming., Computer Science., Programming Techniques., |
Online Access: | http://dx.doi.org/10.1007/BFb0014649 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
KOHA-OAI-TEST:209253 |
---|---|
record_format |
koha |
spelling |
KOHA-OAI-TEST:2092532018-07-30T23:40:53ZProgram Construction [electronic resource] : International Summer School / Bauer, Friedrich L. editor. Broy, Manfred. editor. Dijkstra, E. W. editor. Gerhart, S. L. editor. Gries, D. editor. Griffiths, M. editor. Guttag, J. V. editor. Horning, J. J. editor. Owicki, S. S. editor. Pair, C. editor. Partsch, H. editor. Pepper, P. editor. Wirsing, M. editor. Wössner, H. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1979.engA more formal treatment of a less simple example -- Stationary behaviour of some ternary networks -- Finding the correctness proof of a concurrent program -- On the interplay between mathematics and programming -- A theorem about odd powers of odd integers -- In honour of Fibonacci -- On the foolishness of "natural language programming" -- Program inversion -- The Schorr-Waite graph marking algorithm -- Eliminating the chaff -- Proofs, programs and their development — The axiomatic approach -- Current ideas in programming methodology -- Basic axiomatic definitions -- The multiple assignment statement -- Is sometimes ever better than always? -- A case study in language design: Euclid -- Proof rules for the programming language Euclid -- Verification of Euclid programs -- Specifications and proofs for abstract data types in concurrent programs -- Specification and verification of a network mail system -- From specification to implementation — The formal approach -- Program development by stepwise transformations — The project CIP -- Systematics of transformation rules -- Special transformation techniques -- A study on transformational semantics -- Detailization and lazy evaluation, infinite objects and pointer representation -- Examples for change of types and object structures -- Development of the Schorr-Waite algorithm -- A derivation-oriented proof of the Schorr-Waite marking algorithm -- Languages as tools — Interactive program construction -- Programing languages for reliable computing systems -- Programming methodology and language implications -- Towards a wide spectrum language to support program specification and program development -- Semantics of nondeterministic and noncontinuous constructs -- Notes on type abstraction -- Some theoretical aspects of program construction.Computer science.Computer programming.Computer Science.Programming Techniques.Springer eBookshttp://dx.doi.org/10.1007/BFb0014649URN:ISBN:9783540353126 |
institution |
COLPOS |
collection |
Koha |
country |
México |
countrycode |
MX |
component |
Bibliográfico |
access |
En linea En linea |
databasecode |
cat-colpos |
tag |
biblioteca |
region |
America del Norte |
libraryname |
Departamento de documentación y biblioteca de COLPOS |
language |
eng |
topic |
Computer science. Computer programming. Computer Science. Programming Techniques. Computer science. Computer programming. Computer Science. Programming Techniques. |
spellingShingle |
Computer science. Computer programming. Computer Science. Programming Techniques. Computer science. Computer programming. Computer Science. Programming Techniques. Bauer, Friedrich L. editor. Broy, Manfred. editor. Dijkstra, E. W. editor. Gerhart, S. L. editor. Gries, D. editor. Griffiths, M. editor. Guttag, J. V. editor. Horning, J. J. editor. Owicki, S. S. editor. Pair, C. editor. Partsch, H. editor. Pepper, P. editor. Wirsing, M. editor. Wössner, H. editor. SpringerLink (Online service) Program Construction [electronic resource] : International Summer School / |
description |
A more formal treatment of a less simple example -- Stationary behaviour of some ternary networks -- Finding the correctness proof of a concurrent program -- On the interplay between mathematics and programming -- A theorem about odd powers of odd integers -- In honour of Fibonacci -- On the foolishness of "natural language programming" -- Program inversion -- The Schorr-Waite graph marking algorithm -- Eliminating the chaff -- Proofs, programs and their development — The axiomatic approach -- Current ideas in programming methodology -- Basic axiomatic definitions -- The multiple assignment statement -- Is sometimes ever better than always? -- A case study in language design: Euclid -- Proof rules for the programming language Euclid -- Verification of Euclid programs -- Specifications and proofs for abstract data types in concurrent programs -- Specification and verification of a network mail system -- From specification to implementation — The formal approach -- Program development by stepwise transformations — The project CIP -- Systematics of transformation rules -- Special transformation techniques -- A study on transformational semantics -- Detailization and lazy evaluation, infinite objects and pointer representation -- Examples for change of types and object structures -- Development of the Schorr-Waite algorithm -- A derivation-oriented proof of the Schorr-Waite marking algorithm -- Languages as tools — Interactive program construction -- Programing languages for reliable computing systems -- Programming methodology and language implications -- Towards a wide spectrum language to support program specification and program development -- Semantics of nondeterministic and noncontinuous constructs -- Notes on type abstraction -- Some theoretical aspects of program construction. |
format |
Texto |
topic_facet |
Computer science. Computer programming. Computer Science. Programming Techniques. |
author |
Bauer, Friedrich L. editor. Broy, Manfred. editor. Dijkstra, E. W. editor. Gerhart, S. L. editor. Gries, D. editor. Griffiths, M. editor. Guttag, J. V. editor. Horning, J. J. editor. Owicki, S. S. editor. Pair, C. editor. Partsch, H. editor. Pepper, P. editor. Wirsing, M. editor. Wössner, H. editor. SpringerLink (Online service) |
author_facet |
Bauer, Friedrich L. editor. Broy, Manfred. editor. Dijkstra, E. W. editor. Gerhart, S. L. editor. Gries, D. editor. Griffiths, M. editor. Guttag, J. V. editor. Horning, J. J. editor. Owicki, S. S. editor. Pair, C. editor. Partsch, H. editor. Pepper, P. editor. Wirsing, M. editor. Wössner, H. editor. SpringerLink (Online service) |
author_sort |
Bauer, Friedrich L. editor. |
title |
Program Construction [electronic resource] : International Summer School / |
title_short |
Program Construction [electronic resource] : International Summer School / |
title_full |
Program Construction [electronic resource] : International Summer School / |
title_fullStr |
Program Construction [electronic resource] : International Summer School / |
title_full_unstemmed |
Program Construction [electronic resource] : International Summer School / |
title_sort |
program construction [electronic resource] : international summer school / |
publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg, |
publishDate |
1979 |
url |
http://dx.doi.org/10.1007/BFb0014649 |
work_keys_str_mv |
AT bauerfriedrichleditor programconstructionelectronicresourceinternationalsummerschool AT broymanfrededitor programconstructionelectronicresourceinternationalsummerschool AT dijkstraeweditor programconstructionelectronicresourceinternationalsummerschool AT gerhartsleditor programconstructionelectronicresourceinternationalsummerschool AT griesdeditor programconstructionelectronicresourceinternationalsummerschool AT griffithsmeditor programconstructionelectronicresourceinternationalsummerschool AT guttagjveditor programconstructionelectronicresourceinternationalsummerschool AT horningjjeditor programconstructionelectronicresourceinternationalsummerschool AT owickisseditor programconstructionelectronicresourceinternationalsummerschool AT pairceditor programconstructionelectronicresourceinternationalsummerschool AT partschheditor programconstructionelectronicresourceinternationalsummerschool AT pepperpeditor programconstructionelectronicresourceinternationalsummerschool AT wirsingmeditor programconstructionelectronicresourceinternationalsummerschool AT wossnerheditor programconstructionelectronicresourceinternationalsummerschool AT springerlinkonlineservice programconstructionelectronicresourceinternationalsummerschool |
_version_ |
1756268634031783936 |