7,060 Hits in 2.5 sec

Extensible Debuggers for Extensible Languages

Domenik Pavletic, Syed Aoun Raza, Markus Voelter, Bernd Kolb, Timo Kehrer
2013 Softwaretechnik-Trends  
This paper presents an extensible debugger architecture that enables debugging of language extensions. This is established by defining mappings between the base language and the language extensions.  ...  Language workbenches significantly reduce the e↵ort for building extensible languages. However, they do not facilitate programmers with built-in debugging support for language extensions.  ...  A debugger for an extensible language must be extensible as well, to support debugging of modular language extensions at the extension level.  ... 
doi:10.1007/s40568-013-0044-y fatcat:fxa2yi6ygrc6ddvt4kw2pkog3a

Debugging and testing behavioral UML models

Dolev Dotan, Andrei Kirshin
2007 Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion - OOPSLA '07  
To facilitate such model-driven development, we present a plug-in for IBM Rational's modeling tools, which enables the execution, debugging and testing of UML models.  ...  We will highlight the innovative features of our tools, such as model-level debug control, interactive dynamic debugging, and the extensibility that allows developing support for UML profiles.  ...  Extensibility: The Model Debugger is designed to be extensible to support modified semantics for different UML Profiles.  ... 
doi:10.1145/1297846.1297915 dblp:conf/oopsla/DotanK07 fatcat:kkqbvhtrfre6vou3bqp3b4iapm

Exemplifying Moldable Development

Andrei Chiş, Tudor Gîrba, Juraj Kubelka, Oscar Nierstrasz, Stefan Reichhart, Aliaksei Syrel
2016 Proceedings of the Programming Experience 2016 (PX/16) Workshop on - PX/16  
., code editors, compilers, testing tools, debuggers).  ...  Another example is Helvetia, an extensible system for embedding language extensions into an existing host language.  ... 
doi:10.1145/2984380.2984385 fatcat:hdd5y3ezszhzdksnldg23rtkqe

ddSMT 2.0: Better Delta Debugging for the SMT-LIBv2 Language and Friends [chapter]

Gereon Kremer, Aina Niemetz, Mathias Preiner
2021 Lecture Notes in Computer Science  
We present , the successor of the delta debugger . is the current de-facto standard delta debugger for the SMT-LIBv2 language.  ...  Our tool improves and extends core concepts of and extends input language support to the entire family of SMT-LIBv2 language dialects.  ...  It is easy to extend, and extensions will only be required for simplifications that are specific to new language features or a certain dialect of the SMT-LIBv2 language.  ... 
doi:10.1007/978-3-030-81688-9_11 fatcat:vk2shwhxqnefpn62sq5niynm7i

The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers [chapter]

Andrei Chiş, Tudor Gîrba, Oscar Nierstrasz
2014 Lecture Notes in Computer Science  
To reduce this gap, we propose a framework for developing domain-specific debuggers called the Moldable Debugger.  ...  Debuggers are crucial tools for developing object-oriented software systems as they give developers direct access to the running systems.  ...  The Moldable Debugger in other languages The current prototype of the Moldable Debugger is implemented in Pharo.  ... 
doi:10.1007/978-3-319-11245-9_6 fatcat:lr4gu3btoffwdkxvxg47xd46wy

Grammar-driven generation of domain-specific language tools

Hui Wu
2006 Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06  
Language testing tool support for DSLs is lacking when compared to the capabilities provided in standard general purpose languages (e.g., Java and C++).  ...  Domain-specific languages (DSLs) assist an end-user programmer in writing programs using idioms that are closer to the abstractions found in a specific problem domain.  ...  Concluding Remarks This research presents an approach that generates the testing tools (e.g., debugger, test engine, and profiler) needed to use a DSL from a language specification captured in a grammar  ... 
doi:10.1145/1176617.1176718 dblp:conf/oopsla/Wu06 fatcat:xy73sfrd6nfevhzzc6j3smnguy

Reversible Language Extensions and their Application in Debugging [article]

Zoé Drey and José F. Morales and Manuel V. Hermenegildo
2013 arXiv   pre-print
A range of methodologies and techniques are available to guide the design and implementation of language extensions and domain-specific languages.  ...  which use a variety of language extensions, such as functional notation, DCGs, or CLPQ,R.  ...  We now illustrate the use of a reversible language extension to parameterize the generic interactive debugger of Ciao.  ... 
arXiv:1301.7694v1 fatcat:zofuw6vqnbdovarok2horwyqrq

Reversible Language Extensions and Their Application in Debugging [chapter]

