๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Specification-based program slicing and its applications

โœ Scribed by Wan Kwon Lee; In Sang Chung; Gwang Sik Yoon; Yong Rae Kwon

Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
341 KB
Volume
47
Category
Article
ISSN
1383-7621

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Immutability specification and its appli
Immutability specification and its applications
โœ Igor Pechtchanski; Vivek Sarkar ๐Ÿ“‚ Article ๐Ÿ“… 2005 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 299 KB

## Abstract A location is said to be __immutable__ if its value and the values of selected locations reachable from it are guaranteed to remain unchanged during a specified time interval. We introduce a framework for __immutability specification__, and discuss its application to __code optimization

Iso-phote based adaptive surface fitting
Iso-phote based adaptive surface fitting to digitized points and its applications in region-based tool path generation, slicing and surface triangulation
โœ Yin Zhongwei; Jiang Shouwei ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 444 KB

An important task in computer graphics, computer-aided design and reverse engineering is the mathematical modeling of three-dimension complex surfaces based on digitized points. However, there are several open problems that are viewed as a bottleneck in the mathematical modeling. The topology is unk

Graph-based induction and its applicatio
Graph-based induction and its applications
โœ Takashi Matsuda; Hiroshi Motoda; Takashi Washio ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 434 KB