Filters








8 Hits in 3.4 sec

A zoom-declarative debugger for sequential Erlang programs

Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
2015 Science of Computer Programming  
In order to represent the erroneous computation, a semantic calculus for sequential Core Erlang programs is proposed.  ...  This paper applies declarative debugging to the sequential subset of the language Erlang.  ...  A Calculus for Sequential Erlang This section presents the main rules of our calculus for Core Erlang Sequential Programs (CESC in the following). The complete set of rules is presented in [7] .  ... 
doi:10.1016/j.scico.2015.06.011 fatcat:dj5b4oyywjds7elaiql3myrhaq

EDD: A Declarative Debugger for Sequential Erlang Programs [chapter]

Rafael Caballero, Enrique Martin-Martin, Adrian Riesco, Salvador Tamarit
2014 Lecture Notes in Computer Science  
This paper presents a tool implementing this approach for the sequential subset of Erlang, a functional language with dynamic typing and strict evaluation.  ...  Declarative debuggers are semi-automatic debugging tools that abstract the execution details to focus on the program semantics.  ...  Concluding Remarks and Ongoing Work EDD is a declarative debugger for sequential Erlang.  ... 
doi:10.1007/978-3-642-54862-8_49 fatcat:6giln37cdvbvxiqe2irnyt3x2a

A Survey of Algorithmic Debugging

Rafael Caballero, Adrián Riesco, Josep Silva
2017 ACM Computing Surveys  
Algorithmic debugging is a technique proposed in 1982 by E.Y. Shapiro in the context of logic programming.  ...  From this comparison, we elaborate a summary of desirable characteristics that should be considered when implementing future algorithmic debuggers.  ...  Naveso Cranford for a detailed English revision, and to the anonymous referees for their constructive criticism and suggestions.  ... 
doi:10.1145/3106740 fatcat:4wkixlg3ivb27pngnqpy3f6v44

Moldable tools

Vasile-Andrei Chis
2016
Development tools are a prerequisite for crafting software. They offer the lenses through which developers perceive and reason about their software systems.  ...  For each activity we identify limitations of current tools, show how redesigning those tools following the moldable tools approach addresses the identified limitations, and discuss the cost for creating  ...  Dalek [Olsson et al. 1991 ] is a C debugger employing a dataflow approach for debugging sequential programs: developers create high-level events by combining primitive events and other high-level events  ... 
doi:10.24442/boristheses.866 fatcat:clpr4yaod5c7hissi6oekmh7xe

Evaluation and Usability of Programming Languages and Tools (PLATEAU) PLATEAU 2009

Craig Anslow, Shane Markstrum, Emerson Murphy-Hill
2010 unpublished
In one sense the usability issues for programming languages and tools are nothing special.  ...  Abstract Evaluating the usability of a programming language or tool requires a number of pieces to fall into place.  ...  at CA Labs, for providing data and feedback necessary for the visualiser.  ... 
fatcat:nb4ev2loh5cnzf4um3iisgzxem

Computer and Information Science, Vol. 3, No. 1, February, 2010

Editor CIS
2010 Computer and Information Science  
A Knowledge Innovation Algorithm Based on Granularity  ...  Rule 6: For a relation, if attribute A (except foreign key) is declared as NOT NULL, then the cardinality of the property corresponding to A is 1.  ...  The static analysis of program code includes program constraint code or glue code among components. For example, there is a program code which has date input parameters.  ... 
doi:10.5539/cis.v3n1p0 fatcat:lest4lycincrhb3aojneniqgci

OASIcs, Volume 62, SLATE'18, Complete Volume [article]

Pedro Rangel Henriques, José Paulo Leal, António Leitão, Xavier Gómez Guinovart
2018
and are still open for further research.  ...  Although they have been extensively used as indicators in text-alignment tasks, to the best of my knowledge, the linguistic implications of such a basic and easily observable phenomenon have not been explained  ...  For instance, the debugger can help to find bugs in programs, by running it step by step, stopping at some event or specified instruction (i.e., a breakpoint), and tracking the values of variables.  ... 
doi:10.4230/oasics.slate.2018 fatcat:enml6v2mwjdgtfqctx4xgnwt4q

Inform atica An International Journal of Computing and Informatics Simulation Modelling Methodology and Education O t~ I Oi i t

S-I
1997 Polurne   unpublished
Acknowledgements The čase study work described in this paper was partially funded by Johnson & Johnson Hellas S.A. as part of a wider Business Process Re-engineering project undertaken by the Electronic  ...  Examples of this being the use of animated graphics for visualisation by Hurrion (1976) and the use of source level debuggers to support program development.  ...  GPSS allows for very compact programs. With only a few blocks one can produce quite interesting programs.  ... 
fatcat:sk3xo32wengjljexw23a3ugv4a