skip to content
TAPSOFT'93 : theory and practice of software development : 4th international joint conference CAAP-FASE, Orsay, France, April 13-17, 1993 : proceedings Preview this item
ClosePreview this item
Checking...

TAPSOFT'93 : theory and practice of software development : 4th international joint conference CAAP-FASE, Orsay, France, April 13-17, 1993 : proceedings

Author: Marie-Claude Gaudel
Publisher: Berlin : Springer, cop. 1993.
Series: Lecture notes in computer science, 668.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

The aim of the conferences upon which this volume is based is to bring together theoretical computer scientists and researchers in software engineering, with a view to discussing how formal methods  Read more...

Rating:

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

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

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

Details

Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Marie-Claude Gaudel
ISBN: 3540566104 9783540566106 0387566104 9780387566108
OCLC Number: 610815737
Notes: Vollständige Namen der Hrsg.: Marie-Claude Gaudel, Jean-Pierre Jouannaud.
Anlassname auch: Fourth [i.e. 5th] International Joint Conference on the Theory and Practice of Software Development. - Namen der Einzelanlässe: Colloquium on Trees in Algebra and Programming (CAAP). Colloquium on Formal Approaches of Software Engineering (FASE).
Description: XII, 761 p : fig ; 25 cm.
Contents: Goldilocks and the three specifications.- On relating some models for concurrency.- Compositionality results for different types of parameterization and parameter passing in specification languages.- Proving ground confluence and inductive validity in constructor based equational specifications.- Associative-commutative discrimination nets.- Algebraic specification and development in geometric modeling.- A case study in transformational design of concurrent systems.- Yeast: A case study for a practical use of formal methods.- Verification and comparison of transition systems.- Constraining interference in an object-based design method.- From ?-calculus to higher-order ?-calculus - and back.- Hyperedge replacement with rendezvous.- True concurrency semantics for a linear logic programming language with broadcast communication.- A general framework for modular implementations of modular system specifications.- Specifications can make programs run faster.- Application of the composition principle to unity-like specifications.- Trees, ordinals and termination.- When is a functional tree transduction deterministic?.- Automata on infinite trees with counting constraints.- Directed column-convex polyominoes by recurrence relations.- Object organisation in software environments for formal methods.- Monads, indexes and transformations.- A technique for specifying and refining TCSP processes by using guards and liveness conditions.- Applications of type theory.- Feature automata and recognizable sets of feature trees.- About the theory of tree embedding.- Linear unification of higher-order patterns.- A theory of requirements capture and its applications.- Exception handling and term labelling.- Gate splitting in LOTOS specifications using abstract interpretation.- Constructing systems as object communities.- Term rewriting in CT?.- Optimal reductions in interaction systems.- Optimal solutions to pattern matching problems.- Testing for a conformance relation based on acceptance.- Testability of a communicating system through an environment.- Automating (specification = implementation) using equational reasoning and LOTOS.- On the Ehrenfeucht-Fraisse game in theoretical computer science.- On asymptotic probabilities in logics that capture DSPACE(log n) in presence of ordering.- A propositional dense time logic.- La Vraie Forme d'un Arbre.- Model checking using net unfoldings.- Reachability analysis on distributed executions.- Property preserving abstractions under parallel composition.- Types as parameters.- Polymorphic type inference with overloading and subtyping.- Type reconstruction with recursive types and atomic subtyping.- (Un)expected path lengths of asymmetric binary search trees.- Trie size in a dynamic list structure.- A fully parallel calculus of synchronizing processes.- Generic systolic arrays: A methodology for systolic design.
Series Title: Lecture notes in computer science, 668.
Responsibility: M.-C. Gaudel, J.-P. Jouannaud, (eds.).

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/610815737> # TAPSOFT'93 : theory and practice of software development : 4th international joint conference CAAP-FASE, Orsay, France, April 13-17, 1993 : proceedings
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "610815737" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/866516704#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/866516704#Thing/d_3> ; # D.3
    schema:about <http://experiment.worldcat.org/entity/work/data/866516704#Thing/d_1> ; # D.1
    schema:about <http://experiment.worldcat.org/entity/work/data/866516704#Thing/development_tools_+_development_techniques_software_engineering> ; # DEVELOPMENT TOOLS + DEVELOPMENT TECHNIQUES (SOFTWARE ENGINEERING)
    schema:about <http://experiment.worldcat.org/entity/work/data/866516704#Thing/formal_description_techniques> ; # FORMAL DESCRIPTION TECHNIQUES
    schema:about <http://experiment.worldcat.org/entity/work/data/866516704#Thing/d_2> ; # D.2
    schema:about <http://experiment.worldcat.org/entity/work/data/866516704#Thing/techniques_de_description_formelle> ; # TECHNIQUES DE DESCRIPTION FORMELLE
    schema:about <http://experiment.worldcat.org/entity/work/data/866516704#Thing/genie_logiciel> ; # GÉNIE LOGICIEL
    schema:about <http://experiment.worldcat.org/entity/work/data/866516704#Thing/entwicklungswerkzeuge_+_entwicklungstechniken_software_engineering> ; # ENTWICKLUNGSWERKZEUGE + ENTWICKLUNGSTECHNIKEN (SOFTWARE ENGINEERING)
    schema:about <http://experiment.worldcat.org/entity/work/data/866516704#Thing/software_engineering> ; # SOFTWARE ENGINEERING
    schema:about <http://experiment.worldcat.org/entity/work/data/866516704#Thing/developpement_de_logiciels_genie_logiciel> ; # DEVELOPPEMENT DE LOGICIELS (GÉNIE LOGICIEL)
    schema:about <http://experiment.worldcat.org/entity/work/data/866516704#Thing/formale_beschreibungstechniken> ; # FORMALE BESCHREIBUNGSTECHNIKEN
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/866516704#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_4_1993_orsay> ; # International Joint Conference on Theory and Practice of Software Development (4 : 1993 : Orsay)
    schema:contributor <http://viaf.org/viaf/27064948> ; # Marie-Claude Gaudel
    schema:copyrightYear "op." ;
    schema:datePublished "1993" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/866516704> ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/866516704#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:name "TAPSOFT'93 : theory and practice of software development : 4th international joint conference CAAP-FASE, Orsay, France, April 13-17, 1993 : proceedings" ;
    schema:productID "610815737" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/610815737#PublicationEvent/berlin_springer_cop_1993> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/866516704#Agent/springer> ; # Springer
    schema:url <https://doi.org/10.1007/3-540-56610-4> ;
    schema:url <http://dx.doi.org/10.1007/3-540-56610-4> ;
    schema:url <http://sfx.ethz.ch:9003/sfx_locater?sid=ALEPH:EBI01&issn=0302-9743&volume=668> ;
    schema:url <http://opac.nebis.ch/cgi-bin/showAbstract.pl?u20=3540566104> ;
    schema:workExample <http://worldcat.org/isbn/9783540566106> ;
    schema:workExample <http://worldcat.org/isbn/9780387566108> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/610815737> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/866516704#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_4_1993_orsay> # International Joint Conference on Theory and Practice of Software Development (4 : 1993 : Orsay)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/866516704#Place/orsay> ; # Orsay)
    schema:name "International Joint Conference on Theory and Practice of Software Development (4 : 1993 : Orsay)" ;
    .

