Filters








436,651 Hits in 4.6 sec

ENFORCe: A System for Ensuring Formal Correctness of High-level Programs

Karl Azab, Annegret Habel, Karl-Heinz Pennemann, Christian Zuckschwerdt
2007 Electronic Communications of the EASST  
ENFORCe is a currently developed system for ensuring formal correctness of graph programs and, more general, high-level programs by computing weakest preconditions of these programs.  ...  The correctness of a graph program with respect to a pre- and a postcondition can be shown in a classical way by constructing a weakest precondition of the program relative to the postcondition and checking  ...  This work is supported by the German Research Foundation (DFG), grants GRK 1076/1 (Graduate School on Trustworthy Software Systems) and HA 2936/2 (Development of Correct Graph Transformation Systems).  ... 
doi:10.14279/tuj.eceasst.1.82 dblp:journals/eceasst/AzabHPZ06 fatcat:6lto673ylbh7xbttt7xvube73e

Program manipulation via interactive transformations

Marat Boshernitsan
2003 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '03  
on program source code at a level above text-oriented editing.  ...  We combine the results from psychology of programming, software visualization, program analysis, and program transformation fields to create a novel environment that lets the programmers express operations  ...  At the same time, the underlying program representation must not be exposed to end-users of the transformation tool, as it will hamper their ability to formulate transformations.  ... 
doi:10.1145/949344.949380 dblp:conf/oopsla/Boshernitsan03 fatcat:figexcupfzcnjjdvsqs4bvuu3a

Program manipulation via interactive transformations

Marat Boshernitsan
2003 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '03  
on program source code at a level above text-oriented editing.  ...  We combine the results from psychology of programming, software visualization, program analysis, and program transformation fields to create a novel environment that lets the programmers express operations  ...  At the same time, the underlying program representation must not be exposed to end-users of the transformation tool, as it will hamper their ability to formulate transformations.  ... 
doi:10.1145/949445.949451 fatcat:s7i7egzqkvhm3a7zdfxgk4dr7u

Program manipulation via interactive transformations

Marat Boshernitsan
2003 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '03  
on program source code at a level above text-oriented editing.  ...  We combine the results from psychology of programming, software visualization, program analysis, and program transformation fields to create a novel environment that lets the programmers express operations  ...  At the same time, the underlying program representation must not be exposed to end-users of the transformation tool, as it will hamper their ability to formulate transformations.  ... 
doi:10.1145/949344.949451 dblp:conf/oopsla/Boshernitsan03a fatcat:xwhhypl4xrcudmraa6gc5jcryq

Program manipulation via interactive transformations

Marat Boshernitsan
2003 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '03  
on program source code at a level above text-oriented editing.  ...  We combine the results from psychology of programming, software visualization, program analysis, and program transformation fields to create a novel environment that lets the programmers express operations  ...  At the same time, the underlying program representation must not be exposed to end-users of the transformation tool, as it will hamper their ability to formulate transformations.  ... 
doi:10.1145/949377.949380 fatcat:4jypxjo4cjh7zad5li2zgxmdpi

Polyhedral user mapping and assistant visualizer tool for the r-stream auto-parallelizing compiler

Eric Papenhausen, Bing Wang, M. Harper Langston, Muthu Baskaran, Tom Henretty, Taku Izubuchi, Ann Johnson, Chulwoo Jung, Meifeng Lin, Benoit Meister, Klaus Mueller, Richard Lethin
2015 2015 IEEE 3rd Working Conference on Software Visualization (VISSOFT)  
We believe that our tool allows programmers to better understand complex program transformations and deviations of mapping properties on well understood programs.  ...  Existing high-level, source-to-source compilers can accept input programs in a high-level language (e.g., C) and perform complex automatic parallelization and other mappings using various optimizations  ...  a program to be processed by a low-level compiler.  ... 
doi:10.1109/vissoft.2015.7332433 dblp:conf/vissoft/PapenhausenWLBH15 fatcat:fkdhn3e2qrcc5cspfaezjzhg64

LANCET

Ludo Van Put, Bjorn De Sutter, Matias Madou, Bruno De Bus, Dominique Chanet, Kristof Smits, Koen De Bosschere
2005 The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '05  
This paper presents Lancet, a multi-platform software visualization tool that enables the inspection of programs at the binary code level.  ...  These views can be used to navigate through the program, to edit the program in a efficient manner, and to interact with the existing whole-program analyses and optimizations that are implemented in Diablo  ...  So on top of the low-level operations that Diablo offers on its internal program representation, a large number of mid-level to high-level analyses and transformations are available.  ... 
doi:10.1145/1108792.1108812 dblp:conf/paste/PutSMBCSB05 fatcat:4oa54ct5w5hjzdzog63csqpplq

A Concept for a Qualifiable (Meta)-Modeling Framework Deployable in Systems and Tools of Safety-critical and Cyber-physical Environments [article]

