Skip to main content
SpringerLink
Log in

HyperDEBU: A multiwindow debugger for parallel logic programs

  • Conference paper
  • First Online:
Parallel Symbolic Computing: Languages, Systems, and Applications (PSC 1992)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 748))

Included in the following conference series:

Abstract

In this paper, a multiwindow debugger HyperDEBU for finegrained highly parallel programs is presented. The target language of HyperDEBU is Fleng which is one of the committed choice languages. This debugger supports many kinds and levels of views of programs, and helps user to locate bugs efficiently.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Mcdowell, C.E. and Helmbold, D.P.: Debugging Concurrent Programs, ACM Computing Surveys, Vol. 21 No.4, pp. 593–622 (1989).

    Google Scholar 

  2. Nilsson, M. and Tanaka, H.: Massively Parallel Implementation of Flat GHC on the Connection Machine, Proc. of the Int. Conf. on Fifth Generation Computer Systems, p1031–1040 (1988).

    Google Scholar 

  3. Koike, H. and Tanaka, H.: Parallel Inference Engine PIE64, in Parallel Computer Architecture, bit, Vol. 21, No.4, 1989, pp. 488–497 (in Japanese).

    Google Scholar 

  4. (Ed.) Shapiro, E.: Concurrent Prolog: Collected Papers, (Vols. 1 and 2), The MIT Press (1987).

    Google Scholar 

  5. Murakami, M.: An Axiomatic Verification Method for Synchronization of Guarded Horn Clauses Programs, ICOT Technical Report TR-339, ICOT (1988).

    Google Scholar 

  6. Murakami, M.: A Declarative Semantics of Parallel Logic Programs with Perpetual Processes, ICOT Technical Report TR-406, ICOT (1988).

    Google Scholar 

  7. Tatemura, J. and Tanaka, H.: Debugger for a Parallel Logic Programming Language Fleng, Proc. of Logic Programming Conference '89 (1989).

    Google Scholar 

  8. Chikayama,T. and Suzaki, K.: PIMOS 1.5 Introductory Manual, ICOT Technical Memorandum TM-884, ICOT (1989).

    Google Scholar 

  9. Maeda, M., Uoi, H. and Tokura, N.: Process and Stream Oriented Debugger for GHC Programs, Proc. of Logic Programming Conference '90 (1990).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical Engineering, Faculty of Engineering, The University of Tokyo, 7-3-1 Hongo Bunkyo-ku, 113, Tokyo, Japan

    Hidehiko Tanaka & Jun-Ichi Tatemura

Authors
  1. Hidehiko Tanaka
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jun-Ichi Tatemura
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Robert H. Halstead Jr. Takayasu Ito

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Tanaka, H., Tatemura, JI. (1993). HyperDEBU: A multiwindow debugger for parallel logic programs. In: Halstead, R.H., Ito, T. (eds) Parallel Symbolic Computing: Languages, Systems, and Applications. PSC 1992. Lecture Notes in Computer Science, vol 748. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0018652

Download citation

  • DOI: https://doi.org/10.1007/BFb0018652

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57396-8

  • Online ISBN: 978-3-540-48133-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation