Sciweavers

6740 search results - page 717 / 1348
» Using Classification as a Programming Language
Sort
View
ASWEC
2004
IEEE
15 years 10 months ago
Snapshot Query-Based Debugging
Object-oriented programs, when executed, produce a complex webs of objects and references between them, generally referred to as object graphs. These object graphs are difficult t...
Alex Potanin, James Noble, Robert Biddle
FPL
2006
Springer
115views Hardware» more  FPL 2006»
15 years 10 months ago
Executing Hardware as Parallel Software for Picoblaze Networks
Multi-processor architectures have gained interest recently because of their ability to exploit programmable silicon parallelism at acceptable power-efficiency figures. Despite th...
Pengyuan Yu, Patrick Schaumont
AGP
1994
IEEE
15 years 10 months ago
A Compositional Semantics for Conditional Term Rewriting Systems
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...
María Alpuente, Moreno Falaschi, Marí...
CORR
2010
Springer
136views Education» more  CORR 2010»
15 years 7 months ago
Applying Prolog to Develop Distributed Systems
Development of distributed systems is a difficult task. Declarative programming techniques hold a promising potential for effectively supporting programmer in this challenge. Whil...
Nuno P. Lopes, Juan A. Navarro, Andrey Rybalchenko...
ML
2006
ACM
15 years 7 months ago
Type-sensitive control-flow analysis
Higher-order typed languages, such as ML, provide strong support for data and type abn. While such abstraction is often viewed as costing performance, there are situations where i...
John H. Reppy