Vai al contenuto principale della pagina
Titolo: | Formalization of Programming Concepts [[electronic resource] ] : International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings / / edited by J. Diaz, I. Ramos |
Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1981 |
Edizione: | 1st ed. 1981. |
Descrizione fisica: | 1 online resource (X, 486 p.) |
Disciplina: | 005.1 |
Soggetto topico: | Software engineering |
Computer programming | |
Software Engineering/Programming and Operating Systems | |
Programming Techniques | |
Persona (resp. second.): | DiazJ |
RamosI | |
Note generali: | Bibliographic Level Mode of Issuance: Monograph |
Nota di contenuto: | 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. |
Titolo autorizzato: | Formalization of programming concepts |
ISBN: | 3-540-38654-8 |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 996465509403316 |
Lo trovi qui: | Univ. di Salerno |
Opac: | Controlla la disponibilità qui |