Workshop paper
A Stream-based Implementation of XML Encryption
Takeshi Imamura, Andy Clark, et al.
CCS 2002
We propose a visual computation model called the Box and Plane Model (BPM), which visually clarifies the semantics of backtracking, the cut operator, and side-effects, thus allowing the procedural features of Prolog to be grasped. On the bases of the BPM, we developed a visual debugger for Prolog, PROEDIT2, which has proved that this kind of pragmatic computation model for Prolog increases the efficiency of the debugging work. © 1990 Ohmsha, Ltd. and Springer.
Takeshi Imamura, Andy Clark, et al.
CCS 2002
Sachiko Yoshihama, Tim Ebringer, et al.
ICWS 2005
Naohiko Uramoto, Hiroshi Maruyama
ICPP 1999
Mikio Aoyama, Sanjiva Weerawarana, et al.
Proceedings-International Conference on Software Engineering