An OBJ3 functional specification for boundary representation

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

An OBJ3 functional specification for boundary representation

Full text

Pdf (1.22 MB)

Source

ACM Symposium on Solid and Physical Modeling archive
Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications table of contents

Austin, Texas, United States

Pages: 61 - 72

Year of Publication: 1991

ISBN:0-89791-427-9

Author

Jean-François Dufourd

Centre de Recherche en Informatique, Université Louis-Pasteur, 7 rue René-Descartes, 67084 Strasbourg cedex, France

Sponsor

SIGGRAPH: ACM Special Interest Group on Computer Graphics and Interactive Techniques

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 10, Citation Count: 2

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/112515.112529 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	P. Baumann, A Formal Specification of a Boundary Representation, Proc. Eurographics, Nice, France, North- Holland, 1988, 141-154.
	2	J. A. Bergstra , Jan Heering , Paul Klint, Algebraic specification, ACM Press, New York, NY, 1989
	3	Y. Bertrand & J.F. Dufourd, Algebraic Specification of a 3D Modeler based on hypermaps, Res. Rep., CRI-ULP, Strasbourg, 1991, submitted.
	4	D. Bj6mer & al., VDM - A Formal Method at Work, LNCS 252, Springer-Verlag, 1987.
	5	Wadoud Bousdira , Jean-Luc Remy, Hierarchical Contextual Rewriting with Several Levels, Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, p.193-206, February 11-13, 1988
	6	R. Cori, Un Code pour les Graphes Planaires et ses Applications, Ast~risque, Vol 27, Soc. Math. de France, Paris, 1975.
	7	Nachum Dershowitz , M. Okada, A rationale for conditional equational programming, Theoretical Computer Science, v.75 n.1-2, p.111-138, Sep. 1990 [doi>10.1016/0304-3975(90)90064-O]
	8	D. A. Duce , E. V. C. Fielding , L. S. Marshall, Formal specification of a small example based on GKS, ACM Transactions on Graphics (TOG), v.7 n.3, p.180-197, July 1988 [doi>10.1145/44479.44481]
	9	Jean-Francois Dufourd, Construction of interactive programs in computer graphics, Computer Graphics Forum, v.7 n.3, p.161-176, September 1988 [doi>10.1111/j.1467-8659.1988.tb00607.x]
	10	J.F. Dufourd, C. Gross & J.C. Spehner, A Digitisation Algorithm for the Entry of Planar Maps, Proc. Comp. Graphics Int., Leeds, UK, Springer, 1989, 649-662.
	11	J.F. Dufourd, Algebraic Map-Based Topological Kernel for Polyhedron Modelers, Proc. Eurographics, Hamburg, FRG, Elsevier, 1989, 301-312.
	12	Jean-François Dufourd, Formal specification of topological subdivisions using hypermaps, Computer-Aided Design, v.23 n.2, p.99-116, March 1991 [doi>10.1016/0010-4485(91)90001-D]
	13	J. Edmonds, A Combinatorial Representation for Polyhedral Surfaces, Notices of AMS, Vol 7, 1960.
	14	Hartmut Ehrig , B. Mahr, Fundamentals of Algebraic Specification I, Springer-Verlag New York, Inc., Secaucus, NJ, 1985
	15	M. Gangnet , J.-C. Hervé , T. Pudet , J.-M. van Thong, Incremental computation of planar maps, ACM SIGGRAPH Computer Graphics, v.23 n.3, p.345-354, July 1989
	16	J.A. Goguen & T. Winkler, Introducing OBJ3, R es. Report, SRI-CSL-88-9, Menlo Park, California, 1988.
	17	J.A. Goguen, OBJ as a Theorem Prover with Applications to Hardware Verification, Res. Report, SRI-CSL-88-dR2, Menlo Park, 1988.
	18	A. Jacques, Constellations et Graphes Topologiques, in Combinatorial Theory and Applications, Budapest, Hungary, 1970, 657-673.
	19	C B Jones, Systematic software development using VDM, Prentice Hall International (UK) Ltd., Hertfordshire, UK, 1986
	20	C. Kirchner, H. Kirchner & J. Meseguer, An Operational Semantics of OBJ-3, Proc. ICALP, Tampere, Finland, LNCS, Vol 317, Springer-Verlag, 1998, 287-301.
	21	A. L. Lakshminarasimhan , M. Srivas, A framework for functional specification and transformation of hidden surface elimination algorithms, Computer Graphics Forum, v.8 n.2, p.75-98, June 1989 [doi>10.1111/j.1467-8659.1989.tb00461.x]
	22	Pascal Lienhardt, Extension of the Notion of Map and Subdivisions of a Three-Dimensional Space, Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, p.301-311, February 11-13, 1988
	23	P. Lienhardt, Subdivisions of n-dimensional spaces and n-dimensional generalized maps, Proceedings of the fifth annual symposium on Computational geometry, p.228-236, June 05-07, 1989, Saarbruchen, West Germany [doi>10.1145/73833.73859]
	24	Pascal Lienhardt, Topological models for boundary representation: a comparison with n-dimensional generalized maps, Computer-Aided Design, v.23 n.1, p.59-82, Jan./Feb. 1991 [doi>10.1016/0010-4485(91)90082-8]
	25	William R. Mallgren, Formal Specification of Graphic Data Types, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.4, p.687-710, Oct. 1982 [doi>10.1145/69622.357191]
	26	M. Mantyla & R. Sulonen, GWB : A Solid Modeler with Euler Operators, IEEE CG&A, Vol 2, No 7, 1982, 17-31.
	27	M. Mantyla, Introduction to Solid Modeling, W. H. Freeman & Co., New York, NY, 1988
	28	James R. Miller, Architectural Issues in Solid Modelers, IEEE Computer Graphics and Applications, v.9 n.5, p.72-87, September 1989 [doi>10.1109/38.35539]
	29	M. S. Parsons, Image representations using Miranda laws, Computer Graphics Forum, v.8 n.2, p.99-106, June 1989 [doi>10.1111/j.1467-8659.1989.tb00462.x]
	30	Aristides G. Requicha, Representations for Rigid Solids: Theory, Methods, and Systems, ACM Computing Surveys (CSUR), v.12 n.4, p.437-464, Dec. 1980 [doi>10.1145/356827.356833]
	31	A.A.G. Requicha & H.B. Voelker, Solid Modeling: Current Status and Research Directions, IEEE CG&A, Vol 3, No 7, 1983, 25-37.
	32	J.L. R~my & H. Zhang, Reveur4: A System for Validating Conditional Algebraic Specifications of Abstract Data Types, Proc. 6th ECAI Conf., Pisa, Italy, 1984, 193-206.
	33	J. M. Spivey, The Z notation: a reference manual, Prentice-Hall, Inc., Upper Saddle River, NJ, 1989
	34	Hiroshi Sakurai , David C. Gossard, Recognizing Shape Features in Solid Models, IEEE Computer Graphics and Applications, v.10 n.5, p.22-32, September 1990 [doi>10.1109/38.59033]
	35	W.T. Tutte, Graph Theory, ha Encyclopedia of Mathematics and its Applications, Addison-Wesley, 1984.
	36	K. Weiler, Edge-Based Data Structures for Solid Modeling in Curved-Surface Environments, IEEE CG&A, Vol 5, No 1, 1985, 21-40.

CITED BY 2

	Jean-François Dufourd , Sven Luther, Parametrizing geometric objects using λ-calculus, Proceedings of the 18th spring conference on Computer graphics, April 24-27, 2002, Budmerice, Slovakia
	Jean-Francois Dufourd , Sven Luther, Interacting with parametrized geometric objects using lambda-terms, Proceedings of the seventh ACM symposium on Solid modeling and applications, June 17-21, 2002, Saarbrücken, Germany