Filters








936 Hits in 2.1 sec

Direct Interpretation of Functional Programs for Debugging

John Whitington, Tom Ridge
2019 Electronic Proceedings in Theoretical Computer Science  
We present initial work towards a new debugger for OCaml which operates by direct interpretation of the program source, allowing the printing out of individual steps of the program's evaluation.  ...  to be suitable for widespread adoption.  ...  The Poly/ML implementation of Standard ML contains an interactive debugger which operates not in a separate environment, but within the usual REPL.  ... 
doi:10.4204/eptcs.294.3 fatcat:ltg35ivrufgxdg65g6xtzmi35a

Why no one uses functional languages

Philip Wadler
1998 SIGPLAN notices  
Most of these factors remain serious impediments for most systems.  ...  Notable exceptions are Ericsson's Erlang (www.erlang.se) and Harlequin's ML Works (www.harlequin.com), two industrial-grade systems with extensive user environments and support.  ...  One example of such a library is ML RISC, a retargetable back end that has been used for SML and C compilers and has been adopted to a number of architectures [5] .  ... 
doi:10.1145/286385.286387 fatcat:xabqlvxhtzc25msg5f2cu43hdi

Visualizing the Evaluation of Functional Programs for Debugging

John Whitington, Tom Ridge, Marc Herbstritt
2017 Symposium on Languages, Applications and Technologies  
In this position paper, we present a prototype of a visualizer for functional programs.  ...  We show how such visualizations may be produced for the strict functional language OCaml, by direct interpretation of the abstract syntax tree and appropriate pretty-printing.  ...  Wadler records the story [18] of the Standard ML debugger [13] that was deeply intertwined with the compiler and runtime of the SML/NJ Standard ML compiler.  ... 
doi:10.4230/oasics.slate.2017.7 dblp:conf/slate/WhitingtonR17 fatcat:5vhlsz7zczfx5exrpaoe3kg4ma

Portable debugging and profiling [chapter]

Mikael Pettersson
1998 Lecture Notes in Computer Science  
This paper addresses the problem of implementing portable debuggers for compiled or translator-based language implementations.  ...  Compared to some previous work [6, 5], we emphasize both portability and efficiency, and describe generalizations for richer languages and higher-level debugging primitives. 2 A p p r o a c h e s t o d  ...  At an early stage, we tested some of the basic ideas in a prototype debugger for Standard ML.  ... 
doi:10.1007/bfb0026438 fatcat:wnwfhelxfrhvjavy5g64iv4r4e

Source-Level Debugging for Multiple Languages with Modest Programming Effort [chapter]

Sukyoung Ryu, Norman Ramsey
2005 Lecture Notes in Computer Science  
This approach enables us to support a new language and compiler while reusing existing elements: a multi-language, multi-platform debugger; the compiler's implementation of source-language types and expressions  ...  We present techniques that enable source-level debugging for multiple languages at the cost of only modest programming effort.  ...  languages (C, Java, Standard ML, and Objective Caml).  ... 
doi:10.1007/978-3-540-31985-6_2 fatcat:kimfezg3argbdd4gtq7viz3cte

Operational Semantics of a Focusing Debugger

Karen L. Bernstein, Eugene W. Stark
1995 Electronical Notes in Theoretical Computer Science  
a debugger for very high level programming language ought to provide support for exposing hidden information in a controlled fashion.  ...  We i n vestigate these ideas by giving formal semantic de nitions for a simple functional programming language and an associated debugger for the language.  ...  An example of a modern very high level programming language to which our ideas might be applied is Standard ML 11] .  ... 
doi:10.1016/s1571-0661(04)80002-1 fatcat:botxphjbzjfe3ln7ix5t52hqxe

URDB

Ana-Maria Visan, Kapil Arya, Gene Cooperman, Tyler Denniston
2011 Proceedings of the 6th Workshop on Programming Languages and Operating Systems - PLOS '11  
This was a significant barrier to earlier attempts toward checkpoint/re-execute for GDB. Support for the GDB debugger is important to any reversible debugger claiming universality.  ...  It adds reversibility to a debugger, while still placing the end user within the familiar environment of their preferred debugger.  ...  Among the reversible debuggers implementing the record/ reverse-execute approach are: the AIDS debugger [5] for FORTRAN, Zelkowitz [17] for PL/I, the work of Appel and Tolmach [13, 14] for Standard  ... 
doi:10.1145/2039239.2039251 dblp:conf/sosp/VisanACD11 fatcat:wxg66hw2yzerxcehtxnmvf6vpq

RDBG

Erwan Jahier
2016 Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems - SCOPES '16  
Then it shows how a small kernel is enough to build a full-featured debugger with little effort.  ...  The given examples provide a tutorial for end-users that wish to write their own debugging primitives, fitting to their needs, or to tune existing ones.  ...  Here is a possible ml implementation of such a function.  ... 
doi:10.1145/2906363.2906372 dblp:conf/scopes/Jahier16 fatcat:giplmc6wlvgltob5mv6sbdsxbq

DrScheme: a programming environment for Scheme

