Filters








770 Hits in 1.4 sec

Generators for high-speed front-ends [chapter]

Josef Grosch
1989 Lecture Notes in Computer Science  
In case of LR-conflicts, unlike other tools, La/r prorides not only information about an internal state consisting of a set of items but it prints a derivation tree which is much more tLseful to analyze  ...  The parsers are table-driven and run at a speed of 400,000 lines per minute. Currently parsers can be generated in the target languages C and Modula-2.  ...  Acknowledgement The author implemented Rex and contributed the parser skeletons in C and Modula-2 for Lair.  ... 
doi:10.1007/3-540-51364-7_6 fatcat:v3tzr4trpvdc3iiotyrijnkh5y

Simple and effective analysis of statically-typed object-oriented programs

Amer Diwan, J. Eliot B. Moss, Kathryn S. McKinley
1996 SIGPLAN notices  
These algorithms are also fast, O(lprocedures] * Cprocedurea np * up) worst case time (linear in practice) for our slowest analysis, where np is the size of procedure p and vP is the number of variables  ...  When they fail, we introduce cause analysis to reveal the source of imprecision and suggest where more powerful algorithms may be warranted.  ...  Acknowledgments We would like to thank Ole Agesen, Darko Stefanovic, and the anonymous referees for comments on drafts of this paper.  ... 
doi:10.1145/236338.236367 fatcat:saqvytt6bnejtot5jeczmsq67a

Simple and effective analysis of statically-typed object-oriented programs

Amer Diwan, J. Eliot B. Moss, Kathryn S. McKinley
1996 Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '96  
These algorithms are also fast, O(lprocedures] * Cprocedurea np * up) worst case time (linear in practice) for our slowest analysis, where np is the size of procedure p and vP is the number of variables  ...  When they fail, we introduce cause analysis to reveal the source of imprecision and suggest where more powerful algorithms may be warranted.  ...  Acknowledgments We would like to thank Ole Agesen, Darko Stefanovic, and the anonymous referees for comments on drafts of this paper.  ... 
doi:10.1145/236337.236367 dblp:conf/oopsla/DiwanMM96 fatcat:xbbotfga4bdtladtukck2e5vy4

An investigation into concurrent semantic analysis

V. Seshadri, D. B. Wortman
1991 Software, Practice & Experience  
By dividing source programs into segments which can be compiled concurrently, the task of compiling programs can be accelerated.  ...  These solutions are then implemented as part of a concurrent Modula-2+ compiler, running on a shared memory multiprocessor.  ...  Revelant features of Modula-2+ A program in Modula-2+ consists of a set of implementation modules, a set of definition modules and a program module.  ... 
doi:10.1002/spe.4380211205 fatcat:xiyjl3pvinbbnf3xfg4nyxqexi

Extended Static Checking: A Ten-Year Perspective [chapter]

K. Rustan M. Leino
2001 Lecture Notes in Computer Science  
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program is free of the classes  ...  This paper gives an overview of the technology that goes into such program checkers, reports on some of the progress and lessons learned in the past ten years, and identifies some remaining challenges.  ...  Static program checkers analyze programs in search of errors and can be applied as soon as program development commences. Many kinds of static program checkers are possible.  ... 
doi:10.1007/3-540-44577-3_11 fatcat:ubh6gkw5wber5h2abpzmkgcpri

Semantic analysis in a concurrent compiler

V. Seshadri, S. Weber, D. B. Wortman, C. P. Yu, I. Small
1988 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation - PLDI '88  
Traditional compilers are usually sequential programs that serially process source programs through lexical analysis, syntax analysis, semantic analysis and code generation.  ...  This paper is about the most difficult aspect of concurrent compilation: concurrent semantic analysis.  ...  Acknowledgement The research described in this paper has been supported by the Digital Equipment Corporation though its External Research Program and by the Ontario University Research Incentive Fund.  ... 
doi:10.1145/53990.54013 dblp:conf/pldi/SeshadriWJWYS88 fatcat:wnewkqzfhbgtbp7lpmljhrkcty

A concurrent compiler for Modula-2+

David B. Wortman, Michael D. Junkin
1992 SIGPLAN notices  
In this paper we describe a collection of techniques for the  ...  partly for reasons of expediency (i.e. availability of an existing compiler that served as a starting point) , but primarily because Modula-2+ is a large modern programming language that presented many  ...  Module Parser/Declarations Analyzer task Procedure Parser/Declarations Analyzer tasks Long Procedure Statement Analyzer/Code Generator tasks Short Procedure Statement Analyzer/Code Generator  ... 
doi:10.1145/143103.120025 fatcat:c64xv4ht2faxhbsnm6qbyuugxe

Project Triton: Towards Improved Programmability of Parallel Computers [chapter]

