Search results for "pretty-printing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
91	Merijn de Jonge	Pretty-Printing for Software Reengineering.	ICSM	2002	DBLP DOI BibTeX RDF
77	Kristjan Jonasson	Algorithm 892: DISPMODULE, a Fortran 95 module for pretty-printing matrices.	ACM Trans. Math. Softw.	2009	DBLP DOI BibTeX RDF	Fortran 95, array programming language, matrix pretty-printing, matrix printing, output utilities
71	Sergey Rybin, Alfred Strohmeier	About the Difficulties of Building a Pretty-Printer for Ada.	Ada-Europe	2002	DBLP DOI BibTeX RDF	Pretty-Printer, Ada, ASIS
65	Knut Alfredsen, Bjørn Sæther	An Object Oriented Framework for Creating Models in Hydrology.	ACM SIGPLAN Notices	1997	DBLP DOI BibTeX RDF
54	Chanchal Kumar Roy, James R. Cordy	NICAD: Accurate Detection of Near-Miss Intentional Clones Using Flexible Pretty-Printing and Code Normalization.	ICPC	2008	DBLP DOI BibTeX RDF
45	Steven P. Reiss	Automatic code stylizing.	ASE	2007	DBLP DOI BibTeX RDF	pretty-printing, formatting, programming style
33	Luís Eduardo de Souza Amorim, Michael J. Steindorfer, Sebastian Erdweg, Eelco Visser	Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages.	SLE	2018	DBLP DOI BibTeX RDF
33	Marcell van Geest, Wouter Swierstra	Generic packet descriptions: verified parsing and pretty printing of low-level data.	TyDe@ICFP	2017	DBLP DOI BibTeX RDF
33	Anton Podkopaev, Dmitri Boulytchev	Polynomial-Time Optimal Pretty-Printing Combinators with Choice.	Ershov Memorial Conference	2014	DBLP DOI BibTeX RDF
33	Olivier Corby, Catherine Faron-Zucker	SPARQL Template : un langage de pretty printing pour RDF.	IC	2014	DBLP BibTeX RDF
33	Nils Anders Danielsson	Correct-by-construction pretty-printing.	DTP@ICFP	2013	DBLP DOI BibTeX RDF
33	Oleg Kiselyov, Simon L. Peyton Jones, Amr Sabry	Lazy v. Yield: Incremental, Linear Pretty-Printing.	APLAS	2012	DBLP DOI BibTeX RDF
33	Tillmann Rendel, Klaus Ostermann	Invertible syntax descriptions: unifying parsing and pretty printing.	Haskell	2010	DBLP DOI BibTeX RDF
33	S. Doaitse Swierstra, Olaf Chitil	Linear, bounded, functional pretty-printing.	J. Funct. Program.	2009	DBLP DOI BibTeX RDF
33	Stoney Jackson, Premkumar T. Devanbu, Kwan-Liu Ma	Stable, flexible, peephole pretty-printing.	Sci. Comput. Program.	2008	DBLP DOI BibTeX RDF
33	Olaf Chitil	Pretty printing with lazy dequeues.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	lazy functional programming, Haskell
33	Allen Stoughton	Infinite Pretty-printing in eXene.	Scottish Functional Programming Workshop	2001	DBLP BibTeX RDF
33	Wolfram Kahl	Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators.	PADL	1999	DBLP DOI BibTeX RDF
33	Martin Ruckert	Conservative Pretty Printing.	ACM SIGPLAN Notices	1997	DBLP DOI BibTeX RDF
33	T. B. Dinesh, Susan M. Üsküdarli	Pretty-Printing of Visual Sentences.	VL	1997	DBLP DOI BibTeX RDF
33	John Hughes 0001	The Design of a Pretty-printing Library.	Advanced Functional Programming	1995	DBLP DOI BibTeX RDF
33	John Hughes 0001	Pretty-printing: An Exercise in Functional Programming.	MPC	1992	DBLP DOI BibTeX RDF
33	Ben J. A. Hulshof, J. A. van Hulzen	Some reduce facilities for pretty printing subscripts and formal derivatives.	SIGSAM Bull.	1983	DBLP DOI BibTeX RDF
33	Lisa F. Rubin	Syntax-Directed Pretty Printing - A First Step Towards a Syntax-Directed Editor.	IEEE Trans. Software Eng.	1983	DBLP DOI BibTeX RDF
33	Jean G. Vaucher	Pretty-Printing of Trees.	Softw. Pract. Exp.	1980	DBLP DOI BibTeX RDF
22	Andrew Kennedy, Claudio V. Russo	Generalized algebraic data types and object-oriented programming.	OOPSLA	2005	DBLP DOI BibTeX RDF	constraints, generics, generalized algebraic data types
22	Paul A. Cairns, Jeremy Gow	Literate Proving: Presenting and Documenting Formal Proofs.	MKM	2005	DBLP DOI BibTeX RDF
22	Eelco Visser	Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in Stratego/XT 0.9.	Domain-Specific Program Generation	2003	DBLP DOI BibTeX RDF
22	João Saraiva, Sérgio Schneider	Embedding Domain Specific Languages in the Attribute Grammar Formalism.	HICSS	2003	DBLP DOI BibTeX RDF
22	Otto Skrove Bagge, Karl Trygve Kalleberg, Magne Haveraaen, Eelco Visser	Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs.	SCAM	2003	DBLP DOI BibTeX RDF
22	Alberto Verdejo	Building Tools for LOTOS Symbolic Semantics in Maude.	FORTE	2002	DBLP DOI BibTeX RDF	Full LOTOS, symbolic semantics, rewriting logic, Maude, meta-language
22	Ralf Hinze	Deriving backtracking monad transformers.	ICFP	2000	DBLP DOI BibTeX RDF	Prolog, Prolog, Haskell, Haskell, continuations, monads, backtracking, cut, program derivation, PEARL, monad transformers
22	Florian Kammüller, Markus Wenzel 0001, Lawrence C. Paulson	Locales - A Sectioning Concept for Isabelle.	TPHOLs	1999	DBLP DOI BibTeX RDF
22	Donald J. Bagert	On designing a language for exclusive use in a syntax directed programming environment.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
22	Jean-Paul Sansonnet, Michel Castan, Christian Percebois, D. Botella, J. Perez	Direct Execution of Lisp on a List-Directed Architecture.	ASPLOS	1982	DBLP DOI BibTeX RDF	LISP