The Essence of Computation [[electronic resource] ] : Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones / / edited by Torben Mogensen, David Schmidt, I. Hal Sudborough |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (XIV, 478 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Computer logic Software engineering Theory of Computation Logics and Meanings of Programs Software Engineering Computation by Abstract Devices |
ISBN | 3-540-36377-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Computational Complexity -- General Size-Change Termination and Lexicographic Descent -- Comparing Star and Pancake Networks -- Synchronization of Finite Automata: Contributions to an Old Problem -- Lambda Calculi and Linear Speedups -- Program Analysis -- Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software -- Meta-circular Abstract Interpretation in Prolog -- Flow Analysis: Games and Nets -- On Extracting Static Semantics -- Foundations of the Bandera Abstraction Tools -- Types in Program Analysis -- Flow Logic: A Multi-paradigmatic Approach to Static Analysis -- Structure-Preserving Binary Relations for Program Abstraction -- Program Transformation -- Principles of Inverse Computation and the Universal Resolving Algorithm -- A Symmetric Approach to Compilation and Decompilation -- The Abstraction and Instantiation of String-Matching Programs -- WSDFU: Program Transformation System Based on Generalized Partial Computation -- Homeomorphic Embedding for Online Termination of Symbolic Methods -- Simple Driving Techniques -- Demonstrating Lambda Calculus Reduction -- From Type Inference to Configuration. |
Record Nr. | UNISA-996466121903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
The Essence of Computation : Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones / / edited by Torben Mogensen, David Schmidt, I. Hal Sudborough |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (XIV, 478 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Computer logic Software engineering Theory of Computation Logics and Meanings of Programs Software Engineering Computation by Abstract Devices |
ISBN | 3-540-36377-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Computational Complexity -- General Size-Change Termination and Lexicographic Descent -- Comparing Star and Pancake Networks -- Synchronization of Finite Automata: Contributions to an Old Problem -- Lambda Calculi and Linear Speedups -- Program Analysis -- Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software -- Meta-circular Abstract Interpretation in Prolog -- Flow Analysis: Games and Nets -- On Extracting Static Semantics -- Foundations of the Bandera Abstraction Tools -- Types in Program Analysis -- Flow Logic: A Multi-paradigmatic Approach to Static Analysis -- Structure-Preserving Binary Relations for Program Abstraction -- Program Transformation -- Principles of Inverse Computation and the Universal Resolving Algorithm -- A Symmetric Approach to Compilation and Decompilation -- The Abstraction and Instantiation of String-Matching Programs -- WSDFU: Program Transformation System Based on Generalized Partial Computation -- Homeomorphic Embedding for Online Termination of Symbolic Methods -- Simple Driving Techniques -- Demonstrating Lambda Calculus Reduction -- From Type Inference to Configuration. |
Record Nr. | UNINA-9910145912103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Mathematical Foundations of Programming Language Semantics [[electronic resource] ] : 3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8–10, 1987 Proceedings / / edited by Michael Main, Austin Melton, Michael Mislove, David Schmidt |
Edizione | [1st ed. 1988.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1988 |
Descrizione fisica | 1 online resource (VIII, 640 p. 1 illus.) |
Disciplina | 510 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Mathematics
Software engineering Computer logic Mathematics, general Software Engineering/Programming and Operating Systems Logics and Meanings of Programs |
ISBN | 3-540-38920-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A categorical treatment of polymorphic operations -- A categorical approach to realizability and polymorphic types -- Rule-based semantics for an extended lambda-calculus -- Semantics of block structured languages with pointers -- Assertional categories -- Kan extensions in effective semantics -- The versatile continuous order -- On the Smyth power domain -- The metric closure powerspace construction -- A powerdomain construction -- Closure properties of a probabilistic domain construction -- Quasi-uniformities: Reconciling domains with metric spaces -- Solving reflexive domain equations in a category of complete metric spaces -- Topological completeness in an ideal model for polymorphic types -- New results on hierarchies of domains -- Semantically based axiomatics -- Metric spaces as models for real-time concurrency -- dI-domains as a model of polymorphism -- Continuous auxiliary relations -- Computable one-to-one enumerations of effective domains -- Extended abstract of MIX: A self-applicable partial evaluator for experiments in compiler generation -- Semantics-based tools for a specification-support environment -- A treatment of languages with stages of evaluation -- Operational semantics and a distributed implementation of CSP -- The semantics of Miranda's algebraic types -- Path semantics -- The formal description of data types using sketches -- Initial algebra semantics and concurrency -- High-level semantics -- An action semantics of standard ML -- An algorithmic approach to p-adic integers -- The shuffle bialgebra. |
Record Nr. | UNISA-996465804903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1988 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 |
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 | ||
|
Programming Languages and Systems [[electronic resource] ] : 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings / / edited by David Schmidt |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (XII, 420 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Data structures (Computer science) Computer logic Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Data Structures Logics and Meanings of Programs |
ISBN |
1-280-30718-8
9786610307180 3-540-24725-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Resources, Concurrency, and Local Reasoning -- Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors -- Strong Preservation as Completeness in Abstract Interpretation -- Static Analysis of Digital Filters -- Sound and Decidable Type Inference for Functional Dependencies -- Call-by-Value Mixin Modules -- ML-Like Inference for Classifiers -- From Constraints to Finite Automata to Filtering Algorithms -- A Memoizing Semantics for Functional Logic Languages -- Adaptive Pattern Matching on Binary Data -- Compositional Analysis of Authentication Protocols -- A Distributed Abstract Machine for Boxed Ambient Calculi -- A Dependently Typed Ambient Calculus -- A Control Flow Analysis for Safe and Boxed Ambients -- Linear Types for Packet Processing -- Modal Proofs as Distributed Programs -- ULM: A Core Programming Model for Global Computing -- A Semantic Framework for Designer Transactions -- Semantical Analysis of Specification Logic, 3 -- Answer Type Polymorphism in Call-by-Name Continuation Passing -- System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types -- A Hardest Attacker for Leaking References -- Trust Management in Strand Spaces: A Rely-Guarantee Method -- Just Fast Keying in the Pi Calculus -- Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation -- Functors for Proofs and Programs -- Extracting a Data Flow Analyser in Constructive Logic -- Canonical Graph Shapes. |
Record Nr. | UNISA-996465567203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Programming Languages and Systems : 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings / / edited by David Schmidt |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (XII, 420 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Data structures (Computer science) Computer logic Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Data Structures Logics and Meanings of Programs |
ISBN |
1-280-30718-8
9786610307180 3-540-24725-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Resources, Concurrency, and Local Reasoning -- Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors -- Strong Preservation as Completeness in Abstract Interpretation -- Static Analysis of Digital Filters -- Sound and Decidable Type Inference for Functional Dependencies -- Call-by-Value Mixin Modules -- ML-Like Inference for Classifiers -- From Constraints to Finite Automata to Filtering Algorithms -- A Memoizing Semantics for Functional Logic Languages -- Adaptive Pattern Matching on Binary Data -- Compositional Analysis of Authentication Protocols -- A Distributed Abstract Machine for Boxed Ambient Calculi -- A Dependently Typed Ambient Calculus -- A Control Flow Analysis for Safe and Boxed Ambients -- Linear Types for Packet Processing -- Modal Proofs as Distributed Programs -- ULM: A Core Programming Model for Global Computing -- A Semantic Framework for Designer Transactions -- Semantical Analysis of Specification Logic, 3 -- Answer Type Polymorphism in Call-by-Name Continuation Passing -- System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types -- A Hardest Attacker for Leaking References -- Trust Management in Strand Spaces: A Rely-Guarantee Method -- Just Fast Keying in the Pi Calculus -- Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation -- Functors for Proofs and Programs -- Extracting a Data Flow Analyser in Constructive Logic -- Canonical Graph Shapes. |
Record Nr. | UNINA-9910144198203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Static Analysis [[electronic resource] ] : 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings / / edited by Antoine Mine, David Schmidt |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XI, 457 p. 153 illus.) |
Disciplina | 005.1015113 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer logic
Software engineering Programming languages (Electronic computers) Mathematical logic Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages |
ISBN | 3-642-33125-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Static analysis -- Including abstract domains -- Abstract interpretation -- Abstract testing -- Data flow analysis -- Bug detection -- Program transformation -- Program verification -- Security analysis and type checking. |
Record Nr. | UNISA-996465514103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Verification, Model Checking, and Abstract Interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings / / edited by Ranjit Jhala, David Schmidt |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XI, 419 p. 90 illus., 11 illus. in color.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Algorithms Machine theory Computer programming Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters Formal Languages and Automata Theory Programming Techniques |
ISBN | 3-642-18275-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | VMCAI'11 |
Record Nr. | UNISA-996466048403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Verification, model checking, and abstract interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings / / Ranjit Jhala, David Schmidt (eds.) |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | New York, : Springer, 2011 |
Descrizione fisica | 1 online resource (XI, 419 p. 90 illus., 11 illus. in color.) |
Disciplina | 005.1015113 |
Altri autori (Persone) |
JhalaRanjit
SchmidtDavid |
Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
Soggetto topico | Computer programs - Verification |
ISBN | 3-642-18275-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910510604903321 |
New York, : Springer, 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|