Tools

LEADER 03645cam a2200409 a 4500

001 ocm38573151;

003 OCoLC;

005 20141212131135.0;

008 980305s1998 gw a b 101 0 eng ;

010 a| 98006358;

015 a| GB98-30177;

019 a| 39045704;

020 a| 3540642994 (alk. paper);

035 a| (Sirsi) o38573151;

035 a| (OCoLC)38573151;

049 a| EREE;

050 00 a| QA76.76.D47b| W33 1997;

082 00 a| 005.12| 21;

111 2 a| WADT '97d| (1997 :c| Tarquinia, Italy)=| ^A403542;

245 10 a| Recent trends in algebraic development techniques :b| 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers /c| Francesco Parisi Presicce, (ed.).;

300 a| viii, 433 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 1376;

504 a| Includes bibliographical references and index.;

505 0 a| From abstract data types to algebraic development techniques : a shift of paradigms / H. Ehrig, M. Gajewsky and U. Wolter -- Membership algebra as a logical framework for equational specification / J. Meseguer -- Mapping tile logic into rewriting logic / J. Meseguer and U. Montanari -- An algebra of mixin modules / D. Ancona and E. Zucca -- Correctness of a logical system for structured specifications / T. Borzyszkowski -- Zero-safe nets : the individual token approach / R. Bruni and U. Montanari -- Implementation of derived programs (almost) for free / M. Cerioli and E. Zucca -- A method for FORTRAN programs reverse engineering using algebraic specifications / S. Cherki and C. Choppy -- Coalgebra semantics for hidden algebra : parameterised objects and inheritance / C. Cîrstea -- A completeness result for equational deduction in coalgebraic specification / A. Corradini -- Specifying with defaults : compositional semantics / F.M. Díonisio and U.W. Lipeck -- An inductive view of graph transformation / F. Gadducci and R. Heckel -- On combining semiformal and formal object specification techniques / M. Gogolla and M. Richters -- Modular aspects of rewrite-based specifications / B. Gramlich -- From algebra transformation to labelled transition systems/ M. Groβe-Rhode -- Open maps as a bridge between algebraic observational equivalence and bisimilarity / S. Lasota -- A systematic study of mappings between institutions / A. Martini and U. Wolter -- Colimits of order-sorted specifications / T. Mossakowski -- Static semantic analysis and theorem proving for CASL / T. Mossakowski, Kolyang and B. Krieg-Brückner -- Combining and representing logical systems using model-theoretic parchments / T. Mossakowski, A. Tarlecki and W. Pawlowski -- Towards the one-tiered design of data types and transition systems / P. Padawitz -- Context parchments / W. Pawlowski -- Verifying a compiler optimization for multi-threaded java / B. Reus ... [et al.] -- Categories of relational structures / M. Walicki and M. Białasik.;

650 0 a| Computer softwarex| Developmentv| Congresses.=| ^A191775;

650 0 a| Computer sciencex| Mathematicsv| Congresses.=| ^A248247;

650 0 a| Abstract data types (Computer science)=| ^A191887;

700 1 a| Parisi Presice, Francesco.?| UNAUTHORIZED;

830 0 a| Lecture notes in computer sciencev| 1376.=| ^A466336;

596 a| 1;

998 a| 646056;

999 a| QA76.76.D47 W33 1997w| LCc| 1i| 30372010112420d| 2/20/2013f| 2/20/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 3/11/1999x| BOOKz| JSTACKSo| .STAFF. 0;

Recent trends in algebraic development techniques : 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers / Francesco Parisi Presicce, (ed.).

Author/creator	WADT '97
Other author	Parisi Presice, Francesco.
Format	Book
Publication Info	Berlin ; New York : Springer, ©1998.
Description	viii, 433 pages : illustrations ; 24 cm.
Subjects	Computer software--Development. --Congresses. Computer science--Mathematics. --Congresses. Abstract data types (Computer science)

Series	Lecture notes in computer science ; 1376 Lecture notes in computer science 1376. ^A466336
Contents	From abstract data types to algebraic development techniques : a shift of paradigms / H. Ehrig, M. Gajewsky and U. Wolter -- Membership algebra as a logical framework for equational specification / J. Meseguer -- Mapping tile logic into rewriting logic / J. Meseguer and U. Montanari -- An algebra of mixin modules / D. Ancona and E. Zucca -- Correctness of a logical system for structured specifications / T. Borzyszkowski -- Zero-safe nets : the individual token approach / R. Bruni and U. Montanari -- Implementation of derived programs (almost) for free / M. Cerioli and E. Zucca -- A method for FORTRAN programs reverse engineering using algebraic specifications / S. Cherki and C. Choppy -- Coalgebra semantics for hidden algebra : parameterised objects and inheritance / C. Cîrstea -- A completeness result for equational deduction in coalgebraic specification / A. Corradini -- Specifying with defaults : compositional semantics / F.M. Díonisio and U.W. Lipeck -- An inductive view of graph transformation / F. Gadducci and R. Heckel -- On combining semiformal and formal object specification techniques / M. Gogolla and M. Richters -- Modular aspects of rewrite-based specifications / B. Gramlich -- From algebra transformation to labelled transition systems/ M. Groβe-Rhode -- Open maps as a bridge between algebraic observational equivalence and bisimilarity / S. Lasota -- A systematic study of mappings between institutions / A. Martini and U. Wolter -- Colimits of order-sorted specifications / T. Mossakowski -- Static semantic analysis and theorem proving for CASL / T. Mossakowski, Kolyang and B. Krieg-Brückner -- Combining and representing logical systems using model-theoretic parchments / T. Mossakowski, A. Tarlecki and W. Pawlowski -- Towards the one-tiered design of data types and transition systems / P. Padawitz -- Context parchments / W. Pawlowski -- Verifying a compiler optimization for multi-threaded java / B. Reus ... [et al.] -- Categories of relational structures / M. Walicki and M. Białasik.
Bibliography note	Includes bibliographical references and index.
LCCN	98006358
ISBN	3540642994 (alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.76.D47 W33 1997	✔ Available	Place Hold

Recent trends in algebraic development techniques : 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers / Francesco Parisi Presicce, (ed.).

Click here for more information about this title

Availability