000 08010cam a2200709 a 4500
001 ocn759993118
003 OCoLC
005 20250703160958.0
006 m o d
007 cr un||||a|a||
008 111108s1993 gw a ob 101 0 eng d
010 _a 93010178
040 _aOCLCE
_beng
_epn
_cOCLCE
_dCUSER
_dOCLCQ
_dNLGGC
_dOCLCO
_dC$Q
_dOCLCQ
_dOCLCF
_dGW5XE
_dOCLCO
_dOCLCQ
_dITD
_dOCL
_dOCLCO
_dOCLCQ
_dUAB
_dESU
_dOCLCQ
_dVT2
_dCEF
_dTFW
_dYOU
_dOCLCQ
_dOL$
_dOCLCQ
_dOCLCO
_dINARC
_dOCLCQ
_dOCLCO
_dOCLCL
_dOCLCQ
_dOCLCL
_dCOA
019 _a150398452
_a321384073
_a1005835852
_a1044269051
_a1056383091
_a1073064784
_a1081265733
_a1153041485
_a1162750406
_a1302542470
_a1340049694
020 _a9783540475989
_q(electronic bk.)
020 _a3540475982
_q(electronic bk.)
020 _z3540566104
_q(Berlin ;
_qacid-free paper)
020 _z9783540566106
_q(Berlin ;
_qacid-free paper)
020 _z0387566104
_q(New York ;
_qacid-free paper)
020 _z9780387566108
_q(New York ;
_qacid-free paper)
024 8 _a(WaSeSS)ssj0000327125
029 1 _aAU@
_b000058030809
029 1 _aNLGGC
_b296873039
029 1 _aNZ1
_b15582562
035 _a(OCoLC)759993118
_z(OCoLC)150398452
_z(OCoLC)321384073
_z(OCoLC)1005835852
_z(OCoLC)1044269051
_z(OCoLC)1056383091
_z(OCoLC)1073064784
_z(OCoLC)1081265733
_z(OCoLC)1153041485
_z(OCoLC)1162750406
_z(OCoLC)1302542470
_z(OCoLC)1340049694
050 4 _aQA76.76.D47
_bI58 1993
082 0 4 _a005.1
_220
084 _a54.50
_2bcl
084 _a54.52
_2bcl
049 _aMAIN
111 2 _aInternational Joint Conference on Theory and Practice of Software Development
_n(4th :
_d1993 :
_cOrsay, France)
_943338
245 1 0 _aTAPSOFT '93 :
_btheory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings /
_cM.-C. Gaudel, J.-P. Jouannaud (eds.).
264 1 _aBerlin ;
_aNew York :
_bSpringer-Verlag,
_c©1993.
300 _a1 online resource (xii, 761 pages) :
_billustrations
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
490 1 _aLecture notes in computer science,
_x0302-9743 ;
_v668
504 _aIncludes bibliographical references and index.
588 0 _aOnline resource; title from PDF title page (SpringerLink, viewed Oct. 30, 2013).
520 _aThis volume contains the proceedings of the fourth International Joint Conference on the Theory and Practice of Software Development, TAPSOFT '93. Since the first in 1985, the aim of these conferences has been to bring together theoretical computer scientists and researchers in software engineering with a view to discussing how formal methods can usefully be applied in software development. TAPSOFT '93 consists ofthree parts: an advanced seminar, the Colloquium on Trees in Algebra and Programming (CAAP), and the Colloquium on Formal Approaches of Software Engineering (FASE). The advanced seminar includes four invited surveys and four invited conferences. The selected papers for CAAP are organized in seven sessions: specifications and proofs, concurrency, automata and counting, constraints solving, rewriting, logic and trees, analysis of algorithms, and a common session with FASE on type inference. The selected papers for FASE are presented in eight sessions: case studies in formal design and development, compositionality modules and development, formal development, foundations and analysis of formal specifications, verification of concurrent systems, model checking, parallel calculus, and a common session with CAAP on type inference.
505 0 _aGoldilocks 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-Fraïssé 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.
650 0 _aComputer software
_xDevelopment
_vCongresses.
_914853
650 6 _aLogiciels
_xDéveloppement
_vCongrès.
_914855
650 7 _aComputer software
_xDevelopment
_2fast
_92949
650 1 7 _aSoftware.
_2gtt
_916724
650 7 _aLogiciels
_xDéveloppement
_xCongrès.
_2ram
_914861
650 7 _aGénie logiciel
_xCongrès.
_2ram
_916741
655 7 _aConference papers and proceedings
_2fast
_96065
655 7 _aCongressen (vorm)
_2gtt
_98970
700 1 _aGaudel, M.-C.
_q(Marie-Claude)
_1https://id.oclc.org/worldcat/entity/E39PBJt8jTvwwYDGx6WrJYvfv3
_943339
700 1 _aJouannaud, Jean-Pierre.
_922115
711 2 _aColloquium on Trees in Algebra and Programming
_d(1993 :
_cOrsay, France)
_943340
711 2 _aFASE (Conference)
_d(1993 :
_cOrsay, France)
_943341
740 0 _aTheory and practice of software development.
758 _ihas work:
_aTAPSOFT '93 (Text)
_1https://id.oclc.org/worldcat/entity/E39PCGq8TrJYFTv9HfqXtBWkpd
_4https://id.oclc.org/worldcat/ontology/hasWork
776 0 8 _iPrint version:
_aInternational Joint Conference on Theory and Practice of Software Development (4th : 1993 : Orsay, France).
_tTAPSOFT '93.
_dBerlin ; New York : Springer-Verlag, ©1993
_z3540566104
_w(DLC) 93010178
_w(OCoLC)27814635
830 0 _aLecture notes in computer science ;
_v668.
_x0302-9743
856 4 0 _uhttps://link.springer.com/10.1007/3-540-56610-4
938 _aInternet Archive
_bINAR
_ntapsoft93theoryp0000inte
994 _a92
_bATIST
999 _c641271
_d641271