A List of Successes That Can Change the World [[electronic resource] ] : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday / / edited by Sam Lindley, Conor McBride, Phil Trinder, Don Sannella |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XXII, 479 p. 79 illus., 4 illus. in color.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Compilers (Computer programs) Software engineering Machine theory Computer programming Computer Science Logic and Foundations of Programming Compilers and Interpreters Software Engineering Formal Languages and Automata Theory Programming Techniques |
ISBN | 3-319-30936-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Reactions on Monadic Lenses -- Conation Confers Concurrency -- Counting Successes: Effects and Transformations for Non-deterministic Programs -- The Essence of Inheritance -- Subtyping Supports Safe Session Substitution -- Proof Relevant Parametricity -- Comprehending Ringads -- Dragging Proofs out of Pictures -- Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane -- Cutting out Continuations -- The Lambda Calculus: Practice and Principle -- I Got Plenty o' Nuttin' -- Pointlessness Is Better than Listlessness -- The Essence of Dependent Object Types -- Linear lambda-mu Is CP (more or less) -- A Reaction on types -- The Essence of Multi-Stage Evaluation in LMS -- 1ML with Special Effects -- The Computer Scientist Nightmare -- A Branding Strategy for Business Types -- The Recursive Union of Some Gradual Types -- A Delta for Hybrid Type Checking -- Certifying Data in Multiparty Session Types -- Recursion Equations as a Programming Language. . |
Record Nr. | UNISA-996466002903316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
A List of Successes That Can Change the World : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday / / edited by Sam Lindley, Conor McBride, Phil Trinder, Don Sannella |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XXII, 479 p. 79 illus., 4 illus. in color.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Compilers (Computer programs) Software engineering Machine theory Computer programming Computer Science Logic and Foundations of Programming Compilers and Interpreters Software Engineering Formal Languages and Automata Theory Programming Techniques |
ISBN | 3-319-30936-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Reactions on Monadic Lenses -- Conation Confers Concurrency -- Counting Successes: Effects and Transformations for Non-deterministic Programs -- The Essence of Inheritance -- Subtyping Supports Safe Session Substitution -- Proof Relevant Parametricity -- Comprehending Ringads -- Dragging Proofs out of Pictures -- Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane -- Cutting out Continuations -- The Lambda Calculus: Practice and Principle -- I Got Plenty o' Nuttin' -- Pointlessness Is Better than Listlessness -- The Essence of Dependent Object Types -- Linear lambda-mu Is CP (more or less) -- A Reaction on types -- The Essence of Multi-Stage Evaluation in LMS -- 1ML with Special Effects -- The Computer Scientist Nightmare -- A Branding Strategy for Business Types -- The Recursive Union of Some Gradual Types -- A Delta for Hybrid Type Checking -- Certifying Data in Multiparty Session Types -- Recursion Equations as a Programming Language. . |
Record Nr. | UNINA-9910484264403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Logic and its applications : 10th Indian conference, ICLA 2023, Indore, India, March 3-5, 2023, proceedings / / A. V. Sreejith, Mohua Banerjee |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
Descrizione fisica | 1 online resource (232 pages) |
Disciplina | 005.1015113 |
Collana | Lecture notes in electrical engineering |
Soggetto topico | Computer logic |
ISBN | 3-031-26689-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A Note on the Ontology of Mathematics -- Boolean Functional Synthesis: From Under the Hood of Solvers -- Labelled Calculi for Lattice-based Modal Logics -- Two Ways to Scare a Gruffalo -- Determinacy Axioms and Large Cardinals -- Big ideas from logic for mathematics and computing education -- Modal Logic of Generalized Separated Topological Spaces -- Multiple-valued Semantics for Metric Temporal Logic -- Segment transit function of the induced path function of graphs and its first-order definability -- Fuzzy Free Logic with Dual Domain Semantics -- A New Dimension of Imperative Logic. -Quasi-Boolean based models in Rough Set theory: A case of Covering -- Labelled calculi for the logics of rough concepts -- An Infinity of Intuitionistic Connexive Logics -- Relational Semantics for Normal Topological Quasi-Boolean Logic. |
Record Nr. | UNINA-9910674350403321 |
Cham, Switzerland : , : Springer, , [2023] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Logic and its applications : 10th Indian conference, ICLA 2023, Indore, India, March 3-5, 2023, proceedings / / A. V. Sreejith, Mohua Banerjee |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
Descrizione fisica | 1 online resource (232 pages) |
Disciplina | 005.1015113 |
Collana | Lecture notes in electrical engineering |
Soggetto topico | Computer logic |
ISBN | 3-031-26689-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A Note on the Ontology of Mathematics -- Boolean Functional Synthesis: From Under the Hood of Solvers -- Labelled Calculi for Lattice-based Modal Logics -- Two Ways to Scare a Gruffalo -- Determinacy Axioms and Large Cardinals -- Big ideas from logic for mathematics and computing education -- Modal Logic of Generalized Separated Topological Spaces -- Multiple-valued Semantics for Metric Temporal Logic -- Segment transit function of the induced path function of graphs and its first-order definability -- Fuzzy Free Logic with Dual Domain Semantics -- A New Dimension of Imperative Logic. -Quasi-Boolean based models in Rough Set theory: A case of Covering -- Labelled calculi for the logics of rough concepts -- An Infinity of Intuitionistic Connexive Logics -- Relational Semantics for Normal Topological Quasi-Boolean Logic. |
Record Nr. | UNISA-996511869903316 |
Cham, Switzerland : , : Springer, , [2023] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Logic and Program Semantics [[electronic resource] ] : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday / / edited by Robert L. Constable, Alexandra Silva |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XIII, 357 p. 45 illus.) |
Disciplina | 005.1015113 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer logic
Mathematical logic Algorithms Software engineering Programming languages (Electronic computers) Computer programming Logics and Meanings of Programs Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques |
ISBN | 3-642-29485-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466271503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Logic Based Program Synthesis and Transformation [[electronic resource] ] : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers / / edited by Patricia M. Hill |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (X, 182 p.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Artificial intelligence Computer programming Machine theory Computer Science Logic and Foundations of Programming Artificial Intelligence Programming Techniques Formal Languages and Automata Theory |
ISBN | 3-540-32656-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM -- Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM -- Tools for Program Development -- Declarative Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array Formulas -- Design and Implementation of : A Real-Time Action Description Language -- Program Transformations -- An Algorithm for Local Variable Elimination in Normal Logic Programs -- Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs -- Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives -- Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates -- Software Development and Program Analysis -- A Transformational Semantics of Static Embedded Implications of Normal Logic Programs -- Converting One Type-Based Abstract Domain to Another -- Experiments in Context-Sensitive Analysis of Modular Programs. |
Record Nr. | UNISA-996466108303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Logic Based Program Synthesis and Transformation [[electronic resource] ] : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers / / edited by Patricia M. Hill |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (X, 182 p.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Artificial intelligence Computer programming Machine theory Computer Science Logic and Foundations of Programming Artificial Intelligence Programming Techniques Formal Languages and Automata Theory |
ISBN | 3-540-32656-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM -- Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM -- Tools for Program Development -- Declarative Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array Formulas -- Design and Implementation of : A Real-Time Action Description Language -- Program Transformations -- An Algorithm for Local Variable Elimination in Normal Logic Programs -- Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs -- Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives -- Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates -- Software Development and Program Analysis -- A Transformational Semantics of Static Embedded Implications of Normal Logic Programs -- Converting One Type-Based Abstract Domain to Another -- Experiments in Context-Sensitive Analysis of Modular Programs. |
Record Nr. | UNINA-9910484896403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Logic of Programs [[electronic resource] ] : Workshop, ETH Zürich, May-July 1979 / / edited by E. Engeler |
Edizione | [1st ed. 1981.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1981 |
Descrizione fisica | 1 online resource (VII, 245 p.) |
Disciplina | 005.1015113 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer logic
Logics and Meanings of Programs |
ISBN | 3-540-38631-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | On the duality of dynamic algebras and kripke models -- The deducibility problem in propositional dynamic logic -- PAL — Propositional algorithmic logic -- Propositional dynamic logics of programs: A survey -- On the algorithmic theory of dictionaries -- On the algorithmic properties of concurrent programs -- A survey of the logic of effective definitions. |
Record Nr. | UNISA-996466336603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1981 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
The logic of software : a tasting menu of formal methods : essays dedicated to Reiner Hahnle on the occasion of his 60th birthday / / Wolfgang Ahrendt [and three others], editors |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
Descrizione fisica | 1 online resource (531 pages) |
Disciplina | 005.1015113 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer logic
Computer logic - Study and teaching |
ISBN | 3-031-08166-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910580133903321 |
Cham, Switzerland : , : Springer, , [2022] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
The logic of software : a tasting menu of formal methods : essays dedicated to Reiner Hahnle on the occasion of his 60th birthday / / Wolfgang Ahrendt [and three others], editors |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
Descrizione fisica | 1 online resource (531 pages) |
Disciplina | 005.1015113 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer logic
Computer logic - Study and teaching |
ISBN | 3-031-08166-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996483165003316 |
Cham, Switzerland : , : Springer, , [2022] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|