WorldCat Identities

Choppy, C. (Christine)

Overview
Works: 27 works in 60 publications in 2 languages and 1,040 library holdings
Genres: Conference proceedings 
Roles: Editor
Classifications: QA76.76.D47, 005.1
Publication Timeline
Key
Publications about  C Choppy Publications about C Choppy
Publications by  C Choppy Publications by C Choppy
Most widely held works by C Choppy
Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers by M Bidoit ( Book )
13 editions published between 1992 and 1993 in English and held by 322 WorldCat member libraries worldwide
"The algebraic specification of abstract data types has been a flourishing research topic in computer science since 1974. The main goal of this work isto evolve theoretical foundations and a methodology to support the design and formal development of reliable software. This volume gives the proceedings of the Eighth Workshop on Specification of Abstract Data Types, held jointly with the Third COMPASS workshop near Paris in August 1991. The main topics covered by the joint workshop are: - specification languagesand program development - algebraic specification of concurrency - theorem proving - object-oriented specifications - order-sorted algebras - abstract implementation and behavioral semantics. The volume contains four invited surveys and twelve contributed papers, all of which underwent a careful refereeing process."--PUBLISHER'S WEBSITE
Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers by M Wirsing ( Book )
5 editions published in 2000 in English and German and held by 232 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Algebraic Development Techniques, WADT 2002, held at Frauenchiemsee, Germany in September 2002. The 20 revised full papers presented together with 6 invited papers were carefully improved and selected from 44 workshop presentations during two rounds of reviewing. The papers are devoted to topics like formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed, and mobile systems, and algebraic and co-algebraic methods
Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, France, September 15-18, 1999 : selected papers by WADT '99 ( Book )
5 editions published in 2000 in English and held by 13 WorldCat member libraries worldwide
Recent Trends in Algebraic Development Techniques 14th International Workshop, WADT 99, Chteau de Bonas, September 15-18, 1999 Selected Papers ( )
1 edition published in 2000 in English and held by 10 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed post-workshop proceedings of the 14th International Workshop on Algebraic Development Techniques, WADT'99, held in Toulouse, France in September 1999. The 23 revised full papers presented together with three invited papers were carefully reviewed and selected from 69 workshop presentations. The papers address the following topics: algebraic specification and other specification formalisms, test and validation, concurrent processes applications, logic and validation, combining formalisms, subsorts and partiality, structuring, rewriting, co-algebras and sketches, refinement, institutions and categories, and ASM specifications
Complexity analysis of term rewriting systems by C Choppy ( Book )
3 editions published in 1988 in English and held by 8 WorldCat member libraries worldwide
We obtain results that allow a user of our methods to obtain exact expressions and, more usefully, asymptotic approximations of the cost (average or global), without having to explicitely [sic] manipulate series. Instead, one may directly apply our results, that depend only on 'geometrical' characteristics of the system : number of constructors in the left handside [sic], number of occurrences of a derived operator in the right handside [sic], etc. The amount of side computations is extremely reduced."
Foundations of computer software : future trends and techniques for development ; revised selected papers ( Book )
2 editions published in 2010 in English and held by 8 WorldCat member libraries worldwide
Recent Trends in Data Type Specification by M Bidoit ( )
2 editions published in 1993 in English and held by 7 WorldCat member libraries worldwide
Recent trends in data type specification : Joint meeting : Selected papers ( Book )
1 edition published in 1993 in English and held by 5 WorldCat member libraries worldwide
PETRIREVE : Petri net transformations and proofs with rewriting systems by C Choppy ( Book )
1 edition published in 1986 in English and held by 4 WorldCat member libraries worldwide
Algebraic semantics of exception handling by Gilles Bernot ( Book )
1 edition published in 1986 in English and held by 4 WorldCat member libraries worldwide
Rapid prototyping with algebraic specifications : a case study ( Book )
1 edition published in 1993 in English and held by 3 WorldCat member libraries worldwide
Abstract: "The issue of the adequacy of a formal specification with the problem to be solved (or the system to be described) is addressed here through the prototyping approach with algebraic specifications. The case-study of a router is used to show how prototyping techniques for algebraic specifications such as rewriting or resolution can help in checking the various behaviours/properties that are expected. It is also shown how these prototyping techniques can help in 'debugging' the specification."
Abstract rewriting with concrete operators by S Kaplan ( Book )
1 edition published in 1989 in English and held by 3 WorldCat member libraries worldwide
Formal specifications, prototyping and integration tests = Specifications formelles, prototypage et tests d'integration by C Choppy ( Book )
2 editions published in 1987 in English and held by 3 WorldCat member libraries worldwide
The design and specification of the ASSPEGIQUE database by M Bidoit ( Book )
1 edition published in 1990 in English and held by 3 WorldCat member libraries worldwide
Integrating ASSPEGIQUE and LP by C Choppy ( Book )
1 edition published in 1992 in English and held by 3 WorldCat member libraries worldwide
Abstract: "In this paper, we present various issues w.r.t. proving properties of PLUSS specifications with LP, and building an integrated interface between ASSPEGIQUE (the environment that supports PLUSS) and LP. We investigate how general properties can be proved using an adequate presentation of the specifications that may be understood by LP. We address the issue of interfacing the two environments in a way that would be as 'transparent' to the user as possible."
Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France ... 1991 : selected papers by Workshop on Theory and Applications of Abstract Data Types ( )
1 edition published in 1993 in English and held by 1 WorldCat member library worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.77 (from 0.00 for Recent tre ... to 1.00 for Foundation ...)
Alternative Names
Choppy, C.
Choppy, C. LRI CNRS URA
Choppy, Christine
Languages
English (52)
German (1)
Covers