Sciweavers

4767 search results - page 82 / 954
» Structures for Abstract Rewriting
Sort
View
INFSOF
1998
78views more  INFSOF 1998»
13 years 8 months ago
Program slices as an abstraction for cohesion measurement
Slices as an Abstraction for Cohesion Measurement Linda M. Ott Michigan Technological University James M. Bieman Colorado State University The basis for measuring many attributes ...
Linda M. Ott, James M. Bieman
CG
2011
Springer
13 years 3 months ago
Exoskeleton: Curve network abstraction for 3D shapes
TON: Curve Network Abstraction for 3D Shapes Fernando de Goesa,∗ , Siome Goldensteinb , Mathieu Desbruna , Luiz Velhoc aCalifornia Institute of Technology, Pasadena, CA 91125, US...
Fernando de Goes, Siome Goldenstein, Mathieu Desbr...
PODC
1991
ACM
14 years 11 days ago
Randomized Wait-Free Concurrent Objects (Extended Abstract)
d abstract) Maurice Herlihy Digital Equipment Corporation Cambridge Research Laboratory One Kendall Square Cambridge MA, 02139 Digital Equipment Corporation Cambridge Research Lab ...
Maurice Herlihy
POPL
1998
ACM
14 years 1 months ago
A Functional Representation of Data Structures with a Hole
Data structures with a hole, in other words data structures with an uninitialized field, are useful to write efficient programs: they enable us to construct functional data stru...
Yasuhiko Minamide
SLOGICA
2008
83views more  SLOGICA 2008»
13 years 8 months ago
Structural Realism, Scientific Change, and Partial Structures
Abstract. Scientific change has two important dimensions: conceptual change and structural change. In this paper, I argue that the existence of conceptual change brings serious dif...
Otávio A. S. Bueno