Foundations of Software Science and Computation Structures 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings /

ETAPS 2002 is the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprises ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), th...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Nielsen, Mogens (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Engberg, Uffe (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
Έκδοση:1st ed. 2002.
Σειρά:Lecture Notes in Computer Science, 2303
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 05660nam a2200613 4500
001 978-3-540-45931-6
003 DE-He213
005 20191027122733.0
007 cr nn 008mamaa
008 121227s2002 gw | s |||| 0|eng d
020 |a 9783540459316  |9 978-3-540-45931-6 
024 7 |a 10.1007/3-540-45931-6  |2 doi 
040 |d GrThAP 
050 4 |a QA75.5-76.95 
050 4 |a QA76.63 
072 7 |a UY  |2 bicssc 
072 7 |a COM014000  |2 bisacsh 
072 7 |a UY  |2 thema 
072 7 |a UYA  |2 thema 
082 0 4 |a 004.0151  |2 23 
245 1 0 |a Foundations of Software Science and Computation Structures  |h [electronic resource] :  |b 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings /  |c edited by Mogens Nielsen, Uffe Engberg. 
250 |a 1st ed. 2002. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2002. 
300 |a XIII, 443 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 2303 
505 0 |a Invited Paper -- Semantical Evaluations as Monadic Second-Order Compatible Structure Transformations -- Contributed Papers -- Verification for Java's Reentrant Multithreading Concept -- On the Integration of Observability and Reachability Concepts -- Proving Correctness of Timed Concurrent Constraint Programs -- Generalised Regular MSC Languages -- On Compositional Reasoning in the Spi-calculus -- On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability -- A First-Order One-Pass CPS Transformation -- The Demonic Product of Probabilistic Relations -- Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation -- Varieties of Effects -- A Characterization of Families of Graphs in Which Election Is Possible -- Equivalence-Checking with One-Counter Automata: A Generic Method for Proving Lower Bounds* -- Efficient Type Matching -- Higher-Order Pushdown Trees Are Easy -- Conflict Detection and Resolution in Access Control Policy Specifications -- Logics Admitting Final Semantics -- Model Checking Fixed Point Logic with Chop -- On Model Checking Durational Kripke Structures -- Model-Checking Infinite Systems Generated by Ground Tree Rewriting -- Bounded MSC Communication -- The Informatic Derivative at a Compact Element -- Heterogeneous Development Graphs and Heterogeneous Borrowing -- Notions of Computation Determine Monads -- A Calculus of Circular Proofs and Its Categorical Semantics -- Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes -- Note on the Tableau Technique for Commutative Transition Systems -- A Semantic Basis for Local Reasoning -- Linearity and Bisimulation. 
520 |a ETAPS 2002 is the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprises ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), thirteen satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS and VISS), eight invited lectures (not including those that are speci?c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. 
650 0 |a Computers. 
650 0 |a Software engineering. 
650 0 |a Computer logic. 
650 0 |a Mathematical logic. 
650 0 |a Programming languages (Electronic computers). 
650 1 4 |a Theory of Computation.  |0 http://scigraph.springernature.com/things/product-market-codes/I16005 
650 2 4 |a Software Engineering/Programming and Operating Systems.  |0 http://scigraph.springernature.com/things/product-market-codes/I14002 
650 2 4 |a Logics and Meanings of Programs.  |0 http://scigraph.springernature.com/things/product-market-codes/I1603X 
650 2 4 |a Mathematical Logic and Formal Languages.  |0 http://scigraph.springernature.com/things/product-market-codes/I16048 
650 2 4 |a Programming Languages, Compilers, Interpreters.  |0 http://scigraph.springernature.com/things/product-market-codes/I14037 
650 2 4 |a Software Engineering.  |0 http://scigraph.springernature.com/things/product-market-codes/I14029 
700 1 |a Nielsen, Mogens.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Engberg, Uffe.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783662165805 
776 0 8 |i Printed edition:  |z 9783540433668 
830 0 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 2303 
856 4 0 |u https://doi.org/10.1007/3-540-45931-6  |z Full Text via HEAL-Link 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
912 |a ZDB-2-BAE 
950 |a Computer Science (Springer-11645)