Filters








520,992 Hits in 7.7 sec

specification of a tool for viewing program text [chapter]

Airi Salminen
1986 Lecture Notes in Computer Science  
The paper introduces a method for extending information retrieval capabilities of document handling systems. The specific documents which are considered in this paper are program texts.  ...  The maintenance of large programs is a demanding process where lot of information is needed. Much of this information is in the program text.  ...  Acknowledgements: I wish to thank Ralph-Johan Back for many useful discussions and for reading and commenting on earlier drafts of this paper.  ... 
doi:10.1007/3-540-16442-1_19 fatcat:6cb2jlegrnhflaecvg2ax3s5s4

A Review of Source Code Projections in Integrated Development Environments

Ján Juhár, Liberios Vokorokos
2015 Proceedings of the 2015 Federated Conference on Computer Science and Information Systems  
They are able to provide different views of the program, according to the specific editor used.  ...  The ability to look at the program from multiple views is often requested as a mean to simplify program comprehension.  ...  Search and Go-to Projections The next group of projections relate to searching for specific program elements across the project.  ... 
doi:10.15439/2015f289 dblp:conf/fedcsis/JuharV15 fatcat:lsi67oz44fe4ln6van5rkka35e

A Computer tool for constructing and integrating inferences into text representations

Franz Schmalhofer, Lutz Franken, Jörg Schwerdtner
1997 Behavoir research methods, instruments & computers  
Wepresent a new computer tool for modeling inference generation processes in text comprehension, Withthis tool, an explicit inference statement is constructed by marker passing in ajoint text and knowledge  ...  Text researchers can employthis system as a common ground for comparing their different positions on inferencing in a more precise manner.  ...  A new computer tool is therefore required for modeling the generation of an inference statment and its subsequent integration into the text representation.  ... 
doi:10.3758/bf03204812 fatcat:aip34lafdjftdgmkfl2v6gxyja

An Architecture for Interactive Program Provers [chapter]

Jörg Meyer, Arnd Poetzsch-Heffter
2000 Lecture Notes in Computer Science  
This paper describes the modular architecture of an interactive program prover that we are currently developing for a Java subset.  ...  In particular, it discusses the integration of a programming language-specific prover component with a general purpose theorem prover.  ...  Currently Jive provides a so-called tree view and a text view to program proofs 4 . Of course, both views can be used together within one proof. Tree View.  ... 
doi:10.1007/3-540-46419-0_6 fatcat:b2cimngtvvdwhh2m57lv4fy7jq

Page 65 of Journal of Research and Practice in Information Technology Vol. 20, Issue 2 [page]