Zoé Drey, José F. Morales, Manuel V. Hermenegildo, Manuel Carro
2013 Lecture Notes in Computer Science  
A range of methodologies and techniques are available to guide the design and implementation of language extensions and domainspecific languages on top of a base language.  ...  We illustrate the approach by showing that coupling it with minimal extensions to a generic Prolog debugger allows us to provide users with a familiar, source-level view during the debugging of programs  ...  Application to the interactive debugger We now illustrate the use of a reversible language extension to parameterize the generic interactive debugger of Ciao.  ... 
doi:10.1007/978-3-642-45284-0_14 fatcat:mznemj5t4bbflfqvlfcytmjd3a

Practical domain-specific debuggers using the Moldable Debugger framework

Andrei Chiş, Marcus Denker, Tudor Gîrba, Oscar Nierstrasz
2015 Computer languages, systems & structures  
The first approach has been applied successfully for language workbenches where the domain model of an application is expressed using external domain-specific languages that have a grammar definition [  ...  18, 19, 20] , as well as in the case of domain-specific modelling languages that have an explicit specification of the metamodel [21] .  ...  the development of the DSL or language extension that are then used to generate a specialized debugger.  ... 
doi:10.1016/ fatcat:6c5kmzim4jb45fwagz3ixe3ete


Erwan Jahier
2016 Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems - SCOPES '16  
The Reactive programs DeBuGger (RDBG) prototype aims at being versatile and general enough to be able to deal with any reactive languages.  ...  The same considerations apply for automatic testing. This work take advantage on previous work on automated testing of reactive programs that close this feedback loop.  ...  Our debugger is actually able to debug Lutin programs too. RDBG, an extensible debugger for reactive programs.  ... 
doi:10.1145/2906363.2906372 dblp:conf/scopes/Jahier16 fatcat:giplmc6wlvgltob5mv6sbdsxbq

Report on a User Test and Extension of a Type Debugger for Novice Programmers

Yuki Ishii, Kenichi Asai
2014 Electronic Proceedings in Theoretical Computer Science  
In this paper, we analyze the user tests of a type debugger and report problems of the current type debugger. We then extend the type debugger to address these problems.  ...  Specifically, we introduce expression-specific error messages and language levels. Finally, we show type errors that we think are difficult to explain to novice programmers.  ...  With this extension, the type debugger can provide better error messages for conditional expressions.  ... 
doi:10.4204/eptcs.170.1 fatcat:no7jbw2tbra2xppymqoeb4dusm

High-Level Debugging Facilities and Interfaces: Design and Developement of a Debug-Oriented I.D.E [chapter]

Nick Papoylias
2010 IFIP Advances in Information and Communication Technology  
Misha, introduces among other things: syntax-aware navigation, data-displaying and editing, reverse execution, debugging scripting and inter-language evaluation through the integration of its source-level  ...  debugger (gdb) with a full-fledged source parser, data visualisation tools and other free software technologies.  ...  In essence a domain-specific language for debugging no matter how powerful and extensible, adds immensely to the complexity of the resulting development environment, and learning such a new language may  ... 
doi:10.1007/978-3-642-13244-5_34 fatcat:7fimap5yz5cgle6kqelk5zerrm

An In-Depth Look at ALIA4J

Christoph Bockisch, Andreas Sewe, Haihan Yin, Mira Mezini, Mehmet Aksit
2012 Journal of Object Technology  
We furthermore present implementations of the three different execution strategies together with a generic visual debugger available to any ALIA4J-based language implementation.  ...  In the ALIA4J approach, we identified dispatching as fundamental to most modularization mechanisms and provide a meta-model of dispatching as a rich, extensible intermediate language.  ...  All FIAL-based execution environments can be tested using the same, extensive test suite.  ... 
doi:10.5381/jot.2012.11.1.a7 fatcat:poobfkq3uzhopfjmffcw4i7m2q


Toon Verwaest, Camillo Bruni, David Gurtner, Adrian Lienhard, Oscar Niestrasz
2010 SIGPLAN notices  
To support development tools like debuggers, runtime systems need to provide a meta-programming interface to alter their semantics and access internal data.  ...  As such they can be implemented using any of the existing tools for the language, including development environments, debuggers, test-runners and versioning systems.  ...  Modifications are easily implemented and tested through use of the complete expressiveness of the host-language.  ... 
doi:10.1145/1932682.1869522 fatcat:ue776bshlzgbfgtj4ijenxb5iq

Fiddle: A Flexible Distributed Debugger Architecture [chapter]

João Lourenço, José C. Cunha
2001 Lecture Notes in Computer Science  
In this paper we discuss several dimensions which may contribute to develop more flexible distributed debuggers.  ...  However, most of these tools are tied to a specific programming language and provide rigid graphical user interfaces.  ...  The distributed debugger should also be extensible so that it can easily adapt to new programming languages and models.  ... 
doi:10.1007/3-540-45718-6_87 fatcat:wb3zhr4oajavpdx57x6o43qoli
« Previous Showing results 1 — 15 out of 7,060 results