Sciweavers

4469 search results - page 246 / 894
» Dynamic Program Slicing
Sort
View
VL
1991
IEEE
183views Visual Languages» more  VL 1991»
13 years 11 months ago
The Conceptual Programming Environment, CP: Reasoning Representation using Graph Structures and Operations
The Conceptual Programming environment, CP, being developed at the Computing Research Laboratory (CRL), is a complete knowledge representation visual programming environment for u...
Heather Pfeiffer, Roger T. Hartley
CL
2004
Springer
13 years 8 months ago
A browser for incremental programming
Much of the elegance and power of Smalltalk comes from its programming environment and tools. First introduced more than 20 years ago, the Smalltalk browser enables programmers to...
Nathanael Schärli, Andrew P. Black
SAC
2008
ACM
13 years 7 months ago
Extending omniscient debugging to support aspect-oriented programming
Debugging is a tedious and costly process that demands a profound understanding of the dynamic behavior of programs. Debugging aspect-oriented software is even more difficult: to ...
Guillaume Pothier, Éric Tanter
CORR
2010
Springer
180views Education» more  CORR 2010»
13 years 5 months ago
XSB: Extending Prolog with Tabled Logic Programming
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this ar...
Terrance Swift, David Scott Warren
CAV
2009
Springer
171views Hardware» more  CAV 2009»
14 years 8 months ago
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs
Active testing has recently been introduced to effectively test concurrent programs. Active testing works in two phases. It first uses predictive off-the-shelf static or dynamic pr...
Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik...