Del i serien Lecture Notes in Computer Science

TAPSOFT'97: Theory and Practice of Software Development

7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings

Häftad, Engelska, 1997

1 479 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the refereed proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAPSOFT'97), held in Lille, France, in April 1997.The volume is organized in three parts: The first presents invited contributions, the second is devoted to trees in algebra in programming (CAAP) and the third to formal approaches in software engineering (FASE). The 30 revised full papers presented in the CAAP section were selected from 77 submissions; the 23 revised full papers presented in the FASE section were selected from 79 submissions.

Produktinformation

Utgivningsdatum1997-04-02
Mått155 x 235 x undefined mm
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor892
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540627814

Tillhör följande kategorier

Programvaruutveckling inom Data och IT

Theoretical Computer Science and software science: The past, the present and the future (position paper).- Future trends of TAPSOFT.- New challenges for theoretical computer science.- What does the future hold for theoretical computer science?.- Automata theory on trees and partial orders.- A theory of testing for timed automata.- Conservative extensions, interpretations between theories and all that!.- Specification and proof in membership equational logic.- Formalism and method.- CoFI: The common framework initiative for algebraic specification and development.- Logicality of conditional rewrite systems.- Simulating forward-branching systems with constructor systems.- Reliable generalized and context dependent commutation relations.- Word-into-Trees Transducers with bounded difference.- Generalized quantitative temporal reasoning: An automata-theoretic approach.- The Railroad Crossing Problem: Towards semantics of timed algorithms and their model checking in high level languages.- Model checking through symbolic reachability graph.- Optimal implementation of wait-free binary relations.- Relative undecidability in the termination hierarchy of single rewrite rules.- Termination proofs using gpo ordering constraints.- Automatically proving termination where simplification orderings fail.- Generating efficient, terminating logic programs.- Modal characterization of weak bisimulation for higher-order processes.- Formats of ordered SOS rules with silent actions.- A uniform syntactical method for proving coinduction principles in ?-calculi.- A labelled transition system for ??-calculus.- Set operations for recurrent term schematizations.- Inclusion constraints over non-empty sets of trees.- Grid structures and undecidable constraint theories.- Predicative functionalrecurrence and poly-space.- On the complexity of function pointer may-alias analysis.- Maximum packing for biconnected outerplanar graphs.- Synchronization of a line of identical processors at a given time.- An algorithm for the solution of tree equations.- E-unification by means of tree tuple synchronized grammars.- Linear interpolation for the higher-order matching problem.- A semantic framework for functional logic programming with algebraic polymorphic types.- Subtyping constraints for incomplete objects.- Partializing stone spaces using SFP domains.- Let-polymorphism and eager type schemes.- Semantics of architectural connectors.- Protective interface specifications.- Specifying complex and structured systems with Evolving Algebras.- A comparison of modular verification techniques.- A compositional proof of a real-time mutual exclusion protocol.- Traces of I/O-automata in Isabelle/HOLCF.- Reactive types.- A type-based approach to program security.- An applicative module calculus.- Compositional specification of embedded systems with Statecharts.- Verification of message sequence charts via template matching.- Probabilistic lossy channel systems.- A logic of object-oriented programs.- Auxiliary variables and recursive procedures.- Locality based Linda: Programming with explicit localities.- A syntactic theory of dynamic binding.- A unified framework for binding-time analysis.- A typed intermediate language for flow-directed compilation.- Action refinement as an implementation relation.- Behaviour-refinement of coalgebraic specifications with coinductive correctness proofs.- COMPASS: A comprehensible assertion method.- Using LOTOS patterns to characterize architectural styles.- Automating formal specification-based testing.- TYPELAB: An environment for modular program development.- TAS and IsaWin: Generic interfaces for transformational program development and theorem proving.- Proving system correctness with KIV.- A new proof-manager and graphic interface for the Larch Prover.- A web-based animator for object specifications in a persistent environment.- Publishing formal specifications in Z notation on world wide web.- DOSFOP — A documentation tool for the algebraic programming language Opal.- AG: A set of maple packages for symbolic computing of automata and semigroups.

Du kanske också är intresserad av

Del 19

Radiation from Black Holes, Future Missions to Primitive Bodies and Middle Atmospheric Fine Structures

C Day Et Al

Häftad, 1997

1 319 kr

CAAP '88

Max Dauchet, Maurice Nivat

Häftad, 1988

739 kr

Hall of Mirrors

Robert Stone

