High level reading and data structure compilation
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The undergraduate capstone software design experience
Proceedings of the conference on TRI-Ada '97
The undergraduate capstone software design experience
Proceedings of the conference on TRI-Ada '97
“Maximal-munch” tokenization in linear time
ACM Transactions on Programming Languages and Systems (TOPLAS)
OO design in compiling an OO language
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
Data-flow analysis of program fragments
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Directions for research in approximate system analysis
ACM Computing Surveys (CSUR)
Efficient and Precise Cache Behavior Prediction for Real-TimeSystems
Real-Time Systems
Cache Aware Pre-Runtime Scheduling
Real-Time Systems
Fast and Precise WCET Prediction by Separated Cache andPath Analyses
Real-Time Systems - Special issue on worst-case execution-time analysis
Generation of LR parsers by partial evaluation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Graph-based code selection techniques for embedded processors
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
LR and LL parsing: some new points of view
ACM SIGCSE Bulletin
Processor modeling and code selection for retargetable compilation
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Theoretical Computer Science
Energy aware compilation for DSPs with SIMD instructions
Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems
Embedded software in real-time signal processing systems: design technologies
Readings in hardware/software co-design
Generating Model Checkers from Algebraic Specifications
Formal Methods in System Design
Focusing in Algorithm Explanation
IEEE Transactions on Visualization and Computer Graphics
Exploring into Programs for the Recovery of Data Dependencies Designed
IEEE Transactions on Knowledge and Data Engineering
Type-Based Useless-Code Elimination for Functional Programs
SAIG '00 Proceedings of the International Workshop on Semantics, Applications, and Implementation of Program Generation
Reliable and Precise WCET Determination for a Real-Life Processor
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
PROPAN: A Retargetable System for Postpass Optimisations and Analyses
LCTES '00 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
WIA '98 Revised Papers from the Third International Workshop on Automata Implementation
Animation of the Generation and Computation of Finite Automata for Learning Software
WIA '99 Revised Papers from the 4th International Workshop on Automata Implementation
Visual Exploration of Generation Algorithms for Finite Automata on the Web
CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
Call Graph and Control Flow Graph Visualization for Developers of Embedded Applications
Revised Lectures on Software Visualization, International Seminar
A Simulation for Real Time Data Compression
ITCC '00 Proceedings of the The International Conference on Information Technology: Coding and Computing (ITCC'00)
On predictive parsing and extended context-free grammars
Computer Science in Perspective
TDL: a hardware description language for retargetable postpass optimizations and analyses
Proceedings of the 2nd international conference on Generative programming and component engineering
Phase Coupled Code Generation for DSPs Using a Genetic Algorithm
Proceedings of the conference on Design, automation and test in Europe - Volume 2
Automated elicitation of inclusion dependencies from the source code for database transactions
Journal of Software Maintenance: Research and Practice
The Separation Principle: A Programming Paradigm
IEEE Software
A functional correspondence between call-by-need evaluators and lazy abstract machines
Information Processing Letters
Syntax error repair for a Java-based parser generator
ACM SIGPLAN Notices
A visual and interactive automata theory course emphasizing breadth of automata
ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
Toward an engineering discipline for grammarware
ACM Transactions on Software Engineering and Methodology (TOSEM)
Macros for context-free grammars
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Pebble Macro Tree Transducers with Strong Pebble Handling
Fundamenta Informaticae
Circularity, composition, and decomposition results for pebble macro tree transducers
Journal of Automata, Languages and Combinatorics
Theory and Practice of Logic Programming
Towards a Taxonomy for ECFG and RRPG Parsing
LATA '09 Proceedings of the 3rd International Conference on Language and Automata Theory and Applications
A method for detecting the theft of Java programs through analysis of the control flow information
Information and Software Technology
Forest FIRE and FIRE Wood: Tools for Tree Automata and Tree Algorithms
Proceedings of the 2009 conference on Finite-State Methods and Natural Language Processing: Post-proceedings of the 7th International Workshop FSMNLP 2008
Rule-Based Programming with Diaplan
Electronic Notes in Theoretical Computer Science (ENTCS)
On predictive parsing and extended context-free grammars
CIAA'02 Proceedings of the 7th international conference on Implementation and application of automata
SAIG'01 Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation
An appreciation of the work of Reinhard Wilhelm
Program analysis and compilation, theory and practice
On LR(k)-parsers of polynomial size
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
Compilation of inheritance for object-oriented structures
MMACTEE'06 Proceedings of the 8th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering
Context free languages: an application to recursive programs analysis
MMACTEE'06 Proceedings of the 8th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering
Timing analysis and timing predictability
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Pebble Macro Tree Transducers with Strong Pebble Handling
Fundamenta Informaticae
| Hi-index | 0.00 |