A language for creating and manipulating VRML
VRML '95 Proceedings of the first symposium on Virtual reality modeling language
LL and LR translators need k1 lookahead
ACM SIGPLAN Notices
The path-wise approach to data flow testing with pointer variables
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Actor based parallel VHDL simulation using time warp
PADS '96 Proceedings of the tenth workshop on Parallel and distributed simulation
Generating wrappers for command line programs: the Cal-Aggie Wrap-O-Matic project
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Parsing C++ code despite missing declarations
Advances in software engineering
Proceedings of the 11th international conference on World Wide Web
Packrat parsing:: simple, powerful, lazy, linear time, functional pearl
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
A compiler for teaching about compilers
SIGCSE '03 Proceedings of the 34th SIGCSE technical symposium on Computer science education
An Architecture for Interactive Program Provers
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
A Bounded Graph-Connect Construction for LR-regular Parsers
CC '01 Proceedings of the 10th International Conference on Compiler Construction
Cost-Effective Maintenance Tools for Proprietary Languages
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
On predictive parsing and extended context-free grammars
Computer Science in Perspective
Parsing expression grammars: a recognition-based syntactic foundation
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Bounded-connect noncanonical discriminating-reverse parsers
Theoretical Computer Science - Implementation and application automata
Enforcing strict model-view separation in template engines
Proceedings of the 13th international conference on World Wide Web
A Compiler and Runtime Infrastructure for Automatic Program Distribution
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Papers - Volume 01
The next 700 data description languages
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Source transformation, analysis and generation in TXL
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Better extensibility through modular syntax
Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
The TXL source transformation language
Science of Computer Programming - The fourth workshop on language descriptions, tools, and applications (LDTA'04)
XGLR: an algorithm for ambiguity in programming languages
Science of Computer Programming - The fourth workshop on language descriptions, tools, and applications (LDTA'04)
Using source transformation to test and model check implicit-invocation systems
Science of Computer Programming - Special issue on source code analysis and manipulation (SCAM 2005)
Tatoo: an innovative parser generator
PPPJ '06 Proceedings of the 4th international symposium on Principles and practice of programming in Java
TCS:: a DSL for the specification of textual concrete syntaxes in model engineering
Proceedings of the 5th international conference on Generative programming and component engineering
binpac: a yacc for writing application protocol parsers
Proceedings of the 6th ACM SIGCOMM conference on Internet measurement
A backtracking LR algorithm for parsing ambiguous context-dependent languages
CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
STAC: software tuning panels for autonomic control
CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
Detecting loop-carried dependences in programs with dynamic data structures
Journal of Parallel and Distributed Computing
Dynamic test input generation for database applications
Proceedings of the 2007 international symposium on Software testing and analysis
The metafront system: Safe and extensible parsing and transformation
Science of Computer Programming
Paxos made live: an engineering perspective
Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing
Parsing Expression Grammar as a Primitive Recursive-Descent Parser with Backtracking
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
An EFSM-based test generation for validation of SDL specifications
Proceedings of the 3rd international workshop on Automation of software test
When Timing Matters: Enabling Time Accurate and Scalable Simulation of Sensor Network Applications
IPSN '08 Proceedings of the 7th international conference on Information processing in sensor networks
A set of tools to teach compiler construction
Proceedings of the 13th annual conference on Innovation and technology in computer science education
Stratego/XT 0.17. A language and toolset for program transformation
Science of Computer Programming
The STSLib Project: Towards a Formal Component Model Based on STS
Electronic Notes in Theoretical Computer Science (ENTCS)
Macros for context-free grammars
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
An interactive reverse engineering environment for large-scale C++ code
Proceedings of the 4th ACM symposium on Software visualization
Domain-specific languages and program generation with meta-AspectJ
ACM Transactions on Software Engineering and Methodology (TOSEM)
KleeNet: automatic bug hunting in sensor network applications
Proceedings of the 6th ACM conference on Embedded network sensor systems
A Framework for Reverse Engineering Large C++ Code Bases
Electronic Notes in Theoretical Computer Science (ENTCS)
Ifcowl: A case of transforming express schemas into ontologies
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Banzai: a Java framework for the implementation of high-performance servers
Proceedings of the 2009 ACM symposium on Applied Computing
Proceedings of the 2009 ACM symposium on Applied Computing
Model-Driven Engineering Meets Generic Language Technology
Software Language Engineering
A Formal Way from Text to Code Templates
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
When printed hypertexts go digital: information extraction from the parsing of indices
Proceedings of the 20th ACM conference on Hypertext and hypermedia
HPC and Grid Computing for Integrative Biomedical Research
International Journal of High Performance Computing Applications
Gel: A Generic Extensible Language
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
A discipline of tree processing
PPPJ '09 Proceedings of the 7th International Conference on Principles and Practice of Programming in Java
Validation of SDL specifications using EFSM-based test generation
Information and Software Technology
Computer Languages, Systems and Structures
The mythical matched modules: overcoming the tyranny of inflexible software construction
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
The next 700 data description languages
Journal of the ACM (JACM)
Electronic Notes in Theoretical Computer Science (ENTCS)
TXL - A Language for Programming Language Tools and Applications
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
Program plagiarism detection using parse tree Kernels
PRICAI'06 Proceedings of the 9th Pacific Rim international conference on Artificial intelligence
Polyglot: an extensible compiler framework for Java
CC'03 Proceedings of the 12th international conference on Compiler construction
Packrat parsers can handle practical grammars in mostly constant space
Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
A scripting language for Digital Content Creation applications
ACM SIGGRAPH 2010 Posters
Integrating Textual and Graphical Modelling Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Using DSLs for developing enterprise systems
Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications
A special-purpose compiler for look-up table and code generation for function evaluation
Proceedings of the Conference on Design, Automation and Test in Europe
Explicitly recursive grammar combinators: a better model for shallow parser DSLs
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
Forest: a language and toolkit for programming with filestores
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
A language specification tool for model-based parsing
IDEAL'11 Proceedings of the 12th international conference on Intelligent data engineering and automated learning
Past time LTL runtime verification for microcontroller binary code
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
Source transformation for MATLAB automatic differentiation
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part IV
Tangent-Linear models by augmented LL-Parsers
ICCSA'06 Proceedings of the 6th international conference on Computational Science and Its Applications - Volume Part I
PIL: a platform independent language for retargetable DSLs
SLE'09 Proceedings of the Second international conference on Software Language Engineering
A new dependence test based on shape analysis for pointer-based codes
LCPC'04 Proceedings of the 17th international conference on Languages and Compilers for High Performance Computing
Improved GLR parsing algorithm
ICIC'05 Proceedings of the 2005 international conference on Advances in Intelligent Computing - Volume Part II
Automatic generation of modelling tools
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Techniques for lightweight generator refactoring
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
CompIMAGE'10 Proceedings of the Second international conference on Computational Modeling of Objects Represented in Images
Term rewriting meets aspect-oriented programming
Processes, Terms and Cycles
Structured data-based q&a system using surface patterns
FQAS'11 Proceedings of the 9th international conference on Flexible Query Answering Systems
Formalisation and implementation of the XACML access control mechanism
ESSoS'12 Proceedings of the 4th international conference on Engineering Secure Software and Systems
Banzai+Tatoo: Using cutting-edge parsers for implementing high-performance servers
Science of Computer Programming
Identifying business rules to legacy systems reengineering based on BPM and SOA
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part IV
Parallel software architecture for experimental workflows in computational biology on clouds
PPAM'11 Proceedings of the 9th international conference on Parallel Processing and Applied Mathematics - Volume Part II
Security'12 Proceedings of the 21st USENIX conference on Security symposium
Parsing Expression Grammar as a Primitive Recursive-Descent Parser with Backtracking
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Integrated definition of abstract and concrete syntax for textual languages
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Bridging the chasm between MDE and the world of compilation
Software and Systems Modeling (SoSyM)
Natural and Flexible Error Recovery for Generated Modular Language Environments
ACM Transactions on Programming Languages and Systems (TOPLAS)
Generalized vulnerability extrapolation using abstract syntax trees
Proceedings of the 28th Annual Computer Security Applications Conference
Constructing a data accessing layer for in-memory data grid
Proceedings of the Fourth Asia-Pacific Symposium on Internetware
IWAAL'12 Proceedings of the 4th international conference on Ambient Assisted Living and Home Care
Design and Implementation of an Autonomic Code Generator Based on RTPA
International Journal of Software Science and Computational Intelligence
Fuzzing the ActionScript virtual machine
Proceedings of the 8th ACM SIGSAC symposium on Information, computer and communications security
Automatic parallelization of canonical loops
Science of Computer Programming
Typed syntactic meta-programming
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Proceedings of the 26th annual ACM symposium on User interface software and technology
An application for plagiarized source code detection based on a parse tree kernel
Engineering Applications of Artificial Intelligence
Chucky: exposing missing checks in source code for vulnerability discovery
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security
Transforming high-level requirements to executable policies for Android
Proceedings of the 8th International Conference on Ubiquitous Information Management and Communication
Extensible Recognition of Algorithmic Patterns in DSP Programs for Automatic Parallelization
International Journal of Parallel Programming
Compiler-Assisted Checkpointing of Parallel Codes: The Cetus and LLVM Experience
International Journal of Parallel Programming
Runtime verification of microcontroller binary code
Science of Computer Programming
DropsBox: the Dresden Open Software Toolbox
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |