Formal Program Development [[electronic resource] ] : IFIP TC2/WG 2.1 State-of-the-Art Report / / edited by Bernhard Möller, Helmut Partsch, Steve Schuman |
Edizione | [1st ed. 1993.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 |
Descrizione fisica | 1 online resource (IX, 375 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Software engineering
Computers Computer logic Combinatorics Computer science—Mathematics Software Engineering/Programming and Operating Systems Theory of Computation Logics and Meanings of Programs Software Engineering Symbolic and Algebraic Manipulation |
ISBN | 3-540-48197-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Elements of a relational theory of datatypes -- From dynamic programming to greedy algorithms -- Practical transformation of functional programs for efficient execution: A case study -- Behavior-oriented specification in Gist -- Derivation of graph and pointer algorithms -- The refinement calculus, and literate development -- Formal problem specification on an algebraic basis -- Program development in an algebraic setting -- Rules and strategies for program transformation -- Endomorphic typing -- Automating the design of algorithms -- Virtual data structures. |
Record Nr. | UNISA-996466066803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Higher-Order Algebra, Logic, and Term Rewriting [[electronic resource] ] : Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers / / edited by Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller |
Edizione | [1st ed. 1996.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
Descrizione fisica | 1 online resource (VIII, 296 p.) |
Disciplina | 511.3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Computer logic Mathematical logic Theory of Computation Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematical Logic and Foundations |
ISBN | 3-540-68389-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Term graph rewriting -- Approximation and normalization results for typeable term rewriting systems -- Modular properties of algebraic type systems -- Collapsing partial combinatory algebras -- A complete proof system for Nested Term Graphs -- R n - and G n -logics -- The variable containment problem -- Higher-order equational logic for specification, simulation and testing -- The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving -- Assertions and recursions -- Development closed critical pairs -- Two different strong normalization proofs? -- Third-order matching in the polymorphic lambda calculus -- Higher-order algebra with transfinite types -- Abstraction of hardware construction. |
Record Nr. | UNISA-996465596103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Higher-Order Algebra, Logic, and Term Rewriting [[electronic resource] ] : First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers / / edited by Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow |
Edizione | [1st ed. 1994.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 |
Descrizione fisica | 1 online resource (IX, 351 p.) |
Disciplina | 005.1/01/5113 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Computers Mathematical logic Computer logic Programming Languages, Compilers, Interpreters Theory of Computation Mathematical Logic and Formal Languages Logics and Meanings of Programs Mathematical Logic and Foundations |
ISBN | 3-540-48579-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Interaction systems -- Strong normalization of typeable rewrite systems -- A transformation system combining partial evaluation with term rewriting -- Prototyping relational specifications using higher-order objects -- Origin tracking for higher-order term rewriting systems -- Theory interpretation in simple type theory -- The semantics of SPECTRUM -- ATLAS: A typed language for algebraic specification -- Compilation of Combinatory Reduction Systems -- Specification and verification in higher order algebra: A case study of convolution -- Ordered and continuous models of higher-order specifications -- Rewriting properties of combinators for rudimentary linear logic -- Comparing combinatory reduction systems and higher-order rewrite systems -- Termination proofs for higher-order rewrite systems -- Extensions of initial models and their second-order proof systems. |
Record Nr. | UNISA-996466092403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Mathematics of Program Construction [[electronic resource] ] : Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings / / edited by Bernhard Möller |
Autore | Burkart Olaf |
Edizione | [1st ed. 1995.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
Descrizione fisica | 1 online resource (IX, 479 p.) |
Disciplina | 004.2/0151 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computers Computer programming Algorithms Computer logic Software Engineering/Programming and Operating Systems Theory of Computation Programming Techniques Software Engineering Algorithm Analysis and Problem Complexity Logics and Meanings of Programs |
ISBN | 3-540-49445-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Towards automatic parallelization of logic programs -- Functional Algorithm Design -- Mathematics of software engineering -- Program construction in intuitionistic Type Theory -- Computer-aided computing -- Derivation of parallel algorithms from functional specifications to CSP processes -- Architecture independent massive parallelization of divide-and-conquer algorithms -- Exploring summation and product operators in the refinement calculus -- An action system specification of the caltech asynchronous microprocessor -- Formal derivation of CSP programs from temporal specifications -- A compositional proof system for asynchronously communicating processes -- A graphical calculus -- A simple, efficient, and flexible implementation of flexible arrays -- Induction and recursion on datatypes -- Program construction by parts -- An initial-algebra approach to directed acyclic graphs -- Algebraic proof assistants in HOL -- Angelic termination in Dijkstra's calculus -- Extracting programs with exceptions in an impredicative type system -- Synthesizing proofs from programs in the Calculus of Inductive Constructions -- A general scheme for breadth-first graph traversal -- Specware: Formal support for composing software -- A refinement relation supporting the transition from unbounded to bounded communication buffers -- ImpUNITY: UNITY with procedures and local variables. |
Record Nr. | UNISA-996466042703316 |
Burkart Olaf
![]() |
||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Mathematics of Program Construction [[electronic resource] ] : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings / / edited by Eerke A. Boiten, Bernhard Möller |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (X, 266 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer logic
Mathematical logic Software engineering Computers Programming languages (Electronic computers) Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Computation by Abstract Devices Programming Languages, Compilers, Interpreters |
ISBN | 3-540-45442-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm -- Some Results in Dynamic Model Theory -- Mathematics in Computer Science Curricula -- Contributed Papers -- Logical Relations and Galois Connections -- Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications -- Fine Control of Demand in Haskell -- Reasoning about Timeouts -- Eternity Variables to Simulate Specifications -- Constructing Tournament Representations: An Exercise in Pointwise Relational Programming -- Type-Indexed Data Types -- Verification of Java’s AbstractCollection Class: A Case Study -- Solving Regular Path Queries -- Inverting Functions as Folds -- From Kleene Algebra to Refinement Algebra. |
Record Nr. | UNINA-9910143899303321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Mathematics of Program Construction [[electronic resource] ] : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings / / edited by Eerke A. Boiten, Bernhard Möller |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (X, 266 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer logic
Mathematical logic Software engineering Computers Programming languages (Electronic computers) Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Computation by Abstract Devices Programming Languages, Compilers, Interpreters |
ISBN | 3-540-45442-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm -- Some Results in Dynamic Model Theory -- Mathematics in Computer Science Curricula -- Contributed Papers -- Logical Relations and Galois Connections -- Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications -- Fine Control of Demand in Haskell -- Reasoning about Timeouts -- Eternity Variables to Simulate Specifications -- Constructing Tournament Representations: An Exercise in Pointwise Relational Programming -- Type-Indexed Data Types -- Verification of Java’s AbstractCollection Class: A Case Study -- Solving Regular Path Queries -- Inverting Functions as Folds -- From Kleene Algebra to Refinement Algebra. |
Record Nr. | UNISA-996465379103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Relational and Kleene-Algebraic Methods in Computer Science [[electronic resource] ] : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers / / edited by R. Berghammer, Bernhard Möller, Georg Struth |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (X, 286 p.) |
Disciplina | 004 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Number theory
Mathematical logic Software engineering Computer logic Computer science—Mathematics Artificial intelligence Number Theory Mathematical Logic and Formal Languages Software Engineering Logics and Meanings of Programs Symbolic and Algebraic Manipulation Artificial Intelligence |
ISBN |
1-280-30809-5
9786610308095 3-540-24771-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Choice Procedures in Pairwise Comparison Multiple-Attribute Decision Making Methods -- Kleene Algebra with Relations -- Contributed Papers -- Integrating Model Checking and Theorem Proving for Relational Reasoning -- Fixed-Point Characterisation of Winning Strategies in Impartial Games -- Checking the Shape Safety of Pointer Manipulations -- Applying Relational Algebra in 3D Graphical Software Design -- Investigating Discrete Controllability with Kleene Algebra -- Tracing Relations Probabilistically -- Pointer Kleene Algebra -- Kleene Modules -- The Categories of Kleene Algebras, Action Algebras and Action Lattices Are Related by Adjunctions -- Towards a Formalisation of Relational Database Theory in Constructive Type Theory -- SCAN Is Complete for All Sahlqvist Formulae -- Relations and GUHA-Style Data Mining II -- A Note on Complex Algebras of Semigroups -- Calculational Relation-Algebraic Proofs in Isabelle/Isar -- A Calculus of Typed Relations -- Greedy-Like Algorithms in Modal Kleene Algebra -- Rasiowa-Sikorski Style Relational Elementary Set Theory -- Relational Data Analysis -- Two Proof Systems for Peirce Algebras -- An Institution Isomorphism for Planar Graph Colouring -- Decomposing Relations into Orderings. |
Record Nr. | UNINA-9910144159203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Relational and Kleene-Algebraic Methods in Computer Science [[electronic resource] ] : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers / / edited by R. Berghammer, Bernhard Möller, Georg Struth |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (X, 286 p.) |
Disciplina | 004 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Number theory
Mathematical logic Software engineering Computer logic Computer science—Mathematics Artificial intelligence Number Theory Mathematical Logic and Formal Languages Software Engineering Logics and Meanings of Programs Symbolic and Algebraic Manipulation Artificial Intelligence |
ISBN |
1-280-30809-5
9786610308095 3-540-24771-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Choice Procedures in Pairwise Comparison Multiple-Attribute Decision Making Methods -- Kleene Algebra with Relations -- Contributed Papers -- Integrating Model Checking and Theorem Proving for Relational Reasoning -- Fixed-Point Characterisation of Winning Strategies in Impartial Games -- Checking the Shape Safety of Pointer Manipulations -- Applying Relational Algebra in 3D Graphical Software Design -- Investigating Discrete Controllability with Kleene Algebra -- Tracing Relations Probabilistically -- Pointer Kleene Algebra -- Kleene Modules -- The Categories of Kleene Algebras, Action Algebras and Action Lattices Are Related by Adjunctions -- Towards a Formalisation of Relational Database Theory in Constructive Type Theory -- SCAN Is Complete for All Sahlqvist Formulae -- Relations and GUHA-Style Data Mining II -- A Note on Complex Algebras of Semigroups -- Calculational Relation-Algebraic Proofs in Isabelle/Isar -- A Calculus of Typed Relations -- Greedy-Like Algorithms in Modal Kleene Algebra -- Rasiowa-Sikorski Style Relational Elementary Set Theory -- Relational Data Analysis -- Two Proof Systems for Peirce Algebras -- An Institution Isomorphism for Planar Graph Colouring -- Decomposing Relations into Orderings. |
Record Nr. | UNISA-996466226003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Relations and Kleene Algebra in Computer Science [[electronic resource] ] : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceedings / / edited by Rudolf Berghammer, Ali Jaoua, Bernhard Möller |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (VIII, 367 p.) |
Disciplina | 005.131 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science—Mathematics Discrete mathematics Computer science Algebra Formal Languages and Automata Theory Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science Computer Science Logic and Foundations of Programming Order, Lattices, Ordered Algebraic Structures |
ISBN | 3-642-04639-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Knowledge and Structure in Social Algorithms -- Computational Social Choice Using Relation Algebra and RelView -- A Model of Internet Routing Using Semi-modules -- Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs -- Towards Algebraic Separation Logic -- Domain and Antidomain Semigroups -- Composing Partially Ordered Monads -- A Relation-Algebraic Approach to Liveness of Place/Transition Nets -- ?-Continuous Idempotent Left Semirings and Their Ideal Completion -- A Semiring Approach to Equivalences, Bisimulations and Control -- General Correctness Algebra -- Foundations of Concurrent Kleene Algebra -- Armstrong’s Inference Rules in Dedekind Categories -- Data Mining, Reasoning and Incremental Information Retrieval through Non Enlargeable Rectangular Relation Coverage -- Collagories for Relational Adhesive Rewriting -- Cardinal Addition in Distributive Allegories -- Relational Methods in the Analysis of While Loops: Observations of Versatility -- Modalities, Relations, and Learning -- The Cube of Kleene Algebras and the Triangular Prism of Multirelations -- Discrete Duality for Relation Algebras and Cylindric Algebras -- Contact Relations with Applications -- A While Program Normal Form Theorem in Total Correctness -- Complements in Distributive Allegories -- On the Skeleton of Stonian p-Ortholattices. |
Record Nr. | UNISA-996466274103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Relations and Kleene Algebra in Computer Science [[electronic resource] ] : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceedings / / edited by Rudolf Berghammer, Ali Jaoua, Bernhard Möller |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (VIII, 367 p.) |
Disciplina | 005.131 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science—Mathematics Discrete mathematics Computer science Algebra Formal Languages and Automata Theory Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science Computer Science Logic and Foundations of Programming Order, Lattices, Ordered Algebraic Structures |
ISBN | 3-642-04639-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Knowledge and Structure in Social Algorithms -- Computational Social Choice Using Relation Algebra and RelView -- A Model of Internet Routing Using Semi-modules -- Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs -- Towards Algebraic Separation Logic -- Domain and Antidomain Semigroups -- Composing Partially Ordered Monads -- A Relation-Algebraic Approach to Liveness of Place/Transition Nets -- ?-Continuous Idempotent Left Semirings and Their Ideal Completion -- A Semiring Approach to Equivalences, Bisimulations and Control -- General Correctness Algebra -- Foundations of Concurrent Kleene Algebra -- Armstrong’s Inference Rules in Dedekind Categories -- Data Mining, Reasoning and Incremental Information Retrieval through Non Enlargeable Rectangular Relation Coverage -- Collagories for Relational Adhesive Rewriting -- Cardinal Addition in Distributive Allegories -- Relational Methods in the Analysis of While Loops: Observations of Versatility -- Modalities, Relations, and Learning -- The Cube of Kleene Algebras and the Triangular Prism of Multirelations -- Discrete Duality for Relation Algebras and Cylindric Algebras -- Contact Relations with Applications -- A While Program Normal Form Theorem in Total Correctness -- Complements in Distributive Allegories -- On the Skeleton of Stonian p-Ortholattices. |
Record Nr. | UNINA-9910484462403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|