Sciweavers

7430 search results - page 32 / 1486
» Programming Applications in CIFF
Sort
View
PLILP
1994
Springer
15 years 1 months ago
Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing
Abstract. Program slicing is a useful technique for debugging, testing, and analyzing programs. A program slice consists of the parts of a program which (potentially) affect the va...
John Field, Frank Tip
58
Voted
ER
2009
Springer
96views Database» more  ER 2009»
15 years 4 months ago
Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations
Richard Dapoigny, Patrick Barlatier