Understanding and Expressing Software Construction
作者： M. Sintzoff
DOI: 10.1007/978-3-642-46490-4_16
关键词:
摘要: The aim of this working memorandum is to foster thinking on the following topics: nature software construction; need and possibility organizing expressing it; help notational computational systems.
springer.com
springerlink.com参考文章(33)
Cliff B. Jones, Specification and Design of (Parallel) Programs ifip congress. pp. 321- 332 ,(1983)
Kent Petersson, Bengt Nordström, Types and Specifications. ifip congress. pp. 915- 920 ,(1983)
Michel Sintzoff, Eliminating Blind Alleys from Backtrack Programs. international colloquium on automata, languages and programming. pp. 531- 557 ,(1976)
Gyoergy Pólya, Induction and Analogy in Mathematics ,(1954)
Michael J. C Gordon, Edinburgh LCF: A mechanised logic of computation ,(1979)
Robert A. Paige, Formal differentiation: A program synthesis technique ,(1981)
R. L. Schwartz, P. M. Melliar-Smith, Hierarchical specification of the SIFT fault tolerant flight control system ,(1981)
J. Strother Moore, Robert S. Boyer, The Correctness Problem in Computer Science Published in <b>1981</b> in London by Academic press. ,(1982)
William L. Scherlis, Dana S. Scott, First Steps Towards Inferential Programming ifip congress. pp. 99- 133 ,(1993) , 10.1007/978-94-011-1793-7_6
M. Sintzoff, Properties, Feasibility and Usefulness of a Language for Programming Programs ALGOL Bulletin. pp. 84- 90 ,(1978)