1988 Journal of Research and Practice in Information Technology  
Developing a program under these circumstances then becomes a process of invoking these tools a number of times and making sure that the results of one step correctly flow into the next step (for example  ...  Marlin Traditional programming environments typically provide a collection of loosely-connected, separate pro- gramme development tools such as text editors, compilers, linkers and debugging aids.  ... 

A Simple Tool for Predicting the Readability of a Monitor

William K. Krebs, Jing Xing, Albert J. Ahumada
2002 Proceedings of the Human Factors and Ergonomics Society Annual Meeting  
From these results, a MATLAB program was developed that prompts for background and text RGB values and returns the minimal error-free readable font size.  ...  This study proposes a simple tool to quickly assess the readability of a monitor without the need of conducting a lengthy readability study.  ...  ACKNOWLEDGEMENTS A special thanks to Kenneth Allendoerfer at the William J. Hughes Technical Center for his invaluable support in ensuring completion of this study.  ... 
doi:10.1177/154193120204601728 fatcat:l7zz3iybfzhibmf5jmwoh5n2d4

Supporting document and data views of source code

Michael L. Collard, Jonathan I. Maletic, Andrian Marcus
2002 Proceedings of the 2002 ACM symposium on Document engineering - DocEng '02  
The resultant multi-layered document has a base layer of all the original text (and formatting).  ...  This multilayered view supports both the creation and viewing of the source code in its original form and the use of XML technologies (for tasks such as analysis and transformation of the source).  ...  ACKNOWLEDGEMENTS This work was supported in part by grants from the Office of Naval Research N00014-00-1-0769 and the National Science Foundation CCR-02-04175. REFERENCES  ... 
doi:10.1145/585064.585066 fatcat:v274exx2q5h2ni66tufzeivghm

Supporting document and data views of source code

Michael L. Collard, Jonathan I. Maletic, Andrian Marcus
2002 Proceedings of the 2002 ACM symposium on Document engineering - DocEng '02  
The resultant multi-layered document has a base layer of all the original text (and formatting).  ...  This multilayered view supports both the creation and viewing of the source code in its original form and the use of XML technologies (for tasks such as analysis and transformation of the source).  ...  ACKNOWLEDGEMENTS This work was supported in part by grants from the Office of Naval Research N00014-00-1-0769 and the National Science Foundation CCR-02-04175. REFERENCES  ... 
doi:10.1145/585058.585066 dblp:conf/doceng/CollardMM02 fatcat:sc6u5p3d25abbarqemdbffzuoq

Page 621 of Electronic Publishing Vol. 4, Issue 2 [page]

1991 Electronic Publishing  
If results of executing the Replace_Tag program are not satisfactory, the specification can be modified and the process repeated. 6.2 The Insert Tag Tool The objective of the Insert Tag Tool (ITT) is to  ...  This definition of the ITT implies that the input of an Insert_Tag program is the output of a Replace_Tag program or some other partially marked-up LIF document. 6.2.1 The intended user The ITT views a  ... 

Eclipse Support for Using Eli and Teaching Programming Languages

Anthony M. Sloane, William M. Waite
2005 Electronical Notes in Theoretical Computer Science  
The plugins support exploration of programming language semantics, integrated development in the Eli system, and high-level observations of compiler execution.  ...  This demonstration will show Eclipse plugins developed at Macquarie and Colorado to support the Eli Language Processor Generation system and to enhance teaching of programming language concepts and implementation  ...  A text field of a Web form provides very little in the way of editing capability, and certainly has no facilities for helping the user to create a syntactically correct program.  ... 
doi:10.1016/j.entcs.2005.02.058 fatcat:o4e3pknpwbby5lpoet6r44uc5m

Tool Paper: Combining Alf and UML in Modeling Tools - An Example with Papyrus -

Ed Seidewitz, Jérémie Tatibouet
2015 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
This paper presents the achievement of an initial integration of UML and Alf in the context of the Papyrus tool for the specification of executable models.  ...  The real executable semantics of a program are determined by the programming language, while the UML models themselves do not have a precise enough meaning to fully specify the executable functionality  ...  But development of this tooling is progressing, with the vision of providing all the benefits of familiar IDEs for textual programming languages, along with the benefits of synchronized graphical views  ... 
dblp:conf/models/SeidewitzT15 fatcat:4anhugmoezboriw4ssyaf57c6u

Constructing an integrated visual programming environment

Chung-Hua Hu, Feng-Jian Wang
1998 Software, Practice & Experience  
This paper presents an object-oriented architecture, called the Model-View-Shape (MVS) architecture, for constructing an Integrated Visual Programming Environment (IVPE), whose constituent tools deal with  ...  (fine-grained) language semantics, as well as a mass of graphics-drawing activities.  ...  The analysis toolset, which consists of tools for handling and analysing program text during programming, can be viewed as back-end tools.  ... 
doi:10.1002/(sici)1097-024x(199807)28:7<773::aid-spe176>3.0.co;2-3 fatcat:cunnpvv2ezh27g5onewgmgubye

How to Interconnect Operational and Behavioral Views of Web Applications

R. Fonseca, D. da Cruz, P.R. Henriques, M.J. Varanda Pereira
2008 2008 16th IEEE International Conference on Program Comprehension  
In the context of our research project, we are looking for program comprehension tools that are able to interconnect operational and behavioral views, aiming at aiding the programmer to relate problem  ...  and program domains to reach a full understanding of software systems.  ...  Compilers are often responsible for the processing, analysis and translation of a set of sentences from a specific programming language.  ... 
doi:10.1109/icpc.2008.25 dblp:conf/iwpc/FonsecaCHP08 fatcat:uihidxqykngelisqikskoyb3cm

Applying Data-driven Tool Development to Context-oriented Languages

Marcel Taeumel, Tim Felgentreff, Robert Hirschfeld
2014 Proceedings of 6th International Workshop on Context-Oriented Programming - COP'14  
We present a novel, data-driven approach on programming tools to alleviate this problem.  ...  We implemented a framework in Squeak/Smalltalk and show how programmers can use it to create and adapt integrated tools for ContextS2.  ...  Such tools, however, are often just replicas of regular tools with some cop-specific features. For example, the cop browser is a regular code browser with an additional view to distinguish layers.  ... 
doi:10.1145/2637066.2637067 dblp:conf/ecoop/TaeumelFH14 fatcat:ivjjwfsu5jeq5oorghxx2e7mz4

Success and failure of programming environments - report on the design and use of a graphic abstract syntax tree editor [article]

C. Recanati
2007 arXiv   pre-print
The STAPLE project investigated (at the end of the eighties), a persistent architecture for functional programming.  ...  Work has been done in two directions: the development of a programming environment for a functional language within a persistent system and an experiment on transferring the expertise of functional prototyping  ...  A frame for the integration of tools ASTs provide a general framework for the integration of the various tools using the program.  ... 
arXiv:0710.2358v1 fatcat:erebqgln2zdjrd66hpjved5jna
« Previous Showing results 1 — 15 out of 520,992 results