Filters








31,427 Hits in 3.1 sec

Debugging via Run-Time Type Checking [chapter]

Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas Reps
2001 Lecture Notes in Computer Science  
This paper describes the design and implementation of a tool for C programs that provides run-time checks based on type information.  ...  type (i.e., the run-time type of u.u2 is not the same as its static type).  ... 
doi:10.1007/3-540-45314-8_16 fatcat:msx25b6s5basxivh6d34gppsiq

Debugging via run-time type checking

Susan Horwitz
2000 Software engineering notes  
This paper describes the design and implementation of a tool for C programs that provides run-time checks based on type information.  ...  type (i.e., the run-time type of u.u2 is not the same as its static type).  ... 
doi:10.1145/340855.340960 fatcat:ku7wzykawjeytalbfmt7gwwmvu

Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada [chapter]

Emmanuel Briot, Franco Gasperoni, Robert Dewar, Dirk Craeynest, Philippe Waroquiers
2003 Lecture Notes in Computer Science  
The paper describes how a particular instance of the checked pool, called the "debug pool", is implemented in the GNAT technology.  ...  This Ada extension rests on the notion of "checked pools", i.e. storage pools with an additional Dereference operation.  ...  Run-Time Performance Impact To get an indication of the run-time performance impact of debug pools, a realistic test is used.  ... 
doi:10.1007/3-540-44947-7_9 fatcat:g3wqfgpevrgg3nliwx72jvypoy

Program Debugging and Validation Using Semantic Approximations and Partial Specifications [chapter]

M. Hermenegildo, G. Puebla, F. Bueno, P. López-García
2002 Lecture Notes in Computer Science  
2, 13, 17, 28] ), developing new tools and procedures, such as specific concrete [4, 15, 16] or abstract [9, 10] diagnosers and declarative debuggers, or limiting error detection to run-time checking [  ...  Program validation and detection of errors is first performed at compile-time by inferring properties of the program via abstract interpretation-based static analysis and comparing this information against  ...  assertions which cannot be checked completely at compile-time.  ... 
doi:10.1007/3-540-45465-9_7 fatcat:x36h4n7445a6xbknvgognvbw7u

Best Practices in Debugging Kepler Workflows

Michał Owsiak, Marcin Płóciennik, Bartek Palak, Tomasz Zok, Olivier Hoenen
2016 Procedia Computer Science  
In this paper we present various techniques related to Kepler development, debugging, and JVM customisation.  ...  These ideas are presented for the sake of saving time and effort by other people who just start their experience with Kepler project.  ...  Debugging Kepler in Eclipse without projects Debugging Kepler in Eclipse might be a quite time consuming process especially in case we want to make quick checks on some actors.  ... 
doi:10.1016/j.procs.2016.05.433 fatcat:lgwhzzzk3zhv7jp3xuek25hpva

An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications

Adrian Pop, Peter Fritzson
2007 Electronical Notes in Theoretical Computer Science  
The SOSDT environment includes support for browsing, code completion through menus or popups, code checking, automatic indentation, and debugging of specifications.  ...  The RML Debugging component communicates via sockets with the RML Debugging Framework to provide debugging facilities like breakpoints, running and stepping, variable value inspection, etc.  ...  As pointed out in [3] , the computer science community is constantly ignoring the debugging problem even though the debugging phase of software development takes more than the overall development time  ... 
doi:10.1016/j.entcs.2006.11.019 fatcat:7pnw7jexrvatrnitwn5zjude24

Taverna Workflow for Validating BioMart Services

Kasikrit Damkliang, Pichaya Tandayya, Ekawat Pasomsub, Wasun Chantratita, Surakameth Mahasirimongkol
2009 2009 International Conference on Signal Processing Systems  
It also reduces debugging time by finding out-of-date processor query fields (filters) and output fields (attributes). In addition, it provides associated information required for future validation.  ...  It saves a significant amount of time by avoiding incorrect workflows caused by out-of-date services.  ...  The more complex the workflow, the more time will be lost in running and debugging the workflow.  ... 
doi:10.1109/icsps.2009.132 fatcat:yj6bagrs7rgxtp6gax7onxevfa

Page 36 of Behavior Research Methods Vol. 2, Issue 1 [page]

1970 Behavior Research Methods  
Following the selection with / allows a new test instruction to be typed in) Test options are 1 and 0. Option 1, shown, checks the accumulator each time the instruction designated by ADD is executed.  ...  Using these features, we were able to develop a successful PDP-8 run-time debug system that does, in fact, reverse the philosophy inherent in most debug routines and, as initially specified: (1) Requires  ... 