ROBERT BRUCE FINDLER, JOHN CLEMENTS, CORMAC FLANAGAN, MATTHEW FLATT, SHRIRAM KRISHNAMURTHI, PAUL STECKLER, MATTHIAS FELLEISEN
2002 Journal of functional programming  
DrScheme is a programming environment for Scheme. It fully integrates a graphicsenriched editor, a parser for multiple variants of Scheme, a functional read-eval-print loop, and an algebraic printer.  ...  Beyond the ordinary programming environment tools, DrScheme provides an algebraic stepper, a context-sensitive syntax checker, and a static debugger.  ...  Friedman for valuable feedback on early drafts of this paper. Thanks to the JFP reviewers and the PLILP reviewers and audience for their valuable comments and feedback.  ... 
doi:10.1017/s0956796801004208 fatcat:btjznsbufnfcvheyagkvc36kfq

How Enterprises Use Functional Languages, and Why They Don't [chapter]

Philip Wadler
1999 The Logic Programming Paradigm  
Here I offer a compendium of success stories for functional programs, followed by a list of obstacles to more widespread use of functional programming, in the belief that much of this experience is relevant  ...  The final section contains a few remarks specific to the relations between functional and logic programming.  ...  great group from whom I learned a great deal.  ... 
doi:10.1007/978-3-642-60085-2_9 fatcat:6i7uh5rtcre6xk4fp2ousmdlam

A debugging model for functional logic programs [chapter]

Michael Hanus, Berthold Josephs
1993 Lecture Notes in Computer Science  
The responsibility for the contents of this publication lies with the authors.  ...  Acknowledgements The research described in this paper was partially funded by the German Ministry for Research and Technology (BMFT) under grant ITS 9103.  ...  Therefore it is very similar to symbolic debuggers proposed for functional languages with pattern matching and eager evaluation like Standard-ML [27] .  ... 
doi:10.1007/3-540-57186-8_69 fatcat:bfj7gn4ynrh2xeu7zduhxfrnjy

Domain Specific Automated Triaging System for Bug Classification

Heena Singla, Gitika Sharma, Sumit Sharma
2016 Indian Journal of Science and Technology  
Shiv kumar et al. 13 explained the Machine Learning (ML) classifiers to predict the presence of a bug and proposed a feature selection approach appropriate for classification based on bug prediction.  ...  John Ak.et al. 3 presented an approach of semi automating the allocation of a bug report to a developer with the suitable knowledge to reduce the information and used a supervised ML algorithm that was  ... 
doi:10.17485/ijst/2016/v9i33/97891 fatcat:xe2yzxpynna4vawxt3jjaeznla

Using the fungus Entomophthora muscae (chon) Fresenius to eliminate some larval roles of Musca domestica

Walaa Yas Lahmood
2017 Al-Qadisiyah Journal of Veterinary Medicine Sciences  
Results were made clear that the insect roles are sensitive to fungus, and treated the food larva of musca domestica and sprinkle it by concentration 2.8×10 6 , 2.8×10 7 , 2.8×10 8 (spore/ml) has led to  ...  ) Debugger distortion error after 24hours %destruction of cumulative ±standerd error %distortions ±standerd error % Debugger distortion cumulative total (larvaes +pupes)± standard  ...  Table ( 2 ( ) effect serial concentration of fungus spore stuck E. muscae on pupae of musca domestica Concentration (spore/ml) %distortion of accumulative ±standard error % destruction ±standard  ... 
doi:10.29079/vol16iss1art51 fatcat:t7fc24fmpzfsrehf23dr4bk46e

Transition Watchpoints: Teaching Old Debuggers New Tricks

Kapil Arya, Tyler Denniston, Ariel Rabkin, Gene Cooperman
2017 The Art, Science, and Engineering of Programming  
Reversible debugging is preferred for bugs seen only after minutes. This architecture allows for an efficient and easy-to-write snapshot-based reversibe debugger on top of a conventional debugger.  ...  Reversible debuggers and process replay have been developed at least since 1970. This vision enables one to execute backwards in time under a debugger.  ...  "Debugging Standard ML without Reverse Engineering". In: LFP ' : Proceedings of the ACM Conference on LISP and Functional Programming. ACM, , pages -. [ ] TotalView team.  ... 
doi:10.22152/programming-journal.org/2017/1/16 fatcat:2tvi33gbpjfp5lzpzdcvmjlale

Generation of software tools from processor descriptions for hardware/software codesign

Mark R. Hartoog, James A. Rowson, Prakash D. Reddy, Soumya Desai, Douglas D. Dunlop, Edwin A. Harcourt, Neeti Khullar
1997 Proceedings of the 34th annual conference on Design automation conference - DAC '97  
An experimental set of tools that generate instruction set simulators, assemblers, and disassemblers from a single description was developed to test if retargetable development tools would work for commercial  ...  The processor instruction set was described using a language called nML. The TMS320C50 DSP processor and the ARM7 microprocessor were modeled in nML.  ...  Acknowledgments We would like to thank Markus Freericks of the Technical University of Berlin for permission to use the nML language.  ... 
doi:10.1145/266021.266110 dblp:conf/dac/HartoogRRDDHK97 fatcat:p4kwipkre5bkbo2mvcgheepgtu
« Previous Showing results 1 — 15 out of 936 results