Internet Archive Scholar
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  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (261.2 kB)
https://web.archive.org/web/20200909200756/https://arxiv.org/pdf/1905.06545v1.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL. The file type is application/pdf.

Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:

2019 pre-print arXiv:1905.06545v1 fatcat:hn5engegqzfzxdklo65yoduhba
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
DOAJ Multiple Versions
Citation

John Whitington, Tom Ridge. "Direct Interpretation of Functional Programs for Debugging." Electronic Proceedings in Theoretical Computer Science (2019) 41-73

Why no one uses functional languages

Philip Wadler
1998 SIGPLAN notices  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (52.1 kB)
https://web.archive.org/web/20150914071409/http://web.vtc.edu/users/pcc09070/cis-3030/Why-Not-FP.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL. The file type is application/pdf.

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
Citation

Philip Wadler. "Why no one uses functional languages." SIGPLAN notices 33.8 (1998) 23-27

Visualizing the Evaluation of Functional Programs for Debugging

John Whitington, Tom Ridge, Marc Herbstritt
2017 Symposium on Languages, Applications and Technologies  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (388.6 kB)
https://web.archive.org/web/20220307212113/https://drops.dagstuhl.de/opus/volltexte/2017/7942/pdf/OASIcs-SLATE-2017-7.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL. The file type is application/pdf.

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
Citation

John Whitington, Tom Ridge, Marc Herbstritt. "Visualizing the Evaluation of Functional Programs for Debugging." Symposium on Languages, Applications and Technologies (2017) 7:1-7:9

Portable debugging and profiling [chapter]

Mikael Pettersson
1998 Lecture Notes in Computer Science  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (1.3 MB)
https://web.archive.org/web/20180729203320/https://link.springer.com/content/pdf/10.1007%2FBFb0026438.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL. The file type is application/pdf.

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
Citation

Mikael Pettersson. "Portable debugging and profiling." Lecture Notes in Computer Science (1998) 279-293

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

Sukyoung Ryu, Norman Ramsey
2005 Lecture Notes in Computer Science  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (128.9 kB)
https://web.archive.org/web/20170808080406/http://www.cs.tufts.edu/~nr/pubs/ldbint.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL. The file type is application/pdf.

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
Citation

Sukyoung Ryu, Norman Ramsey. "Source-Level Debugging for Multiple Languages with Modest Programming Effort." Lecture Notes in Computer Science (2005) 10-26

Operational Semantics of a Focusing Debugger

Karen L. Bernstein, Eugene W. Stark
1995 Electronical Notes in Theoretical Computer Science  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (771.1 kB)
https://web.archive.org/web/20190322224430/https://core.ac.uk/download/pdf/82628091.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL. The file type is application/pdf.

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
Open Access
Citation

Karen L. Bernstein, Eugene W. Stark. "Operational Semantics of a Focusing Debugger." Electronical Notes in Theoretical Computer Science (1995) 13-31

URDB

Ana-Maria Visan, Kapil Arya, Gene Cooperman, Tyler Denniston
2011 Proceedings of the 6th Workshop on Programming Languages and Operating Systems - PLOS '11  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (729.2 kB)
https://web.archive.org/web/20130423052819/http://sigops.org:80/sosp/sosp11/workshops/plos/08-visan.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL. The file type is application/pdf.

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
Citation

Ana-Maria Visan, Kapil Arya, Gene Cooperman, Tyler Denniston. "URDB." Proceedings of the 6th Workshop on Programming Languages and Operating Systems - PLOS '11 (2011) 8:1-8:5

RDBG

Erwan Jahier
2016 Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems - SCOPES '16  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (447.0 kB)
https://web.archive.org/web/20200323134822/https://hal.archives-ouvertes.fr/hal-01295229/document

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL. The file type is application/pdf.

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
Citation