<http://experiment.worldcat.org/entity/work/data/866516704#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/610815737> ; # TAPSOFT'93 : theory and practice of software development : 4th international joint conference CAAP-FASE, Orsay, France, April 13-17, 1993 : proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/866516704#Thing/development_tools_+_development_techniques_software_engineering> # DEVELOPMENT TOOLS + DEVELOPMENT TECHNIQUES (SOFTWARE ENGINEERING)
    a schema:Thing ;
    schema:name "DEVELOPMENT TOOLS + DEVELOPMENT TECHNIQUES (SOFTWARE ENGINEERING)" ;
    .

<http://experiment.worldcat.org/entity/work/data/866516704#Thing/developpement_de_logiciels_genie_logiciel> # DEVELOPPEMENT DE LOGICIELS (GÉNIE LOGICIEL)
    a schema:Thing ;
    schema:name "DEVELOPPEMENT DE LOGICIELS (GÉNIE LOGICIEL)" ;
    .

<http://experiment.worldcat.org/entity/work/data/866516704#Thing/entwicklungswerkzeuge_+_entwicklungstechniken_software_engineering> # ENTWICKLUNGSWERKZEUGE + ENTWICKLUNGSTECHNIKEN (SOFTWARE ENGINEERING)
    a schema:Thing ;
    schema:name "ENTWICKLUNGSWERKZEUGE + ENTWICKLUNGSTECHNIKEN (SOFTWARE ENGINEERING)" ;
    .

<http://experiment.worldcat.org/entity/work/data/866516704#Thing/formal_description_techniques> # FORMAL DESCRIPTION TECHNIQUES
    a schema:Thing ;
    schema:name "FORMAL DESCRIPTION TECHNIQUES" ;
    .

<http://experiment.worldcat.org/entity/work/data/866516704#Thing/formale_beschreibungstechniken> # FORMALE BESCHREIBUNGSTECHNIKEN
    a schema:Thing ;
    schema:name "FORMALE BESCHREIBUNGSTECHNIKEN" ;
    .

<http://experiment.worldcat.org/entity/work/data/866516704#Thing/genie_logiciel> # GÉNIE LOGICIEL
    a schema:Thing ;
    schema:name "GÉNIE LOGICIEL" ;
    .

<http://experiment.worldcat.org/entity/work/data/866516704#Thing/software_engineering> # SOFTWARE ENGINEERING
    a schema:Thing ;
    schema:name "SOFTWARE ENGINEERING" ;
    .

<http://experiment.worldcat.org/entity/work/data/866516704#Thing/techniques_de_description_formelle> # TECHNIQUES DE DESCRIPTION FORMELLE
    a schema:Thing ;
    schema:name "TECHNIQUES DE DESCRIPTION FORMELLE" ;
    .

<http://viaf.org/viaf/27064948> # Marie-Claude Gaudel
    a schema:Person ;
    schema:familyName "Gaudel" ;
    schema:givenName "Marie-Claude" ;
    schema:name "Marie-Claude Gaudel" ;
    .

<http://worldcat.org/isbn/9780387566108>
    a schema:ProductModel ;
    schema:isbn "0387566104" ;
    schema:isbn "9780387566108" ;
    .

<http://worldcat.org/isbn/9783540566106>
    a schema:ProductModel ;
    schema:isbn "3540566104" ;
    schema:isbn "9783540566106" ;
    .

<http://www.worldcat.org/title/-/oclc/610815737>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/610815737> ; # TAPSOFT'93 : theory and practice of software development : 4th international joint conference CAAP-FASE, Orsay, France, April 13-17, 1993 : proceedings
    schema:dateModified "2018-03-22" ;
    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.