Safe polymorphic type inference for a dynamically typed language

Fritz Henglein, Jakob Rehof
1995 Proceedings of the seventh international conference on Functional programming languages and computer architecture - FPCA '95  
We describe a new method for polymorphic type inference for the dynamically typed language Scheme. The method infers both types and explicit run-time type operations (coerc!ons) for a given program.  ...  It can be used to statically debug Scheme programs and to give a high-level translation to ML, in essence providing an "embedding" of Scheme into ML.  ...  From the point of view of static debugging, it is natural to adopt the princi- ple that the inferred run-time type operations should sat- isf y only requirements of run-time t~pe safety  ... 
doi:10.1145/224164.224203 dblp:conf/fpca/HengleinR95 fatcat:ykurclppsvay7ebvvvesdx46sy

Practical domain-specific debuggers using the Moldable Debugger framework

Andrei Chiş, Marcus Denker, Tudor Gîrba, Oscar Nierstrasz
2015 Computer languages, systems & structures  
Understanding the run-time behaviour of software systems can be a challenging activity.  ...  The Moldable Debugger is adapted to a domain by creating and combining domain-specific debugging operations with domain-specific debugging views, and adapts itself to a domain by selecting, at run time  ...  Determining what operations are loaded by which widgets is done at run time via a lookup mechanism of operation declarations (implemented in practice using annotations).  ... 
doi:10.1016/j.cl.2015.08.005 fatcat:6c5kmzim4jb45fwagz3ixe3ete

A new approach to on-line, run-time program logic and error debugging using hardware implementation

Robert S. Enabit
1970 Behavior Research Methods  
run time and (2) status errors of any type may be fed back into the computer, which subsequently outputs the immediate steps leading to that error.  ...  What is believed to be a somewhat different approach to rapid program debugging has been devised in which: (1) execution of the programmer's logical thinking is automatically debugged by the computer at  ...  As a result, the cost in time and patience for run-time debugging frequently exceeds all other commitment.  ... 
doi:10.3758/bf03205726 fatcat:pddzj3fttnd4jpiex6ylfkl3mm

Abstract Verification and Debugging of Constraint Logic Programs [chapter]

Manuel Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
2003 Lecture Notes in Computer Science  
checking (e.g., [34] ).  ...  These systems can approximate at compile-time a wide range of properties, from directional types to variable independence, determinacy or termination, always safely, and with a significant degree of precision  ...  In fact, existing CLP systems perform this checking at run-time.  ... 
doi:10.1007/3-540-36607-5_1 fatcat:rz5h5tjbzvhjng3n2iqgbtwfla

Graphical Model Debugger Framework for embedded systems

Kebin Zeng, Yu Guo, Christo K Angelov
2010 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)  
via model checking.  ...  Once the application is running, GDM starts animating the system's running behaviors at a model level via the Graphical Model Debugger Engine.  ... 
doi:10.1109/date.2010.5457232 dblp:conf/date/ZengGA10 fatcat:3qtzkir6n5h4xldarls3l4chhi

Page 560 of Behavior Research Methods Vol. 6, Issue 6 [page]

1974 Behavior Research Methods  
At run time, the monitor occupies all of field 0 and location 20-50 of each field above 0 which contains a user program.  ...  A number of debugging, and core modification functions are available to the user for testing programs, modifying them, or preparing to run the experiment.  ... 

Transaction-Based Online Debug for NoC-Based Multiprocessor SoCs

Mehdi Dehbashi, Gorschwin Fey
2014 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing  
Monitors and filters observe and filter transactions at run-time. They are connected to a Debug Unit (DU).  ...  Transaction-based programmable Finite State Machines (FSMs) in the DU check assertions online to validate the correct relation of transactions at run-time.  ...  At the step of pattern detection, the CDU checks the debug patterns at run-time. If the CDU detects an error, the second step is started.  ... 
doi:10.1109/pdp.2014.72 dblp:conf/pdp/DehbashiF14 fatcat:dc7w732zszh63ogm62boupahf4
« Previous Showing results 1 — 15 out of 31,427 results