Search results for "compiling"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Patrick Valduriez, Scott Danforth, Brian E. Hart, Ted Briggs, Munir Cochinwala	Compiling FAD, a Database Programming Language.	DBPL	1989	DBLP BibTeX RDF
14	Richard M. Keller	Compiling Learning Vocabulary from a Performance System Description.	ML	1989	DBLP BibTeX RDF
14	Marina C. Chen, Young-il Choo, Jingke Li	Compiling parallel programs by optimizing performance.	J. Supercomput.	1988	DBLP DOI BibTeX RDF
14	David Callahan, Ken Kennedy	Compiling programs for distributed-memory multiprocessors.	J. Supercomput.	1988	DBLP DOI BibTeX RDF
14	Stephen L. Chiu, Masaki Togai	Compiling fuzzy logic control rules to hardware implementations.	Int. J. Approx. Reason.	1988	DBLP BibTeX RDF
14	Doug DeGroot	A Technique for Compiling Execution Graph Expressions for Restricted And-Parallelism in Logic Programs.	J. Parallel Distributed Comput.	1988	DBLP DOI BibTeX RDF
14	Hanspeter Mössenböck	A Convenient Way to Incorporate Semantic: Actions in Two-pass Compiling Scheme.	Softw. Pract. Exp.	1988	DBLP DOI BibTeX RDF
14	Lawrence J. Henschen, Hyung-Sik Park	Compiling the GCWA in Indefinite Deductive Databases.	Foundations of Deductive Databases and Logic Programming.	1988	DBLP DOI BibTeX RDF
14	Giorgio Montini	Compiling Built-In Taxonomic Reasoning in Prolog.	ISMIS	1988	DBLP BibTeX RDF
14	Isabelle Attali	Compiling TYPOL with Attribute Grammars.	PLILP	1988	DBLP DOI BibTeX RDF
14	Pohua P. Chang, Wen-mei W. Hwu	Trace selection for compiling large C application programs to microcode.	MICRO	1988	DBLP BibTeX RDF	C
14	Michael Gelfond, Vladimir Lifschitz	Compiling Circumscriptive Theories into Logic Programs.	NMR	1988	DBLP DOI BibTeX RDF
14	Jeffrey F. Naughton	Compiling Separable Recursions.	SIGMOD Conference	1988	DBLP DOI BibTeX RDF
14	Michael Gelfond, Vladimir Lifschitz	Compiling Circumscriptive Theories into Logic Programs.	AAAI	1988	DBLP BibTeX RDF
14	Randy Allen, Steve Johnson	Compiling C for Vectorization, Parallelization, and Inline Expansion.	PLDI	1988	DBLP DOI BibTeX RDF	C, FORTRAN
14	Arvind K. Bansal, Leon Sterling	Compiling Enumerate-and-Filter Programs for Efficient Execution Under Committed-choice and-Parallelism.	ICPP (2)	1988	DBLP BibTeX RDF
14	J. M. Daper	Compiling on horizon.	SC	1988	DBLP DOI BibTeX RDF
14	M. Gikar, Constantine D. Polychronopoulos	Compiling issues for supercomputers.	SC	1988	DBLP DOI BibTeX RDF
14	Michael J. Quinn, Philip J. Hatcher, Karen C. Jourdennais	Compiling C* Programs for a Hypercube Multicomputer.	PPOPP/PPEALS	1988	DBLP DOI BibTeX RDF	C
14	Eugene Albert, Kathleen Knobe, Joan D. Lukas, Guy L. Steele Jr.	Compiling Fortran 8x Array Features for the Connection Machine Computer System.	PPOPP/PPEALS	1988	DBLP DOI BibTeX RDF	FORTRAN 8X
14	Derek R. Brough, Christopher J. Hogger	Compiling Associativity into Logic Programs.	J. Log. Program.	1987	DBLP DOI BibTeX RDF
14	Klaus Indermark, Herbert Klaeren	Compiling Fibonacci-Like Recursion.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF
14	Michael Codish, Ehud Shapiro	Compiling OR-parallelism into AND-parallelism.	New Gener. Comput.	1987	DBLP DOI BibTeX RDF
14	Bruce A. Pumplin	Compiling LISP procedures.	SIGART Newsl.	1987	DBLP DOI BibTeX RDF
14	Iain D. Craig	The Design of Interactive Computer Displays II - A Guide to Selected Periodicals, by Kate McGee (Compiling Editor) The Report Store Lawrence, Kansas, 105 pp, 1986 ($25.00).	Robotica	1987	DBLP DOI BibTeX RDF
14	Stephen C. Dewhurst	Flexible Symbol Table Structures for Compiling C++.	Softw. Pract. Exp.	1987	DBLP DOI BibTeX RDF
14	Helmut Schmidt, Werner Kießling, Ulrich Güntzer, Rudolf Bayer	Compiling Exploratory and Goal-Directed Deduction into Sloppy Delta-Iteration.	SLP	1987	DBLP BibTeX RDF
14	Yukihide Takayama	Writing Programs as QJ Proof and Compiling into Prolog Programs.	SLP	1987	DBLP BibTeX RDF
14	Sumit Bandyopadhyay, Vimal S. Begwani, Robert B. Murray	Compiling for the CRISP Microprocessor.	COMPCON	1987	DBLP BibTeX RDF
14	Ralph E. Johnson	Workshop on compiling and optimizing.	OOPSLA Addendum	1987	DBLP DOI BibTeX RDF
14	Cordelia V. Hall, David S. Wise	Compiling Strictness into Streams.	POPL	1987	DBLP DOI BibTeX RDF	Daisy
14	Thierry Heuillard	Compiling Conditional Rewriting Systems.	CTRS	1987	DBLP DOI BibTeX RDF
14	John C. Hogge	Compiling Plan Operators from Domains Expressed in Qualitative Process Theory.	AAAI	1987	DBLP BibTeX RDF
14	Doug DeGroot	A Technique for Compiling Execution Graph Expressions for Restricted and Parallelism in Logic Programs.	ICS	1987	DBLP DOI BibTeX RDF
14	Roberto M. Amadio, Giuseppe Longo	Type-free compiling of parametric types.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
14	Agustin A. Araya, Sanjay Mittal	Compiling Design Plans from Descriptions of Artifacts and Problem Solving Heuristics.	IJCAI	1987	DBLP BibTeX RDF
14	Peter de Jong	Compiling objects into actors (abstract only).	OOPWORK	1986	DBLP DOI BibTeX RDF
14	Graham C. Driscoll Jr., Donald L. Orth	Compiling APL: The Yorktown APL Translator.	IBM J. Res. Dev.	1986	DBLP DOI BibTeX RDF
14	Bijan Arbab	Compiling Circular Attribute Grammars Into Prolog.	IBM J. Res. Dev.	1986	DBLP DOI BibTeX RDF
14	Alain J. Martin	Compiling Communicating Processes Into Delay-Insensitive VLSI Circuits.	Distributed Comput.	1986	DBLP DOI BibTeX RDF
14	Thomas S. Anantharaman, Edmund M. Clarke, Michael J. Foster, Bud Mishra	Compiling Path Expressions Into VLSI Circuits.	Distributed Comput.	1986	DBLP DOI BibTeX RDF
14	Katsuro Inoue, Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami	Compiling and Optimizing Methods for the Functional Language ASL/F.	Sci. Comput. Program.	1986	DBLP DOI BibTeX RDF
14	Maurice Bruynooghe, Danny De Schreye, Bruno Krekels	Compiling Control. (long version: JLP 6(1&2): 135-162)	SLP	1986	DBLP BibTeX RDF
14	Dave Rossum	Compiling a Music Signal Processor.	COMPCON	1986	DBLP BibTeX RDF
14	Keith D. Cooper, Ken Kennedy, Linda Torczon	Editing and compiling whole programs.	SDE	1986	DBLP DOI BibTeX RDF
14	Hanne Riis Nielson, Flemming Nielson	Semantics Directed Compiling for Functional Languages.	LISP and Functional Programming	1986	DBLP DOI BibTeX RDF
14	Jiro Tanaka, Makoto Kishishita	Compiling Extended Concurrent Prolog - Single Queue Compilation.	ESOP	1986	DBLP DOI BibTeX RDF
14	Michael Codish, Ehud Shapiro	Compiling OR-parallelism into AND-parallelism.	ICLP	1986	DBLP DOI BibTeX RDF
14	Zdravko Markov, Danail Dochev, Christo Dichev, Genadi Agre	An Approach to Compiling PROLOG Programs.	AIMSA	1986	DBLP BibTeX RDF
14	Thomas W. Christopher, Ralph W. Wallace	Compiling optimized array operations at run-time.	APL	1986	DBLP DOI BibTeX RDF
14	Lennart Augustsson	Compiling Pattern Matching.	FPCA	1985	DBLP DOI BibTeX RDF
14	Barry S. Fagin, Yale N. Patt, Vason P. Srini, Alvin M. Despain	Compiling Prolog into microcode: a case study using the NCR/32-000.	MICRO	1985	DBLP DOI BibTeX RDF
14	Thomas S. Anantharaman, Edmund M. Clarke, Michael J. Foster, Bud Mishra	Compiling Path Expressions into VLSI Circuits.	POPL	1985	DBLP DOI BibTeX RDF
14	Philip T. Cox, I. J. Mulligan	Compiling the graphical functional language PROGRAPH.	SIGSMALL	1985	DBLP DOI BibTeX RDF
14	Alexis Koster	Compiling APL for parallel execution on an FFP machine.	APL	1985	DBLP DOI BibTeX RDF
14	Howard Trickey	Compiling PASCAL programs into silicon.		1985	RDF
14	Joseph A. Fisher	The VLIW Machine: A Multiprocessor for Compiling Scientific Code.	Computer	1984	DBLP DOI BibTeX RDF
14	Lawrence J. Henschen, Shamim A. Naqvi	On compiling queries in recursive first-order databases.	J. ACM	1984	DBLP DOI BibTeX RDF
14	Peter Fritzson	Preliminary Experience from the DICE System, A Distributed Incremental Compiling Environment.	Software Development Environments (SDE)	1984	DBLP DOI BibTeX RDF
14	Alexis Koster	Compiling prolog programs for parallel execution on a cellular machine.	ACM Annual Conference	1984	DBLP DOI BibTeX RDF	Prolog
14	Luca Cardelli	Compiling a Functional Language.	LISP and Functional Programming	1984	DBLP DOI BibTeX RDF
14	A. Nico Habermann	From Compiling Techniques to Programming Environments.	Programmierumgebungen und Compiler	1984	DBLP BibTeX RDF
14	Stephen J. Westfold	Logic specifications for compiling.		1984	RDF
14	U. Honschopp, Wolfram-Manfred Lippe, Friedemann H. Simon	Compiling functional languages for von Neumann machines.	SIGPLAN	1983	DBLP DOI BibTeX RDF
14	Ravi Sethi	Control Flow Aspects of Semantics-Directed Compiling.	ACM Trans. Program. Lang. Syst.	1983	DBLP DOI BibTeX RDF
14	D. J. Robson	An Evaluation of Throw-away Compiling.	Softw. Pract. Exp.	1983	DBLP DOI BibTeX RDF
14	Jean-Claude Heliard	Compiling Ada.	Method and tools for compiler construction	1983	DBLP BibTeX RDF
14	Marco Bellia, Giorgio Levi, Maurizio Martelli	On Compiling Prolog Programs on Demand Driven Architectures.	Logic Programming Workshop	1983	DBLP BibTeX RDF
14	Ravi Sethi	Control Flow Aspects of Semantics Directed Compiling (Summary).	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF
14	Lawrence J. Henschen, William McCune, Shamim A. Naqvi	Compiling Constraint-Checking Programs from First-Order Formulas.	Advances in Data Base Theory	1982	DBLP BibTeX RDF
14	Peter J. L. Wallis	Handling Type Information when Compiling a Language with User-defined Types.	Softw. Pract. Exp.	1981	DBLP DOI BibTeX RDF
14	George Logothetis, Prateek Mishra	Compiling Short-circuit Boolean Expressions in One Pass.	Softw. Pract. Exp.	1981	DBLP DOI BibTeX RDF
14	Gerhard Goos, Georg Winterstein	Problems in Compiling Ada.	ECI	1981	DBLP DOI BibTeX RDF
14	David B. Wortman, Richard C. Holt, James R. Cordy, David R. Crowe, Ian H. Griggs	Euclid: a language for compiling quality software.	AFIPS National Computer Conference	1981	DBLP DOI BibTeX RDF
14	George R. Mayforth	Compiling into APL.	APL	1981	DBLP DOI BibTeX RDF
14	Frances E. Allen, J. Lawrence Carter, Janet Fabri, Jeanne Ferrante, William H. Harrison, Paul G. Loewner, Louise Trevillyan	The Experimental Compiling System.	IBM J. Res. Dev.	1980	DBLP DOI BibTeX RDF
14	Bruce Russell	Correctness of the Compiling Process Based on Axiomatic Semantics.	Acta Informatica	1980	DBLP DOI BibTeX RDF
14	Pär Emanuelson, Anders Haraldsson	On Compiling Embedded Languages in LISP.	LISP Conference	1980	DBLP DOI BibTeX RDF
14	Bert Speelpenning	Compiling Fast Partial Derivatives of Functions Given by Algorithms		1980	RDF
14	H. C. Gyllstrom, Ross C. Knippel, Larry C. Ragland, K. E. Spackman	The universal compiling system.	ACM SIGPLAN Notices	1979	DBLP DOI BibTeX RDF
14	Jean-Pierre Banâtre, Jean-Paul Routeau, Laurent Trilling	An Event-Driven Compiling Technique.	Commun. ACM	1979	DBLP DOI BibTeX RDF
14	Howard Barringer, P. C. Capon, R. Philips	The Portable Compiling Systems of MUSS.	Softw. Pract. Exp.	1979	DBLP DOI BibTeX RDF
14	Irving B. Elliott	Optimization of the compiling of subscripted array references.	ACM SIGPLAN Notices	1978	DBLP DOI BibTeX RDF
14	Mitchell Wand, Daniel P. Friedman	Compiling Lambda-Expressions Using Continuations and Factorizations.	Comput. Lang.	1978	DBLP DOI BibTeX RDF
14	Olivier Lecarme, Marie-Claude Peyrolle-Thomas	Self-compiling Compilers: An Appraisal of their Implementation and Portability.	Softw. Pract. Exp.	1978	DBLP DOI BibTeX RDF
14	Anders Haraldsson	A Partial Evaluator, Its Use for Compiling Iterative Statements in Lisp.	POPL	1978	DBLP DOI BibTeX RDF
14	Nadia Thalmann, Daniel Thalmann	Direct connection between Compiling Techniques and Databases courses.	SIGCSE	1978	DBLP DOI BibTeX RDF
14	R. H. Pierce, J. Rowell	A Transformation-Directed Compiling System.	Comput. J.	1977	DBLP DOI BibTeX RDF
14	Derek Partridge, E. B. James	Compiling Techniques to Exploit the Pattern of Language Use.	Softw. Pract. Exp.	1976	DBLP DOI BibTeX RDF
14	P. J. Brown	Throw-away Compiling.	Softw. Pract. Exp.	1976	DBLP DOI BibTeX RDF
14	Sheldon Klein	Meta-Compiling Text Grammars as a Model for Human Behavior.	TINLAP	1975	DBLP BibTeX RDF
14	Gregory L. Hopwood	Inverse compiling for program documentation.	ACM Annual Conference (2)	1974	DBLP DOI BibTeX RDF
14	H. Joseph Myers	Compiling Optimized Code from Decision Tables.	IBM J. Res. Dev.	1972	DBLP DOI BibTeX RDF
14	Herbert J. Bernstein	Compiling Fixed-Point Multiplications.	Commun. ACM	1972	DBLP DOI BibTeX RDF
14	Jay Earley, Paul Caizergues	A Method for Incrementally Compiling Languages with Nested Statement Structure.	Commun. ACM	1972	DBLP DOI BibTeX RDF
14	Jeffrey S. Rohl, J. A. Linn	A note on compiling arithmetic expressions.	Comput. J.	1972	DBLP DOI BibTeX RDF
14	Gerald M. Weinberg	Programming and Compiling Strategies for Paging Systems.	Softw. Pract. Exp.	1972	DBLP DOI BibTeX RDF
14	Alfred V. Aho, Jeffrey D. Ullman	The theory of parsing, translation, and compiling. 1: Parsing		1972	RDF
14	H. Tim Glaswin	A Note on Compiling Fixed Point Binary Multiplications.	Commun. ACM	1971	DBLP DOI BibTeX RDF
14	Clarence A. Ellis	Parallel compiling techniques.	ACM Annual Conference	1971	DBLP DOI BibTeX RDF