Search

Your search keyword '"Broy, Manfred"' showing total 36 results

Search Constraints

Start Over You searched for: Author "Broy, Manfred" Remove constraint Author: "Broy, Manfred" Journal program construction : international summer school Remove constraint Journal: program construction : international summer school
36 results on '"Broy, Manfred"'

Search Results

1. Program inversion

2. The Schorr-Waite graph marking algorithm

3. On the interplay between mathematics and programming

4. Some theoretical aspects of program construction

5. Towards a wide spectrum language to support program specification and program development

6. Finding the correctness proof of a concurrent program

7. Programming methodology and language implications

8. Notes on type abstraction

9. Examples for change of types and object structures

10. Programing languages for reliable computing systems

11. Semantics of nondeterministic and noncontinuous constructs

12. A derivation-oriented proof of the Schorr-Waite marking algorithm

13. Program development by stepwise transformations — The project CIP

14. Development of the Schorr-Waite algorithm

15. Eliminating the chaff

16. A study on transformational semantics

17. Systematics of transformation rules

18. Special transformation techniques

19. Detailization and lazy evaluation, infinite objects and pointer representation

20. Specification and verification of a network mail system

21. Specifications and proofs for abstract data types in concurrent programs

22. A more formal treatment of a less simple example

23. Proof rules for the programming language Euclid

24. A case study in language design: Euclid

25. Verification of Euclid programs

26. Basic axiomatic definitions

27. Is sometimes ever better than always?

28. The multiple assignment statement

29. Current ideas in programming methodology

30. On the foolishness of 'natural language programming'

31. Stationary behaviour of some ternary networks

32. A theorem about odd powers of odd integers

33. In honour of Fibonacci

34. From specification to implementation — The formal approach

35. Proofs, programs and their development — The axiomatic approach

36. Languages as tools — Interactive program construction

Catalog

Books, media, physical & digital resources