MARC details
| 000 -LEADER |
|---|
| fixed length control field |
08010cam a2200709 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn759993118 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703160958.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr un||||a|a|| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
111108s1993 gw a ob 101 0 eng d |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
|---|
| LC control number |
93010178 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
OCLCE |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
OCLCE |
| Modifying agency |
CUSER |
| -- |
OCLCQ |
| -- |
NLGGC |
| -- |
OCLCO |
| -- |
C$Q |
| -- |
OCLCQ |
| -- |
OCLCF |
| -- |
GW5XE |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
ITD |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
UAB |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
VT2 |
| -- |
CEF |
| -- |
TFW |
| -- |
YOU |
| -- |
OCLCQ |
| -- |
OL$ |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
INARC |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCL |
| -- |
OCLCQ |
| -- |
OCLCL |
| -- |
COA |
| 019 ## - |
|---|
| -- |
150398452 |
| -- |
321384073 |
| -- |
1005835852 |
| -- |
1044269051 |
| -- |
1056383091 |
| -- |
1073064784 |
| -- |
1081265733 |
| -- |
1153041485 |
| -- |
1162750406 |
| -- |
1302542470 |
| -- |
1340049694 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540475989 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540475982 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3540566104 |
| Qualifying information |
(Berlin ; |
| -- |
acid-free paper) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783540566106 |
| Qualifying information |
(Berlin ; |
| -- |
acid-free paper) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
0387566104 |
| Qualifying information |
(New York ; |
| -- |
acid-free paper) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9780387566108 |
| Qualifying information |
(New York ; |
| -- |
acid-free paper) |
| 024 8# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
(WaSeSS)ssj0000327125 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000058030809 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
296873039 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15582562 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)759993118 |
| Canceled/invalid control number |
(OCoLC)150398452 |
| -- |
(OCoLC)321384073 |
| -- |
(OCoLC)1005835852 |
| -- |
(OCoLC)1044269051 |
| -- |
(OCoLC)1056383091 |
| -- |
(OCoLC)1073064784 |
| -- |
(OCoLC)1081265733 |
| -- |
(OCoLC)1153041485 |
| -- |
(OCoLC)1162750406 |
| -- |
(OCoLC)1302542470 |
| -- |
(OCoLC)1340049694 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.76.D47 |
| Item number |
I58 1993 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1 |
| Edition number |
20 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.50 |
| Number source |
bcl |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.52 |
| Number source |
bcl |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
International Joint Conference on Theory and Practice of Software Development |
| Number of part/section/meeting |
(4th : |
| Date of meeting |
1993 : |
| Location of meeting |
Orsay, France) |
| 9 (RLIN) |
43338 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
TAPSOFT '93 : |
| Remainder of title |
theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings / |
| Statement of responsibility, etc. |
M.-C. Gaudel, J.-P. Jouannaud (eds.). |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Berlin ; |
| -- |
New York : |
| Name of producer, publisher, distributor, manufacturer |
Springer-Verlag, |
| Date of production, publication, distribution, manufacture, or copyright notice |
©1993. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xii, 761 pages) : |
| Other physical details |
illustrations |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
668 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Online resource; title from PDF title page (SpringerLink, viewed Oct. 30, 2013). |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This 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# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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-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 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software |
| General subdivision |
Development |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
14853 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logiciels |
| General subdivision |
Développement |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
14855 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software |
| General subdivision |
Development |
| Source of heading or term |
fast |
| 9 (RLIN) |
2949 |
| 650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software. |
| Source of heading or term |
gtt |
| 9 (RLIN) |
16724 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logiciels |
| General subdivision |
Développement |
| -- |
Congrès. |
| Source of heading or term |
ram |
| 9 (RLIN) |
14861 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Génie logiciel |
| General subdivision |
Congrès. |
| Source of heading or term |
ram |
| 9 (RLIN) |
16741 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Congressen (vorm) |
| Source of term |
gtt |
| 9 (RLIN) |
8970 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Gaudel, M.-C. |
| Fuller form of name |
(Marie-Claude) |
| -- |
https://id.oclc.org/worldcat/entity/E39PBJt8jTvwwYDGx6WrJYvfv3 |
| 9 (RLIN) |
43339 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Jouannaud, Jean-Pierre. |
| 9 (RLIN) |
22115 |
| 711 2# - ADDED ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
Colloquium on Trees in Algebra and Programming |
| Date of meeting |
(1993 : |
| Location of meeting |
Orsay, France) |
| 9 (RLIN) |
43340 |
| 711 2# - ADDED ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
FASE (Conference) |
| Date of meeting |
(1993 : |
| Location of meeting |
Orsay, France) |
| 9 (RLIN) |
43341 |
| 740 0# - ADDED ENTRY--UNCONTROLLED RELATED/ANALYTICAL TITLE |
|---|
| Uncontrolled related/analytical title |
Theory and practice of software development. |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
TAPSOFT '93 (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCGq8TrJYFTv9HfqXtBWkpd |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
International Joint Conference on Theory and Practice of Software Development (4th : 1993 : Orsay, France). |
| Title |
TAPSOFT '93. |
| Place, publisher, and date of publication |
Berlin ; New York : Springer-Verlag, ©1993 |
| International Standard Book Number |
3540566104 |
| Record control number |
(DLC) 93010178 |
| -- |
(OCoLC)27814635 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
668. |
| International Standard Serial Number |
0302-9743 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/3-540-56610-4">https://link.springer.com/10.1007/3-540-56610-4</a> |
| 938 ## - |
|---|
| -- |
Internet Archive |
| -- |
INAR |
| -- |
tapsoft93theoryp0000inte |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |