عنوان

Formalization of Programming Concepts:

شابک

3540106995

شابک

3540386548

شابک

9783540106999

شابک

9783540386544

شماره

b565891

عنوان اصلي

Formalization of Programming Concepts:

نام عام مواد

[Book]

ساير اطلاعات عنواني

International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings.

نام نخستين پديدآور

J Diaz

محل نشرو پخش و غیره

Berlin, Heidelberg

نام ناشر، پخش کننده و غيره

Springer Berlin Heidelberg

تاریخ نشرو بخش و غیره

1981

نام خاص و کميت اثر

(x, 486 pages)

عنوان فروست

Lecture notes in computer science, 107.

متن يادداشت

The algebra of functional programs: Function level reasoning, linear equations, and extended definitions --; The VDM principles of software specification & program design --; Attribute grammars : Theory and applications --; Compiler generation from formal definition of programming languages : A survey --; Formal behavioural specification of concurrent systems without globality assumptions --; A birkhoff-like theorem for algebraic classes of interpretations of program schemes --; Building data base management systems through formal specification --; Reducing types in applicative languages with structured data --; On the definition of lambda-calculus models --; About data type genericity --; On the algebraic extensions of abstract data types --; Scenarios: A model of non-determinate computation --; An operational semantics for a language with early completion data structures --; Le calcul des fermetures dans les lambda-langages --; Distributed termination with interval assertions --; Algebraic denotational semantics using parameterized abstract modules --; Relational semantics of strongly communicating sequential processes --; A construction of concurrent systems by means of sequential solutions and concurrency relations --; The development of an interpreter by means of abstract algebraic software specifications --; A formal model of an interpreter for nonprocedural languages --; Proof theoretic methodology for propositional dynamic logic --; FP systems in edinburgh LCF --; A proposal for operational semantics and equivalence of finite asynchronous processes --; An extension to horn clause logic allowing the definition of concurrent processes --; A semantic algebra for binding constructs --; On the representation of data types --; An approach to communications and parallelism in applicative languages --; Using least fixed points to characterize formal computations of non-deterministic equations --; Formal representations for recursively defined functional programs --; Petri nets and concurrency-like relations.

موضوع مستند نشده

Computer programming.

موضوع مستند نشده

Computer science.

موضوع مستند نشده

Software engineering.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

J Diaz

مستند نام اشخاص تاييد نشده

I Ramos

مستند نام اشخاص تاييد نشده

J Diaz

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y