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

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

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

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

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