Learn More About This
Directory
This directory sponsored by SIQL, a Spider Makers company...
1. Re: Cobol-BAL Debuggers - MVS Batch & CICS
- www.usenet.com
- Re: Cobol-BAL Debuggers - MVS Batch & CICS.
- __Subject__: Re: Cobol-BAL Debuggers - MVS Batch & CICS .
- "Nazih Noujaim" < EMAIL PROTECTED > wrote in message news: EMAIL PROTECTED > we are looking for a decent debugger to help us debug our Batch > applications written in COBOL and BAL Can anyone recommend a good > debugger? Most of the really good - and even the merely 'decent' - debuggers I know are already employed full-time, so they probably wouldn't be available except on a limited basis. ...
- Cobol-BAL Debuggers - MVS Batch & CICS, Nazih Noujaim .
- Re: Cobol-BAL Debuggers - MVS Batch & CICS, Michael Mattias .
- Re: Cobol-BAL Debuggers - MVS Batch & CICS, Colin Campbell .
- Re: Cobol-BAL Debuggers - MVS Batch & CICS, William M. ...
- Re: Cobol-BAL Debuggers - MVS Batch & CICS, Colin Campbell .
- Re: Cobol-BAL Debuggers - MVS Batch & CICS, JerryMouse .
2. Correctness Proofs of Compilers and Debuggers: an Approach Based on Structural Operational Semantics
- www.lfcs.inf.ed.ac.uk
- Correctness Proofs of Compilers and Debuggers: an Approach Based on Structural Operational Semantics.
- Abstract: In this thesis we study the use of semantics-based formal methods in the specification and proof of correctness of compilers and debuggers. ... We define program evaluation and a notion of evaluation step based on a Structural Operational Semantics and use these definitions as the basis for the specification of debuggers. ...
- The main results of this thesis are a definition of a variant of Structural Operational Semantics, called Relational Semantics, which is the underlying formalism of this thesis; the definition of a notion of Observational Equivalence between Relational Semantics Specifications; a formulation of the problem of compiler correctness using Observational Equivalence; an evaluation model for programming languages and a definition of an evaluation step; an abstract definition of Inerpreter-debuggers; a specification notation for the formal specification of debuggers, called DSL; a notion of equivalence between debuggers using bisimulation; a study on Compiler-debuggers and the problems involved in their definition.
- These results form a theory for the formal specification and proofs of correctness of compilers and debuggers. Our starting point is that the use of this theory helps in building better compilers and debuggers. ...
3. 5. Commercial Debuggers
- www.pti.co.il
4. Correctness Proofs of Compilers and Debuggers: an Overview of an Approach Based on Structural Operational Semantics
- www.lfcs.inf.ed.ac.uk
- Correctness Proofs of Compilers and Debuggers: an Overview of an Approach Based on Structural Operational Semantics.
- In this paper we study the use of semantics-based formal methods in the specification and proof of correctness of compilers and debuggers. ... We define program evaluation and a notion of evaluation step based on a Structural Operational Semantics and use these definitions as the basis for the specification of debuggers. ...
5. Philippe Robin - RE: ARM Debuggers backtrace
- www.cygwin.com
- RE: ARM Debuggers backtrace.
- Subject: RE: ECOS ARM Debuggers backtrace .
- debug_frame section used by the arm >debuggers. ... html and thread for details) > >Philippe, since you work at ARM, I figured this could be a good idea if you >could tell the people in charge of the Arm debuggers (maybe in particular >the ones working on the dwarf2 stuff) that it seems they got something >wrong. ... com > > Subject: RE: ECOS ARM Debuggers backtrace > > > > > And all that to see that gcc 3 doesn't seem to handle ARM > > call stack better > > that 2. ...
- RE: ARM Debuggers backtrace .
6. Python-Dev Set-next-statement in Python debuggers
- mail.python.org
- Python-Dev Set-next-statement in Python debuggers .
- Next message: Python-Dev Set-next-statement in Python debuggers .
- I'm writing a Python debugger, and as Armin says, his patch "could also be used by advanced debuggers to allow the execution point to be modified by the user. ... f_lasti were writable by Python trace functions, pure Python debuggers (including pdb) could implement Set-Next-Statement. ... I would say that the power of a Set-next-statement feature in pdb and other debuggers is worth the price, but others may disagree. ...
- Next message: Python-Dev Set-next-statement in Python debuggers .
7. Comp.compilers: Re: debuggers - request for information
- compilers.iecc.com
- Re: debuggers - request for information.
- debuggers - request for information arnew@ifi.uio. ...
- Re: debuggers - request for information simmons@bnr.ca (steve (s. ...
- Re: debuggers - request for information Zhiqing. ...
- Re: debuggers - request for information vern@daffy.ee. ...
- Re: debuggers - request for information kadhim@munge.cs. ...
- Re: debuggers - request for information dmurphya@cix.compulink. ...
- Re: debuggers - request for information baynes@ukpsshp1.serigate. ...
- Re: debuggers - request for information pardo@cs.washington. ...
- Re: debuggers - request for information ok@cs.rmit. ...
- Re: debuggers - request for information sriram@tcs.com (1995-07-20).
- Re: debuggers - request for information R. ...
- Re: debuggers - request for information reid@HASKELL.SYSTEMSZ. ...
- Re: debuggers - request for information bill@amber.ssd. ...
- Re: debuggers - request for information pardo@cs.washington. ...
- Re: debuggers - request for information boggs@osage.csc. ...
8. 4. Free external debuggers
- www.pti.co.il
9. LinuxElectrons™: Embedded Toolsmiths’ Powerful, Cost-Effective Debuggers to Support AMCC PowerPC Processors
- www.linuxelectrons.com
- Embedded Toolsmiths’ Powerful, Cost-Effective Debuggers to Support AMCC PowerPC Processors.
- – Embedded Toolsmiths has announced the delivery of its powerful Guardian-SE JTAG ICE and Agile-DB Debuggers to field engineers in Applied Micro Circuits Corporation’s (AMCC) (NASDAQ:AMCC) domestic and International sales and support offices. Embedded Toolsmiths’ powerful, cost-effective debuggers will support AMCC’s entire portfolio of PowerPC 4XX processors.
10. Tutor Debuggers that permit you to change variable values d uring debug session
- mail.python.org
- Tutor Debuggers that permit you to change variable values d uring debug session .
- Next message: Tutor Debuggers that permit you to change variable values d uring debug session .
- org Subject: RE: Tutor Debuggers that permit you to change variable values d uring debug session > From: Mallett, Roger SMTP:rmallett@rational. ...
- Next message: Tutor Debuggers that permit you to change variable values d uring debug session .
11. Debuggers Product Details and Product Information
- edtn.bitpipe.com
12. RPM of Group Development/Debuggers
- www.dc.fit.qut.edu.au
Other related topics:
Do you have a great site about Debuggers? Is
your Debuggers site listed here?
Would you like a prefered placement of your site in this directory?
It's easy! First place, the HTML from the box below on your page that
you would like listed in this directory.
Then use our link submission request with
your name, your contact information, and the URL of your site that has
a link to this directory. After we
verify your link to us, we'll make sure your site stays in our directory,
and we'll give it prefered placement here also.
Here is how to make a simple text link to us. Just copy the code in this
box to your website:
We can also develop a custom Guide To The Internet for your site. Please
request your own
custom Guide To The Internet.
This custom Guide To The Internet produced by
Siql. Visit us today, and find out how to get your own
custom guide to the Internet, and how to get your site
listed in our guides.
Copyright 1995-2005 by Siql. All
Rights Reserved.