Michael Philippsen, Thomas M. Warschko, Walter F. Tichy, Christian G. Herter, Ernst A. Heinz, Paul Lukowicz
1994 The Interaction of Compilation Technology and Computer Architecture  
This goal can be achieved by tightly coupling the design of programming languages and parallel hardware.  ...  This approach permits machine-independent parallel programs to be compiled into e cient m a c hine code. The main results are as follows: Modula-2*.  ...  The memory requirements of the Modula-2* programs are typically similar to those of the MPL and C programs.  ... 
doi:10.1007/978-1-4615-2684-1_10 fatcat:dwspumwicjcmdgqcy5a5dcnaze

A generator for language-specific debugging systems

R. Bahlke, B. Moritz, G. Snelting
1987 Papers of the Symposium on Interpreters and interpretive techniques - SIGPLAN '87  
The language definer ha s to specify a denotational semantics augmente d with a formal description of the languagespecific debugging facilities .  ...  The concept has been implemented as part o f the PSG-Programming System Generator, an d has successfully been used to generat e debuggers for Pascal and Modula-2 .  ...  The task of a display function i s to analyze the selected program statu s information (as specified above) and write th e result onto the screen .  ... 
doi:10.1145/29650.29660 dblp:conf/pldi/BahlkeMS87 fatcat:i7lfh53skvding3rpwrg2oeraq

PL-detective

Amer Diwan, William M. Waite, Michele H. Jackson, Jacob Dickerson
2004 Journal on Educational Resources in Computing  
To help students move beyond this stage, we describe a system and strategy, the PL-Detective, to be used in a "concepts of programming languages" course.  ...  Our experience indicates that many computer science students are at this first stage of learning.  ...  We picked Modula-3 syntax instead of the more popular syntax from C [ Kernighan and Ritchie 1988] because we find some aspects of Modula-3 syntax to be cleaner and easier to read.  ... 
doi:10.1145/1086339.1086340 fatcat:xhwylgqbiza6llri64lkprs7qe

User-adaptable prettyprinting

G. Blaschek, J. Sametinger
1989 Software, Practice & Experience  
Currently, a Modula-2 and a Pascal version of the prettyprinter are implemented.  ...  The customization of the prettyprinter is done by means of a user profile with a set of parameters.  ...  Generating the desired output The program to be prettyprinted must be analyzed syntactically.  ... 
doi:10.1002/spe.4380190703 fatcat:ex7lutkjabbtlcsn7lvt3f4p7y

Towards the Code Clone Analysis in Heterogeneous Software Products

Tijana Vislavski, Zoran Budimac, Gordana Rakic
2016 Software Quality Analysis, Monitoring, Improvement, and Applications  
In this paper, we propose a language-independent code clone analysis, introduced as part of SSQSA (Set of Software Quality Static Analyzers) platform, aimed to enable consistent static analysis of heterogeneous  ...  We describe the first prototype of the clone detection tool and show that it successfully detects same algorithms implemented in different programming languages as clones, and thus brings us a step closer  ...  Implementations have been done in four different programming languages: Java, JavaScript, PHP and Modula-2.  ... 
dblp:conf/sqamia/VislavskiBR16 fatcat:aiefcyw7j5hjzjtnbqgqtc5i6y

A realistic compiler generator based on high-level semantics: another progress report

P. Lee, U. Pleban
1987 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '87  
In constrast to traditional denotational semantics, high-level semantics is suitable for both defining the functional meaning of programming languages, as well as describing realistic compiler implcmentations  ...  We have developed a new style of semantic definition called high-level semantics.  ...  semantics of the programming language.  ... 
doi:10.1145/41625.41651 dblp:conf/popl/LeeP87 fatcat:4b47dlkej5e6dovgpftv7gs5um

New Approach to Categorical Semantics for Procedural Languages

William Steingartner, Valerie Novitzká, Michaela Bačíková, Štefan Korečko
2017 Computing and informatics  
The semantics of programs written in some languages is concerned with the interpretation in various types of models.  ...  In this paper a new approach to semantics is presented: behavior of programs, i.e., changes of states are modeled in the category of states.  ...  FEI-2015-18: Coalgebraic models of component systems.  ... 
doi:10.4149/cai_2017_6_1385 fatcat:xffx7h7af5dohkelt4dtsacfdy

Using types to analyze and optimize object-oriented programs

Amer Diwan, Kathryn S. McKinley, J. Eliot B. Moss
2001 ACM Transactions on Programming Languages and Systems  
Object-oriented programs make extensive use of method invocations and pointer dereferences, both of which are potentially costly on modern machines.  ...  Using limit, static, and running time evaluation, we demonstrate that these techniques are effective, and sometimes perfect for a set of Modula-3 benchmarks.  ...  ACKNOWLEDGMENTS We would like to thank Ole Agesen and Darko Stefanović for comments on drafts of this paper. We would like to thank the anonymous referees for their detailed comments.  ... 
doi:10.1145/383721.383732 fatcat:wljudy4mpnctfbhfvsmvjzhx2m
« Previous Showing results 1 — 15 out of 770 results