Erwan Jahier. "RDBG." Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems - SCOPES '16 (2016) 116-125

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  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (313.7 kB)
https://web.archive.org/web/20170705113453/http://www.cs.tufts.edu/~nr/cs257/archive/matthias-felleisen/drscheme.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL. The file type is application/pdf.

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
Citation

ROBERT BRUCE FINDLER, JOHN CLEMENTS, CORMAC FLANAGAN, MATTHEW FLATT, SHRIRAM KRISHNAMURTHI, PAUL STECKLER, MATTHIAS FELLEISEN. "DrScheme: a programming environment for Scheme." Journal of functional programming 12.02 (2002)

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

Philip Wadler
1999 The Logic Programming Paradigm  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (170.0 kB)
https://web.archive.org/web/20090219130828/http://homepages.inf.ed.ac.uk:80/wadler/papers/how-and-why/how-and-why.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL. The file type is application/pdf.

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
Citation

Philip Wadler. "How Enterprises Use Functional Languages, and Why They Don't." The Logic Programming Paradigm (1999) 209-227

A debugging model for functional logic programs [chapter]

Michael Hanus, Berthold Josephs
1993 Lecture Notes in Computer Science  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (117.4 kB)
https://web.archive.org/web/20170817041009/http://pubman.mpdl.mpg.de/pubman/item/escidoc:1834291/component/escidoc:1857791/MPI-I-93-222.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL. The file type is application/pdf.

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
Citation

Michael Hanus, Berthold Josephs. "A debugging model for functional logic programs." Lecture Notes in Computer Science (1993) 28-43

Domain Specific Automated Triaging System for Bug Classification

Heena Singla, Gitika Sharma, Sumit Sharma
2016 Indian Journal of Science and Technology  

Preserved Fulltext

Web Archive Capture PDF (380.8 kB)
https://web.archive.org/web/20180720025717/http://www.indjst.org/index.php/indjst/article/download/97891/73070

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL. The file type is application/pdf.

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
Citation

Heena Singla, Gitika Sharma, Sumit Sharma. "Domain Specific Automated Triaging System for Bug Classification." Indian Journal of Science and Technology 9.33 (2016)

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  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (440.6 kB)
https://web.archive.org/web/20180515011255/http://qu.edu.iq/journalvm/index.php/vm_journal/article/download/51/56/

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL. The file type is application/pdf.

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
DOAJ OJS
Citation

Walaa Yas Lahmood. "Using the fungus Entomophthora muscae (chon) Fresenius to eliminate some larval roles of Musca domestica." Al-Qadisiyah Journal of Veterinary Medicine Sciences 16.1 (2017) 142-147

Transition Watchpoints: Teaching Old Debuggers New Tricks

Kapil Arya, Tyler Denniston, Ariel Rabkin, Gene Cooperman
2017 The Art, Science, and Engineering of Programming  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (1.6 MB)
https://web.archive.org/web/20200928204700/https://arxiv.org/ftp/arxiv/papers/1703/1703.10864.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL. The file type is application/pdf.

Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:

2017 pre-print arXiv:1703.10864v1 fatcat:ki7ppxftmzd2rjdyipvs6tkgmq
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
Open Access Multiple Versions
Citation

Kapil Arya, Tyler Denniston, Ariel Rabkin, Gene Cooperman. "Transition Watchpoints: Teaching Old Debuggers New Tricks." The Art, Science, and Engineering of Programming 1.2 (2017)

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  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (62.0 kB)
https://web.archive.org/web/20170815073730/http://www.cecs.uci.edu/~papers/compendium94-03/papers/1997/dac97/pdffiles/18_4.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL. The file type is application/pdf.

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
Citation

Mark R. Hartoog, James A. Rowson, Prakash D. Reddy, Soumya Desai, Douglas D. Dunlop, Edwin A. Harcourt, Neeti Khullar. "Generation of software tools from processor descriptions for hardware/software codesign." Proceedings of the 34th annual conference on Design automation conference - DAC '97 (1997) 303-306

« Previous Showing results 1 — 15 out of 936 results