Search results for "compiler"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
86	Torsten Braun, Isabelle Chrisment, Christophe Diot, François Gagnon, Laurent Gautier	ALFred, a Protocol Compiler for the Automated Implementation of Distributed Applications.	HPDC	1996	DBLP DOI BibTeX RDF	protocol compiler, ALFred, end-to-end communication functions, high performance implementation, control compiler, ALF compiler, data manipulation compiler, ILP compiler, high performance communication architectures, formal specification, formal specification, protocols, distributed processing, specification languages, software design, distributed applications, program compilers, software performance evaluation, software prototyping, software prototyping, ESTEREL, communication architecture, data handling
70	I. M. Kipps	Experience with Porting Techniques on a COBOL 74 Compiler.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF	COBOL
70	Stuart I. Feldman	Implementation of a portable Fortran 77 compiler using modern tools.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF	FORTRAN 77
66	James Bodwin, Laurette Bradley, Kohji Kanda, Diane Litle, Uwe F. Pleban	Experience with an Experimental Compiler Generator Based on Denotational Semantics.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF
66	G. B. Bonkowski, W. Morven Gentleman, M. A. Malcolm	Porting the Zed compiler.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF
65	Sophia Drossopoulou, James S. Uhl, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein	An Attribute Grammar for Ada.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF	Ada compiler, Attribute grammer, Ordered attribute grammer, Ada, Static semantics, Compiler compiler
65	Kenneth Hoste, Andy Georges, Lieven Eeckhout	Automated just-in-time compiler tuning.	CGO	2010	DBLP DOI BibTeX RDF	compiler tuning, machine learning, java virtual machine (JVM), evolutionary search, just-in-time (JIT) compiler
62	Andres Rudmik, E. S. Lee	Compiler design for efficient code generation and program optimization.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF
59	R. Daniel Resler, Dean M. Deaver	VCOCO: a visualisation tool for teaching compilers.	ITiCSE	1998	DBLP DOI BibTeX RDF	visible compiler, visual compiler, compiler compiler
59	Lee Pike, Mark Shields, John Matthews	A verifying core for a cryptographic language compiler.	ACL2	2006	DBLP DOI BibTeX RDF	cryptography, certification, optimizing compiler, ACL2, high-assurance, certifying compiler, verifying compiler
58	Rodney A. Brooks, Richard P. Gabriel, Guy L. Steele Jr.	An Optimizing Compiler for Lexically Scoped LISP.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF	LISP
58	Kai Koskimies, Kari-Jouko Räihä, Matti Sarjakoski	Compiler Construction Using Attribute Grammars.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF
58	Ian W. Moor	An Applicative Compiler for a Parallel Machine.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF	HOPE
57	Martin Helmut Alt, Uwe Aßmann, Hans van Someren 0001	Cosy Compiler Phase Embedding with the CoSy Compiler Model.	CC	1994	DBLP DOI BibTeX RDF
55	Doug Baldwin	A compiler for teaching about compilers.	SIGCSE	2003	DBLP DOI BibTeX RDF	object oriented programming, design patterns, compiler design, educational projects
55	Janette Frigo, Maya B. Gokhale, Dominique Lavenier	Evaluation of the streams-C C-to-FPGA compiler: an applications perspective.	FPGA	2001	DBLP DOI BibTeX RDF	FPGA design tools, FPGA, high-level synthesis, configurable computing, hardware-software co-design, silicon compiler
55	Jonas Skeppstedt	Overcoming Limitations of Prefetching in Multiprocessors by Compiler-Initiated Coherence Actions.	IEEE PACT	1997	DBLP DOI BibTeX RDF	compiler-initiated coherence, CC-NUMA multiprocessor, compiler-controlled prefetching, read-stall time, write-latency, read-latency, memory access latency reduction, migratory sharing, parallel architectures, multiprocessors, prefetching, prefetch, compiler-analysis
54	Michael L. Powell	A portable optimizing compiler for Modula-2.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
54	Wilf R. LaLonde, Jim des Rivières	A Flexible Compiler Structure That Allows Dynamic Phase Ordering.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF
54	Uwe F. Pleban	The use of transition matrices in a recursive-descent compiler.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF
53	Paul Kenyon, Prathima Agrawal, Sharad C. Seth	High-level microprogramming: an optimizing C compiler for a processing element of a CAD accelerator.	MICRO	1990	DBLP BibTeX RDF	front-end DAG compiler, hand vs. compiled microcode, microcode compiler, programming environment for CAD, space/time overhead, code generation, hardware accelerator, performance data
51	Chris Nettleton, Wilson Ifill, Colin Marsh	Towards a demonstrably-correct ada compiler.	SIGAda	2007	DBLP DOI BibTeX RDF	compiler, correctness, ada95
51	Kazunori Ogata, Tamiya Onodera, Kiyokuni Kawachiya, Hideaki Komatsu, Toshio Nakatani	Replay compilation: improving debuggability of a just-in-time compiler.	OOPSLA	2006	DBLP DOI BibTeX RDF	problem determination, replay compilation, Java, dynamic optimization, JIT compiler, debuggability, deterministic replay
50	Robert R. Kessler, John C. Peterson, Harold Carr, Gerald P. Duggan, J. Knell, Jed J. Krohnfeldt	EPIC - a retargetable, highly optimizing Lisp compiler.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF	LISP, LISP
50	R. G. G. Cattell, Joseph M. Newcomer, Bruce W. Leverett	Code generation in a machine-independent compiler.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF
49	Guilan Dai, Suqing Zhang, Jinlan Tian, Weidu Jiang	A study of compiler techniques for multiple targets in compiler infrastructures.	ACM SIGPLAN Notices	2002	DBLP DOI BibTeX RDF	compiler infrastructures, embedded systems, code generation, intermediate representations, machine descriptions
48	Cornelis H. A. Koster	Using the CDL Compiler-Compiler.	Compiler Construction	1976	DBLP DOI BibTeX RDF
47	Jack W. Davidson, David B. Whalley	Ease: An Environment for Architecture Study and Experimentation.	SIGMETRICS	1990	DBLP DOI BibTeX RDF
47	Ross Tate, Juan Chen, Chris Hawblitzel	Inferable object-oriented typed assembly language.	PLDI	2010	DBLP DOI BibTeX RDF	existential quantification, object-oriented compiler, typed assembly language (tal), type inference, certifying compiler
47	Christophe Dubach, Timothy M. Jones 0001, Edwin V. Bonilla, Grigori Fursin, Michael F. P. O'Boyle	Portable compiler optimisation across embedded programs and microarchitectures using machine learning.	MICRO	2009	DBLP DOI BibTeX RDF	architecture/compiler co-design, machine learning, design-space exploration
47	Jason Ansel, Cy P. Chan, Yee Lok Wong, Marek Olszewski, Qin Zhao, Alan Edelman, Saman P. Amarasinghe	PetaBricks: a language and compiler for algorithmic choice.	PLDI	2009	DBLP DOI BibTeX RDF	algorithmic choice, implicitly parallel, adaptive, compiler, language, autotuning
47	Mark Stephenson, Saman P. Amarasinghe, Martin C. Martin, Una-May O'Reilly	Meta optimization: improving compiler heuristics with machine learning.	PLDI	2003	DBLP DOI BibTeX RDF	compiler heuristics, priority functions, machine learning, genetic programming
47	Sam F. Mendicino, Robert A. Hughes, Jeanne T. Martin, Frank H. McMahon, John E. Ranelletti, Richard G. Zwakenberg	The LRLTRAN compiler.	Commun. ACM	1968	DBLP DOI BibTeX RDF	Polish processor, common subsegments, machine independence, scatter storage technique, optimization, compiler, compiler-compiler, tree representations
47	Jean Beney, Jean-François Boulicaut	STARLET: An Affix-Based Compiler Compiler Designed as a Logic Programming System.	CC	1990	DBLP DOI BibTeX RDF
46	Uwe F. Pleban	Compiler prototyping using formal semantics.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
46	Harald Ganzinger, Robert Giegerich, Ulrich Möncke, Reinhard Wilhelm	A Truly Generative Semantics-Directed Compiler Generator.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF
46	Harlan K. Seyfer	Tailoring Testing to a Specific Compiler - Experiences.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF	Pascal
46	Kari-Jouko Räihä	Experiences with the compiler writing system HLP.	Semantics-Directed Compiler Generation	1980	DBLP DOI BibTeX RDF
46	Peter D. Mosses	A constructive approach to compiler correctness.	Semantics-Directed Compiler Generation	1980	DBLP DOI BibTeX RDF
46	Gilbert J. Hansen, G. A. Shoults, J. D. Cointment	Construction of a transportable, multi-pass compiler for extended Pascal.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF	Pascal
46	Paul W. Abrahams	The CIMS PL/I compiler.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF	PL/I
45	Hirotaka Ogawa, Kouya Shimura, Satoshi Matsuoka, Fuyuhiko Maruyama, Yukihiko Sohda, Yasunori Kimura	OpenJIT: An Open-Ended, Reflective JIT Compiler Framework for Java.	ECOOP	2000	DBLP DOI BibTeX RDF
45	Alfred V. Aho, Susan L. Graham	Tools For Automatic Compiler Generation (Panel Discussion).	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF
45	Jonas Skeppstedt, Michel Dubois 0001	Hybrid compiler/hardware prefetching for multiprocessors using low-overhead cache miss traps.	ICPP	1997	DBLP DOI BibTeX RDF	hybrid compiler/hardware prefetching, low-overhead cache miss traps, data prefetching technique, cache coherent multiprocessors, cache miss traps, trap handler, simulated multiprocessor, compiler, multiprocessors, multiprocessing systems
45	Xavier Leroy	Formal certification of a compiler back-end or: programming a compiler with a proof assistant.	POPL	2006	DBLP DOI BibTeX RDF	compiler transformations and optimizations, the Coq theorem prover, certified compilation, program proof, semantic preservation
45	Bettina Buth, Karl-Heinz Buth, Martin Fränzle, Burghard von Karger, Yassine Lakhnech, Hans Langmaack, Markus Müller-Olm	Provably Correct Compiler Development and Implementation.	CC	1992	DBLP DOI BibTeX RDF
45	Masataka Sassa	Rie and Jun: Towards the Generation of all Compiler Phases.	CC	1990	DBLP DOI BibTeX RDF
44	Thomas R. Gross, Monica S. Lam	Compilation for a high-performance systolic array.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
43	Yi Yang 0018, Ping Xiang, Jingfei Kong, Huiyang Zhou	An optimizing compiler for GPGPU programs with input-data sharing.	PPoPP	2010	DBLP DOI BibTeX RDF	compiler, gpgpu
43	Thomas Kotzmann, Christian Wimmer, Hanspeter Mössenböck, Thomas Rodriguez, Kenneth B. Russell, David Cox	Design of the Java HotSpot™ client compiler for Java 6.	ACM Trans. Archit. Code Optim.	2008	DBLP DOI BibTeX RDF	deoptimization, Java, optimization, compiler, register allocation, just-in-time compilation, intermediate representation
43	Xiaoqing Wu, Barrett R. Bryant, Jeffrey G. Gray, Suman Roychoudhury, Marjan Mernik	Separation of concerns in compiler development using aspect-orientation.	SAC	2006	DBLP DOI BibTeX RDF	design patterns, aspect-oriented programming, compiler design
43	Tyson R. Henry	Teaching compiler construction using a domain specific language.	SIGCSE	2005	DBLP DOI BibTeX RDF	domain specific languages, compiler construction, educational projects
43	Soklei Leong, Stephen M. Jodis, Kevin J. Sullivan, Oliver Jiang, Paul A. D. de Maine	A Transportable Programming Language (TPL) System-II: The Bifunctional Compiler System.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	transportable programming language, bifunctional compiler, hypothetical parent, rule modifier, table generator, conversion rule description language, tabular forms, program compilers, high-level-language, high level languages, metalanguage, program translation, code conversion
42	Frank DeRemer, Richard Jüllig	Tree-affix dendrogrammars for languages and compilers.	Semantics-Directed Compiler Generation	1980	DBLP DOI BibTeX RDF	context-sensitive syntax, affix grammars, language specification, attribute grammars, compiler generation, abstract syntax, static semantics, concrete syntax, translator writing system
42	Véronique Royer	Transformations of denotational semantics in semantics directed compiler generation.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
42	James R. Larus, Paul N. Hilfinger	Register allocation in the SPUR Lisp compiler.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF	LISP, LISP
42	Joseph A. Fisher, John R. Ellis, John C. Ruttenberg, Alexandru Nicolau	Parallel processing: a smart compiler and a dumb machine.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
42	Marc A. Auslander, Martin Hopkins	An Overview of the PL.8 Compiler.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF
42	Martin L. Griss, Eric Benson, Anthony C. Hearn	Current Status of a Portable Lisp Compiler.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF	LISP
42	Neil D. Jones, David A. Schmidt	Compiler generation from denotational semantics.	Semantics-Directed Compiler Generation	1980	DBLP DOI BibTeX RDF
42	D. R. Milton, L. W. Kirchhoff, B. R. Rowland	An all(1) compiler generator.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF
41	Robert Glück	Is there a fourth Futamura projection?	PEPM	2009	DBLP DOI BibTeX RDF	Futamura projections, cogen approach, generator self-generation, domain-specific languages, bootstrapping, program specialization, compiler generators, self-application
41	Balkrishna Ramkumar, Laxmikant V. Kalé	Machine Independent AND and OR Parallel Execution of Logic Programs: Part II-Compiled Execution.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	Reduce-OR process model, Encore Multimax, Sequent Symmetry, NCUBE 2, Intel i860 hypercube, Chare kernel, scale linearly, performance, parallel programming, parallel programming, compiler, logic programming, logic programs, multiprocessing systems, program compilers, parallel execution, Sun workstations
41	Ben L. Titzer, Thomas Würthinger, Doug Simon, Marcelo Cintra	Improving compiler-runtime separation with XIR.	VEE	2010	DBLP DOI BibTeX RDF	lowering, runtime interface, java, software architecture, compilers, virtual machines, register allocation, object model, intermediate representations, JIT
41	Torbjörn Ekman 0001, Görel Hedin	The jastadd extensible java compiler.	OOPSLA	2007	DBLP DOI BibTeX RDF	declarative frameworks, java, compilers, OOP, modularity, extensibility
41	Kazuhisa Ishizaka, Takamichi Miyamoto, Jun Shirako, Motoki Obata, Keiji Kimura, Hironori Kasahara	Performance of OSCAR Multigrain Parallelizing Compiler on SMP Servers.	LCPC	2004	DBLP DOI BibTeX RDF
41	Steven Carroll, Walden Ko, Mark N. Yankelevsky, Constantine D. Polychronopoulos	Optimizing Compiler Design for Modularity and Extensibility.	LCPC	2001	DBLP DOI BibTeX RDF
41	Miroslav Popovic, Vladimir Kovacevic, Miodrag R. Temerinac	Software Testing Concept Used for MAS/C-Compiler.	EUROMICRO	2000	DBLP DOI BibTeX RDF	software testing-tools and bit-exact verification, software testing
41	George C. Necula, Peter Lee 0001	The design and implementation of a certifying compiler (with retrospective)	Best of PLDI	1998	DBLP DOI BibTeX RDF
41	George C. Necula, Peter Lee 0001	The Design and Implementation of a Certifying Compiler.	PLDI	1998	DBLP DOI BibTeX RDF	C
41	Keith D. Cooper, Timothy J. Harvey	Compiler-Controlled Memory.	ASPLOS	1998	DBLP DOI BibTeX RDF
41	Kesav V. Nori, Sanjeev Kumar, M. Pavan Kumar	Retrospection on the Compiler Structure.	FSTTCS	1987	DBLP DOI BibTeX RDF
41	Michael Pitzer, Heinz Dobler	An Object-Oriented and Generic Compiler Generator.	EUROCAST	2007	DBLP DOI BibTeX RDF	Visitor, Compiler, Design Patterns, Genericity, Interpreter, Attributed Grammars, Compiler Generator, EBNF
41	Masayo Haneda, Peter M. W. Knijnenburg, Harry A. G. Wijshoff	Generating new general compiler optimization settings.	ICS	2005	DBLP DOI BibTeX RDF	compiler tuning, compiler optimization, iterative compilation
41	Deryck Forsyth Brown, Hermano P. Moura, David A. Watt	Actress: An Action Semantics Directed Compiler Generator.	CC	1992	DBLP DOI BibTeX RDF
40	David W. Wall	Global register allocation at link time.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
40	Peter B. Kessler	Discovering machine-specific code improvements.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
40	Robert R. Kessler	Peep: an architectural description driven peephole optimizer.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
40	Thomas N. Turba	A Facility for the Downward Execution of a High-Level Language.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF	Inline code, Compilers, Efficiency, Code generation, Extensibility, Encapsulation, High-level languages, Assemblers, Machine code
40	C. W. Johnson, Colin Runciman	Semantic Errors - Diagnosis and Repair.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF
40	Gregory J. Chaitin	Register Allocation & Spilling via Graph Coloring.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF
40	Peter L. Bird	An Implementation of a Code Generator Specification Language for Table Driven Code Generators.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF
40	Martin R. Raskovsky, Philip A. Collier	From standard to implementation denotational semantics.	Semantics-Directed Compiler Generation	1980	DBLP DOI BibTeX RDF
40	Kari-Jouko Räihä	Dynamic allocation of space for attribute instances in multi-pass evaluators of attribute grammars.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF
39	Renato Ferreira 0001, Gagan Agrawal, Joel H. Saltz	Compiling object-oriented data intensive applications.	ICS	2000	DBLP DOI BibTeX RDF	Java
39	Christian S. Collberg	Reverse Interpretation + Mutation Analysis = Automatic Retargeting.	PLDI	1997	DBLP DOI BibTeX RDF	C
39	Haim Kilov	Guidelines for writing PL/I programs.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
39	Eric Eide, John Regehr	Volatiles are miscompiled, and what to do about it.	EMSOFT	2008	DBLP DOI BibTeX RDF	compiler defect, compiler testing, random program generation, random testing, automated testing, volatile
39	Seung Woo Son 0001, Sai Prashanth Muralidhara, Ozcan Ozturk 0001, Mahmut T. Kandemir, Ibrahim Kolcu, Mustafa Karaköy	Profiler and compiler assisted adaptive I/O prefetching for shared storage caches.	PACT	2008	DBLP DOI BibTeX RDF	shared storage cache, adaptive, compiler, profiler, prefetching
39	Christophe Dubach, Timothy M. Jones 0001, Michael F. P. O'Boyle	Exploring and predicting the architecture/optimising compiler co-design space.	CASES	2008	DBLP DOI BibTeX RDF	architecture/compiler co-design, performance prediction, design-space exploration
39	Adam Chlipala	A certified type-preserving compiler from lambda calculus to assembly language.	PLDI	2007	DBLP DOI BibTeX RDF	denotational semantics, dependent types, compiler verification, interactive proof assistants
39	Guangyu Chen, Feihui Li, Mahmut T. Kandemir	Compiler-directed channel allocation for saving power in on-chip networks.	POPL	2006	DBLP DOI BibTeX RDF	compiler, energy consumption, NoC
39	Wei Zhang 0002, Mahmut T. Kandemir, Mustafa Karaköy, Guangyu Chen	Reducing data cache leakage energy using a compiler-based approach.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	array-intensive applications, pointer-intensive applications, data caches, energy optimization, Compiler analysis
39	Youngsun Han, Seon Kim, Chulwoo Kim	Jaguar: A Compiler Infrastructure for Java Reconfigurable Computing.	ICESS	2005	DBLP DOI BibTeX RDF	Java, FPGA, compiler, Reconfigurable computing, Verilog
39	Seung Woo Son 0001, Guangyu Chen, Mahmut T. Kandemir, Alok N. Choudhary	Exposing disk layout to compiler for reducing energy consumption of parallel disk based systems.	PPoPP	2005	DBLP DOI BibTeX RDF	low power, optimizing compiler, parallel disk
39	Xinmin Tian, Milind Girkar, Sanjiv Shah, Douglas Armstrong, Ernesto Su, Paul Petersen	Compiler and Runtime Support for Running OpenMP Programs on Pentium- and Itanium-Architectures.	IPDPS	2003	DBLP DOI BibTeX RDF	Hyper-Threading technology, Parallelization, OpenMP, compiler optimization, shared-memory multiprocessor, thread-level parallelism
39	Kazuhiro Kusano, Shigehisa Satoh, Mitsuhisa Sato	Performance Evaluation of the Omni OpenMP Compiler.	ISHPC	2000	DBLP DOI BibTeX RDF	parkbench, performance evaluation, compiler, OpenMP, Microbenchmarks
39	Todd C. Mowry	Tolerating Latency in Multiprocessors Through Compiler-Inserted Prefetching.	ACM Trans. Comput. Syst.	1998	DBLP DOI BibTeX RDF	prefetching, compiler optimization
39	Saumya K. Debray	Making compiler design relevant for students who will (most likely) never design a compiler.	SIGCSE	2002	DBLP DOI BibTeX RDF
39	Mark I. Halpern	Programming Languages: Toward a general processor for programming languages.	Commun. ACM	1968	DBLP DOI BibTeX RDF	compiler writing system, general processor, general translator, macro instruction processor, meta compiler, meta language processor, meta language translator, meta processor, programming language processor, programming language translator, compiler-compiler, translator writing system