skip to content
TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings Preview this item
ClosePreview this item
Checking...

TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings

Author: M Bidoit; M Dauchet
Publisher: Berlin ; New York : Springer, ©1997.
Series: Lecture notes in computer science, 1214.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
International Joint Conference on Theory and Practice of Software Development (7th : 1997 : Lille, France).
TAPSOFT '97.
Berlin ; New York : Springer, ©1997
(DLC) 97166789
(OCoLC)37008815
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: M Bidoit; M Dauchet
ISBN: 9783540685173 3540685170
OCLC Number: 326777728
Description: 1 online resource (xvi, 884 pages) : illustrations.
Contents: 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 functional recurrence 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.
Series Title: Lecture notes in computer science, 1214.
Other Titles: Theory and practice of software development
Responsibility: Michel Bidoit, Max Dauchet, eds.

Abstract:

This proceedings volume is organized into 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  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/326777728> # TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
   library:oclcnum "326777728" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1008467261#Place/berlin> ; # Berlin
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://id.worldcat.org/fast/872537> ; # Computer software--Development
   schema:about <http://dewey.info/class/005.12/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1008467261#Topic/computer_software_development> ; # Computer software--Development
   schema:alternateName "Theory and practice of software development" ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/15428370> ; # Michel Bidoit
   schema:contributor <http://viaf.org/viaf/109527519> ; # Max Dauchet
   schema:copyrightYear "1997" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/1008467261#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_7th_1997_lille_france> ; # International Joint Conference on Theory and Practice of Software Development (7th : 1997 : Lille, France)
   schema:datePublished "1997" ;
   schema:description "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."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1008467261> ;
   schema:genre "Electronic books"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1008467261#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/37008815> ;
   schema:name "TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings"@en ;
   schema:productID "326777728" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/326777728#PublicationEvent/berlin_new_york_springer_1997> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1008467261#Agent/springer> ; # Springer
   schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-540-62781-4> ;
   schema:url <http://rave.ohiolink.edu/ebooks/ebc/3540627812> ;
   schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-62781-4> ;
   schema:url <http://dx.doi.org/10.1007/BFb0030581> ;
   schema:url <http://link.springer.com/10.1007/BFb0030581> ;
   schema:workExample <http://worldcat.org/isbn/9783540685173> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/326777728> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1008467261#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_7th_1997_lille_france> # International Joint Conference on Theory and Practice of Software Development (7th : 1997 : Lille, France)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/1008467261#Place/lille_france> ; # Lille, France)
   schema:name "International Joint Conference on Theory and Practice of Software Development (7th : 1997 : Lille, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1008467261#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/326777728> ; # TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings
   schema:name "Lecture notes in computer science ;" ;
    .

<http://id.worldcat.org/fast/872537> # Computer software--Development
    a schema:Intangible ;
   schema:name "Computer software--Development"@en ;
    .

<http://viaf.org/viaf/109527519> # Max Dauchet
    a schema:Person ;
   schema:birthDate "1946" ;
   schema:familyName "Dauchet" ;
   schema:givenName "Max" ;
   schema:givenName "M." ;
   schema:name "Max Dauchet" ;
    .

<http://viaf.org/viaf/15428370> # Michel Bidoit
    a schema:Person ;
   schema:birthDate "1957" ;
   schema:familyName "Bidoit" ;
   schema:givenName "Michel" ;
   schema:givenName "M." ;
   schema:name "Michel Bidoit" ;
    .

<http://worldcat.org/isbn/9783540685173>
    a schema:ProductModel ;
   schema:isbn "3540685170" ;
   schema:isbn "9783540685173" ;
    .

<http://www.worldcat.org/oclc/37008815>
    a schema:CreativeWork ;
   rdfs:label "TAPSOFT '97." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/326777728> ; # TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/326777728>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/326777728> ; # TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings
   schema:dateModified "2017-12-25" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.