Häftad, 1997

279 kr

Recent Trends in Data Type Specification

Michel Bidoit, Christine Choppy

Häftad, 1993

739 kr

Mobile Object Systems Towards the Programmable Internet

Jan Vitek, Christian Tschudin

Häftad, 1997

739 kr

Sex and Sensibility

Arlene Stein

Häftad, 1997

509 kr

Animal Acts

Jennifer Ham, Matthew Senior

Häftad, 1997

829 kr

Dog Soldiers

Robert Stone

Häftad, 1997

409 kr

CASL User Manual

Michel Bidoit, Peter D. Mosses

Häftad, 2004

739 kr

Nijinsky: Death of a Faun

David Pownall

Häftad, 1997

259 kr

Del i serien Lecture Notes in Computer Science

TAPSOFT'97: Theory and Practice of Software Development

7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings

Häftad, Engelska, 1997

AvMichel Bidoit,Max Dauchet

1 479 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1997-04-02
Mått155 x 235 x undefined mm
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor892
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540627814

Tillhör följande kategorier

Programvaruutveckling inom Data och IT

Theoretical Computer Science and software science: The past, the present and the future (position paper).- Future trends of TAPSOFT.- New challenges for theoretical computer science.- What does the future hold for theoretical computer science?.- Automata theory on trees and partial orders.- A theory of testing for timed automata.- Conservative extensions, interpretations between theories and all that!.- Specification and proof in membership equational logic.- Formalism and method.- CoFI: The common framework initiative for algebraic specification and development.- Logicality of conditional rewrite systems.- Simulating forward-branching systems with constructor systems.- Reliable generalized and context dependent commutation relations.- Word-into-Trees Transducers with bounded difference.- Generalized quantitative temporal reasoning: An automata-theoretic approach.- The Railroad Crossing Problem: Towards semantics of timed algorithms and their model checking in high level languages.- Model checking through symbolic reachability graph.- Optimal implementation of wait-free binary relations.- Relative undecidability in the termination hierarchy of single rewrite rules.- Termination proofs using gpo ordering constraints.- Automatically proving termination where simplification orderings fail.- Generating efficient, terminating logic programs.- Modal characterization of weak bisimulation for higher-order processes.- Formats of ordered SOS rules with silent actions.- A uniform syntactical method for proving coinduction principles in ?-calculi.- A labelled transition system for ??-calculus.- Set operations for recurrent term schematizations.- Inclusion constraints over non-empty sets of trees.- Grid structures and undecidable constraint theories.- Predicative functionalrecurrence and poly-space.- On the complexity of function pointer may-alias analysis.- Maximum packing for biconnected outerplanar graphs.- Synchronization of a line of identical processors at a given time.- An algorithm for the solution of tree equations.- E-unification by means of tree tuple synchronized grammars.- Linear interpolation for the higher-order matching problem.- A semantic framework for functional logic programming with algebraic polymorphic types.- Subtyping constraints for incomplete objects.- Partializing stone spaces using SFP domains.- Let-polymorphism and eager type schemes.- Semantics of architectural connectors.- Protective interface specifications.- Specifying complex and structured systems with Evolving Algebras.- A comparison of modular verification techniques.- A compositional proof of a real-time mutual exclusion protocol.- Traces of I/O-automata in Isabelle/HOLCF.- Reactive types.- A type-based approach to program security.- An applicative module calculus.- Compositional specification of embedded systems with Statecharts.- Verification of message sequence charts via template matching.- Probabilistic lossy channel systems.- A logic of object-oriented programs.- Auxiliary variables and recursive procedures.- Locality based Linda: Programming with explicit localities.- A syntactic theory of dynamic binding.- A unified framework for binding-time analysis.- A typed intermediate language for flow-directed compilation.- Action refinement as an implementation relation.- Behaviour-refinement of coalgebraic specifications with coinductive correctness proofs.- COMPASS: A comprehensible assertion method.- Using LOTOS patterns to characterize architectural styles.- Automating formal specification-based testing.- TYPELAB: An environment for modular program development.- TAS and IsaWin: Generic interfaces for transformational program development and theorem proving.- Proving system correctness with KIV.- A new proof-manager and graphic interface for the Larch Prover.- A web-based animator for object specifications in a persistent environment.- Publishing formal specifications in Z notation on world wide web.- DOSFOP — A documentation tool for the algebraic programming language Opal.- AG: A set of maple packages for symbolic computing of automata and semigroups.