Algebraic and Logic Programming [[electronic resource] ] : 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings / / edited by Michael Hanus, Jan Heering, Karl Meinke |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (XI, 297 p.) |
Disciplina | 005.13/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Computers Architecture, Computer Computer logic Mathematical logic Artificial intelligence Programming Languages, Compilers, Interpreters Theory of Computation Computer System Implementation Logics and Meanings of Programs Mathematical Logic and Formal Languages Artificial Intelligence |
ISBN | 3-540-69555-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Safe folding/unfolding with conditional narrowing -- Optimal non-deterministic functional logic computations -- A semantic basis for termination analysis of logic programs and its realization using symbolic norm constraints -- Parallelizing functional programs by generalization -- Higher-order equational unification via explicit substitutions -- Parameterised higher-order algebraic specifications -- Higher-order lazy narrowing calculus: A computation model for a higher-order functional logic language -- On composable properties of term rewriting systems -- Needed reductions with context-sensitive rewriting -- Conditional term graph rewriting -- Lazy narrowing with parametric order sorted types -- Termination of algebraic type systems: The syntactic approach -- Proof net semantics of proof search computation -- Explicit substitutions for the ??-calculus -- A left-linear variant of ?? -- Perpetuality and uniform normalization -- Model generation with existentially quantified variables and constraints -- Optimal left-to-right pattern-matching automata. |
Record Nr. | UNISA-996465769803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algebraic and Logic Programming [[electronic resource] ] : 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings / / edited by Michael Hanus, Jan Heering, Karl Meinke |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (XI, 297 p.) |
Disciplina | 005.13/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Computers Computer architecture Computer logic Logic, Symbolic and mathematical Artificial intelligence Programming Languages, Compilers, Interpreters Theory of Computation Computer System Implementation Logics and Meanings of Programs Mathematical Logic and Formal Languages Artificial Intelligence |
ISBN | 3-540-69555-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Safe folding/unfolding with conditional narrowing -- Optimal non-deterministic functional logic computations -- A semantic basis for termination analysis of logic programs and its realization using symbolic norm constraints -- Parallelizing functional programs by generalization -- Higher-order equational unification via explicit substitutions -- Parameterised higher-order algebraic specifications -- Higher-order lazy narrowing calculus: A computation model for a higher-order functional logic language -- On composable properties of term rewriting systems -- Needed reductions with context-sensitive rewriting -- Conditional term graph rewriting -- Lazy narrowing with parametric order sorted types -- Termination of algebraic type systems: The syntactic approach -- Proof net semantics of proof search computation -- Explicit substitutions for the ??-calculus -- A left-linear variant of ?? -- Perpetuality and uniform normalization -- Model generation with existentially quantified variables and constraints -- Optimal left-to-right pattern-matching automata. |
Record Nr. | UNINA-9910144916403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Algebraic and Logic Programming [[electronic resource] ] : 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings / / edited by Michael Hanus, Mario Rodriguez-Artalejo |
Edizione | [1st ed. 1996.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
Descrizione fisica | 1 online resource (VIII, 348 p.) |
Disciplina | 005.13/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computers Architecture, Computer Programming languages (Electronic computers) Computer logic Mathematical logic Software Engineering/Programming and Operating Systems Theory of Computation Computer System Implementation Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages |
ISBN | 3-540-70672-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Toward the concurrent implementation of computational systems -- On negation as instantiation -- Independence in dynamically scheduled logic languages -- Heterogeneous constraint solving -- A hierarchy of semantics for normal constraint logic programs -- Order-sorted termination: The unsorted way -- Unravelings and ultra-properties -- Standardization theorem revisited -- Discrete Normalization and Standardization in Deterministic Residual Structures -- A language for the logical specification of processes and relations -- A process algebra for synchronous concurrent constraint programming -- An algebraic approach to mixins and modularity -- A strict border for the decidability of E-unification for recursive functions -- Prime factorizations of abstract domains using first-order logic -- Abstractions of uniform proofs -- Complementing logic program semantics -- Meaningless terms in rewriting -- Unique normal form property of Higher-Order Rewriting Systems -- ?-calculi with explicit substitutions and composition which preserve ?-strong normalization -- Algebraic semantics for functional logic programming with polymorphic order-sorted types -- Specifying type systems -- The semantic treatment of polymorphic specification languages. |
Record Nr. | UNISA-996465859103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algebraic and Logic Programming [[electronic resource] ] : Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings / / edited by Helene Kirchner, Giorgio Levi |
Edizione | [1st ed. 1992.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 |
Descrizione fisica | 1 online resource (IX, 460 p.) |
Disciplina | 005.13/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Theory of Computation Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages |
ISBN | 3-540-47302-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Outline of an object-oriented calculus of higher type -- High-level-replacement systems for equational algebraic specifications -- Termination of rewrite systems by elementary interpretations -- Termination of order-sorted rewriting -- Generalized sufficient conditions for modular termination of rewriting -- A theory of first-order built-in's of prolog -- Fixpoint semantics for partial computed answer substitutions and call patterns -- Oracle semantics for Prologa -- On the relation between primitive recursion, schematization, and divergence -- Term rewriting with sharing and memoïzation -- Definitional trees -- Multiparadigm logic programming -- Non-linear real constraints in constraint logic programming -- A general scheme for constraint functional logic programming -- Incremental rewriting in narrowing derivations -- Counterexamples to completeness results for basic narrowing (extended abstract) -- Uniform narrowing strategies -- Proof by consistency in constructive systems with final algebra semantics -- A fast algorithm for ground normal form analysis -- Eta-conversion for the languages of explicit substitutions -- Serialisation analysis of concurrent logic programs -- Implementation of a toolset for prototyping algebraic specifications of concurrent systems -- Axiomatizing permutation equivalence in the ?-calculus -- A CLP view of logic programming -- Partial deduction of logic programs WRT well-founded semantics -- The finiteness of logic programming derivations -- Theorem proving for hierarchic first-order theories -- A goal oriented strategy based on completion -- On n-syntactic equational theories. |
Record Nr. | UNISA-996465485803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Analysis and Verification of Multiple-Agent Languages [[electronic resource] ] : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers / / edited by Mads Dam |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (VIII, 444 p.) |
Disciplina | 005.13/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Artificial intelligence Computer logic Programming Languages, Compilers, Interpreters Artificial Intelligence Logics and Meanings of Programs |
ISBN | 3-540-68052-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Logical and operational methods in the analysis of programs and systems -- Proving properties of logic programs by abstract diagnosis -- Abstract interpretation of the ?-calculus -- Abstract interpretation of small-step semantics -- An overview of mobile agent programming -- Formalising and prototyping a concurrent object-based language -- Type checking for a multiset rewriting language -- Polymorphic subtyping for effect analysis: The static semantics -- Polymorphic subtyping for effect analysis: The dynamic semantics -- Polymorphic subtyping for effect analysis: The algorithm -- Implementing a static analyzer of concurrent programs: Problems and perspectives -- Polyvariance, polymorphism and flow analysis -- Parallel implementation of functional languages -- Mobile processes with local clocks -- Testing semantics of asynchronous distributed programs -- Analysis of Facile programs: A case study -- A non-standard semantics for generating reduced transition systems -- A process language for statecharts -- Priorities in Statecharts. |
Record Nr. | UNISA-996466236403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Analysis and Verification of Multiple-Agent Languages [[electronic resource] ] : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers / / edited by Mads Dam |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (VIII, 444 p.) |
Disciplina | 005.13/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Artificial intelligence Computer logic Programming Languages, Compilers, Interpreters Artificial Intelligence Logics and Meanings of Programs |
ISBN | 3-540-68052-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Logical and operational methods in the analysis of programs and systems -- Proving properties of logic programs by abstract diagnosis -- Abstract interpretation of the ?-calculus -- Abstract interpretation of small-step semantics -- An overview of mobile agent programming -- Formalising and prototyping a concurrent object-based language -- Type checking for a multiset rewriting language -- Polymorphic subtyping for effect analysis: The static semantics -- Polymorphic subtyping for effect analysis: The dynamic semantics -- Polymorphic subtyping for effect analysis: The algorithm -- Implementing a static analyzer of concurrent programs: Problems and perspectives -- Polyvariance, polymorphism and flow analysis -- Parallel implementation of functional languages -- Mobile processes with local clocks -- Testing semantics of asynchronous distributed programs -- Analysis of Facile programs: A case study -- A non-standard semantics for generating reduced transition systems -- A process language for statecharts -- Priorities in Statecharts. |
Record Nr. | UNINA-9910768177003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Applied formal methods--FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings / / Dieter Hutter (eds.) |
Edizione | [1st ed. 1999.] |
Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [1999] |
Descrizione fisica | 1 online resource (390 p.) |
Disciplina | 005.13/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico | Formal methods (Computer science) |
ISBN |
1-280-95677-1
9786610956777 3-540-48257-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- High Level System Design and Analysis Using Abstract State Machines -- Enriching the Software Development Process by Formal Methods -- Regular Papers -- Formal Program Development in Geometric Modeling -- Design of Distributed Multimedia Applications (DAMD) -- Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip -- Automated Test Set Generation for Statecharts -- Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct -- Translation Validation: From DC+ to C -- A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems -- A Lightweight Approach to Formal Methods -- An Open Environment for the Integration of Heterogeneous Modelling Techniques and Tools -- Integrating Domain Specific Language Design in the Software Life Cycle -- Flexible and Reliable Process Model Properties: An Integrated Approach -- A Symbolic Model Checker for ACTL -- Critical Systems Validation and Verification with CSP and FDR -- UniForM Perspectives for Formal Methods -- The UniForM WorkBench A Higher Order Tool Integration Framework -- Application Papers -- Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol -- Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier -- The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process -- Tool Papers -- Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture -- The IFAD VDM Tools -- KIV 3.0 for Provably Correct Systems -- PVS: An Experience Report -- Overview over the Project Quest -- VSE: Controlling the Complexity in Formal Software Developments -- The wHOLe System -- Z/EVES Version 1.5: An Overview. |
Record Nr. | UNINA-9910144147503321 |
Berlin, Germany ; ; New York, New York : , : Springer, , [1999] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Applied formal methods--FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings / / Dieter Hutter (eds.) |
Edizione | [1st ed. 1999.] |
Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [1999] |
Descrizione fisica | 1 online resource (390 p.) |
Disciplina | 005.13/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico | Formal methods (Computer science) |
ISBN |
1-280-95677-1
9786610956777 3-540-48257-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- High Level System Design and Analysis Using Abstract State Machines -- Enriching the Software Development Process by Formal Methods -- Regular Papers -- Formal Program Development in Geometric Modeling -- Design of Distributed Multimedia Applications (DAMD) -- Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip -- Automated Test Set Generation for Statecharts -- Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct -- Translation Validation: From DC+ to C -- A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems -- A Lightweight Approach to Formal Methods -- An Open Environment for the Integration of Heterogeneous Modelling Techniques and Tools -- Integrating Domain Specific Language Design in the Software Life Cycle -- Flexible and Reliable Process Model Properties: An Integrated Approach -- A Symbolic Model Checker for ACTL -- Critical Systems Validation and Verification with CSP and FDR -- UniForM Perspectives for Formal Methods -- The UniForM WorkBench A Higher Order Tool Integration Framework -- Application Papers -- Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol -- Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier -- The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process -- Tool Papers -- Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture -- The IFAD VDM Tools -- KIV 3.0 for Provably Correct Systems -- PVS: An Experience Report -- Overview over the Project Quest -- VSE: Controlling the Complexity in Formal Software Developments -- The wHOLe System -- Z/EVES Version 1.5: An Overview. |
Record Nr. | UNISA-996465943703316 |
Berlin, Germany ; ; New York, New York : , : Springer, , [1999] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Applied Semantics [[electronic resource] ] : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures / / edited by Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (VIII, 536 p.) |
Disciplina | 005.13/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Semantics
Programming languages (Electronic computers) Computer logic Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
ISBN | 3-540-45699-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | An Introduction to Dependent Type Theory -- Monads and Effects -- Abstract Machines, Control, and Sequents -- Normalization and Partial Evaluation -- Computing with Real Numbers -- The Join Calculus: A Language for Distributed Mobile Programming -- An Introduction to Functional Nets -- Operational Semantics and Program Equivalence -- Using, Understanding, and Unraveling the OCaml Language From Practice to Theory and Vice Versa. |
Record Nr. | UNISA-996465524703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Applied Semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures / / edited by Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (VIII, 536 p.) |
Disciplina | 005.13/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Semantics
Programming languages (Electronic computers) Computer logic Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
ISBN | 3-540-45699-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | An Introduction to Dependent Type Theory -- Monads and Effects -- Abstract Machines, Control, and Sequents -- Normalization and Partial Evaluation -- Computing with Real Numbers -- The Join Calculus: A Language for Distributed Mobile Programming -- An Introduction to Functional Nets -- Operational Semantics and Program Equivalence -- Using, Understanding, and Unraveling the OCaml Language From Practice to Theory and Vice Versa. |
Record Nr. | UNINA-9910143883203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|