Vanessa Tietz, Julian Schoepf, Andreas Waldvogel, Bjoern Annighoefer
2021 arXiv   pre-print
Tool qualification has to be conducted by the tool user and can be assisted by the tool developer by providing qualification artifacts.  ...  This leads to the consideration of the following six cornerstones for our framework: (1) an essential meta-language, (2) a minimal runtime, (3) deterministic transformations, (4) a qualification artifact  ...  ACKNOWLEDGMENT The German Federal Ministry for Economic Affairs and Energy (BMWi) has funded this research within the LUFO-VI program and the TALIA project.  ... 
arXiv:2108.04121v1 fatcat:jsjegp54kvdx7pt7mfb2ves5sa

LANCET

Ludo Van Put, Bjorn De Sutter, Matias Madou, Bruno De Bus, Dominique Chanet, Kristof Smits, Koen De Bosschere
2006 Software engineering notes  
This paper presents Lancet, a multi-platform software visualization tool that enables the inspection of programs at the binary code level.  ...  These views can be used to navigate through the program, to edit the program in a efficient manner, and to interact with the existing whole-program analyses and optimizations that are implemented in Diablo  ...  So on top of the low-level operations that Diablo offers on its internal program representation, a large number of mid-level to high-level analyses and transformations are available.  ... 
doi:10.1145/1108768.1108812 fatcat:pvac77ode5ckbhwhdvmma7a5we

Interactive Visual Analytics for Efficient Maintenance of Model Transformations [chapter]

Andreas Rentschler, Qais Noorshams, Lucia Happe, Ralf Reussner
2013 Lecture Notes in Computer Science  
Maintaining model transformations remains a demanding task due to the sheer amount of metamodel elements and transformation rules that need to be understood.  ...  Most available techniques proactively help to design and implement maintainable transformations, yet however, a growing number of legacy transformations needs to be maintained.  ...  Additionally, tool users rated the tool's usability for understanding, debugging, and refactoring a transformation on a 6-level Likert item.  ... 
doi:10.1007/978-3-642-38883-5_14 fatcat:wbygquzfrjh3nlbrza5svvsehi

Languages for model-driven development of user interfaces: Review of the state of the art

Mladjan Jovanovic, Dusan Starcevic, Zoran Jovanovic
2013 Yugoslav Journal of Operations Research  
In model-driven user interface development, several models are used to describe different aspects of user interface when level of detail varies.  ...  The relations between the models are established through model transformations.  ...  This can improve integration at tool level during model-driven user interface development process.  ... 
doi:10.2298/yjor121101007j fatcat:firohbqb65aefeeciojh7bwlfm

Experiences using the ParaScope Editor

Mary W. Hall, Timothy J. Harvey, Ken Kennedy, Nathaniel McIntosh, Kathryn S. McKinley, Jeffrey D. Oldham, Michael H. Paleczny, Gerald Roth
1993 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming - PPOPP '93  
These results offer insights for the authors of a variety of programming tools and paral-Ielizing compilers.  ...  It displays the results of sophisticated program analyses, provides a set of powerful interactive transformations, and supports program editing.  ...  We especially appreciate Scott Warren's implementation of the new user interface.  ... 
doi:10.1145/155332.155336 dblp:conf/ppopp/HallHKMMOPR93 fatcat:zllonkrkb5aizihzvcwh2crwqa

Software Engineering in the Twenty-First Century

Michael R. Lowry
1992 The AI Magazine  
Commercially, a few dozen handcrafted systems are in real use as industrial pilot projects.  ...  The first and third sections of this book describe pilot systems for software maintenance and special-purpose program synthesis.  ...  Several of the interactive program transformation systems, especially KIDS, provide a natural high-level interface for those schooled in transformational derivations.  ... 
doi:10.1609/aimag.v13i3.1012 dblp:journals/aim/Lowry92 fatcat:ovsullvmabaalhwclv4slacvjm

A Tool for Rejuvenating Feature Logging Levels via Git Histories and Degree of Interest [article]

Yiming Tang, Allan Spektor, Raffi Khatchadourian, Mehdi Bagherzadeh
2022 arXiv   pre-print
Maintaining log levels necessitates a significant amount of manual effort.  ...  Logging is a significant programming practice. Due to the highly transactional nature of modern software applications, massive amount of logs are generated every day, which may overwhelm developers.  ...  If users agree with the log level transformations, they can perform log level transformations by clicking on the "Finish" button.  ... 
arXiv:2112.02758v2 fatcat:5a57bqoa6bdojm2inw24kpfhme

CEM: Class executing modelling

Jaroslav Zacek, Frantisek Hunka
2011 Procedia Computer Science  
One option is to divide models to different levels of abstraction and make a transformation between them.  ...  This fact was considered as a disadvantage model transformation because by this transformation model becomes platform dependent on operating system or programming language syntax.  ... 
doi:10.1016/j.procs.2011.01.055 fatcat:ju22km2ncne5tjnkzpe4bt23xe
« Previous Showing results 1 — 15 out of 436,651 results