Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Mathematical Foundations of Programming Semantics [[electronic resource] ] : 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings / / edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt
| Mathematical Foundations of Programming Semantics [[electronic resource] ] : 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings / / edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt |
| Edizione | [1st ed. 1994.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 |
| Descrizione fisica | 1 online resource (X, 654 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Programming languages (Electronic computers) Computer logic Mathematical logic Theory of Computation Programming Languages, Compilers, Interpreters Computation by Abstract Devices Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematical Logic and Foundations |
| ISBN | 3-540-48419-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Final universes of processes -- On the symmetry of sequentiality -- Computational adequacy via ‘mixed’ inductive definitions -- A structural co-induction theorem -- Three metric domains of processes for bisimulation -- Topological models for higher order control flow -- An investigation into functions as processes -- Time abstracted bisimulation: Implicit specifications and decidability -- Timewise refinement for communicating processes -- Axiomatising real-timed processes -- A predicative semantics for the refinement of real-time systems -- Compositional process semantics of Petri Boxes -- On the specification of elementary reactive behaviour -- A chemical abstract machine for graph reduction extended abstract -- Lifting theorems for Kleisli categories -- Sequential functions on indexed domains and full abstraction for a sub-language of PCF -- Another approach to sequentiality: Kleene's unimonotone functions -- Mechanizing logical relations -- Some quasi-varieties of iteration theories -- Probabilistic power domains, information systems, and locales -- Linear domains and linear maps -- Universal quasi-prime algebraic domains -- Holomorphic models of exponential types in linear logic -- A syntax for linear logic -- A complete axiomatisation for trace congruence of finite state behaviors -- The asymmetric topology of computer science -- Ultimately periodic words of rational ?-languages -- Category of ?-functors -- A categorical interpretation of Landin's correspondence principle -- An operational semantics for TOOPLE: A statically-typed object-oriented programming language -- On the transformation between direct and continuation semantics. |
| Record Nr. | UNISA-996466250403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematical Foundations of Programming Semantics [[electronic resource] ] : 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings / / edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt
| Mathematical Foundations of Programming Semantics [[electronic resource] ] : 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings / / edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt |
| Edizione | [1st ed. 1992.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 |
| Descrizione fisica | 1 online resource (VIII, 508 p.) |
| Disciplina | 005.13/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science—Mathematics
Programming languages (Electronic computers) Computers Computer logic Mathematical logic Mathematics of Computing Programming Languages, Compilers, Interpreters Computation by Abstract Devices Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematical Logic and Foundations |
| ISBN | 3-540-47194-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Types, abstraction, and parametric polymorphism, part 2 -- Call-by-value combinatory logic and the lambda-value calculus -- From operational to denotational semantics -- A simple language supporting angelic nondeterminism and parallel composition -- The equivalence of two semantic definitions for inheritance in object-oriented languages -- Primitive recursive functional with dependent types -- Typed homomorphic relations extended with subtypes -- Information links in domain theory -- Nonwellfounded sets and programming language semantics -- Simultaneous substitution in the typed lambda calculus -- HSP type theorems in the category of posets -- Decomposition of domains -- Cartesian closed categories of domains and the space proj(D) -- An upper power domain construction in terms of strongly compact sets -- Correctness of procedure representations in higher-order assembly language -- An algorithm for analyzing communicating processes -- Continuous functions and parallel algorithms on concrete data structures -- Trade-offs in true concurrency: Pomsets and mazurkiewicz traces -- On relating concurrency and nondeterminism -- On continuous time agents -- A monoidal closed category of event structures -- An exper model for Quest -- Equations for if-then-else -- Program correctness and matricial iteration theories -- Liminf progress measures -- Connections. |
| Record Nr. | UNISA-996465736003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||