|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 21 occurrences of 20 keywords
|
|
|
Results
Found 35 publication records. Showing 35 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
91 | Merijn de Jonge |
Pretty-Printing for Software Reengineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 18th International Conference on Software Maintenance (ICSM 2002), Maintaining Distributed Heterogeneous Systems, 3-6 October 2002, Montreal, Quebec, Canada, pp. 550-559, 2002, IEEE Computer Society, 0-7695-1819-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
77 | Kristjan Jonasson |
Algorithm 892: DISPMODULE, a Fortran 95 module for pretty-printing matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 36(1), pp. 6:1-6:7, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings, pp. 257-268, 2002, Springer, 3-540-43784-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 32(2), pp. 16-19, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPC ![In: The 16th IEEE International Conference on Program Comprehension, ICPC 2008, Amsterdam, The Netherlands, June 10-13, 2008, pp. 172-181, 2008, IEEE Computer Society, 978-0-7695-3176-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
45 | Steven P. Reiss |
Automatic code stylizing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, pp. 74-83, 2007, ACM, 978-1-59593-882-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLE ![In: Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2018, Boston, MA, USA, November 05-06, 2018, pp. 3-15, 2018, ACM, 978-1-4503-6029-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Marcell van Geest, Wouter Swierstra |
Generic packet descriptions: verified parsing and pretty printing of low-level data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TyDe@ICFP ![In: Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2017, Oxford, UK, September 3, 2017, pp. 30-40, 2017, ACM, 978-1-4503-5183-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
33 | Anton Podkopaev, Dmitri Boulytchev |
Polynomial-Time Optimal Pretty-Printing Combinators with Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers, pp. 257-265, 2014, Springer, 978-3-662-46822-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
33 | Olivier Corby, Catherine Faron-Zucker |
SPARQL Template : un langage de pretty printing pour RDF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC ![In: IC 2014 : 25es Journées francophones d'Ingénierie des Connaissances (Proceedings of the 25th French Knowledge Engineering Conference), Clermont Ferrand, France, May 12-16, 2014., pp. 213-224, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
33 | Nils Anders Danielsson |
Correct-by-construction pretty-printing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DTP@ICFP ![In: Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming, DTP@ICFP 2013, Boston, Massachusetts, USA, September 24, 2013, pp. 1-12, 2013, ACM, 978-1-4503-2384-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
33 | Oleg Kiselyov, Simon L. Peyton Jones, Amr Sabry |
Lazy v. Yield: Incremental, Linear Pretty-Printing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings, pp. 190-206, 2012, Springer, 978-3-642-35181-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
33 | Tillmann Rendel, Klaus Ostermann |
Invertible syntax descriptions: unifying parsing and pretty printing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, Haskell 2010, Baltimore, MD, USA, 30 September 2010, pp. 1-12, 2010, ACM, 978-1-4503-0252-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
33 | S. Doaitse Swierstra, Olaf Chitil |
Linear, bounded, functional pretty-printing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 19(1), pp. 1-16, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Stoney Jackson, Premkumar T. Devanbu, Kwan-Liu Ma |
Stable, flexible, peephole pretty-printing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 72(1-2), pp. 40-51, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Olaf Chitil |
Pretty printing with lazy dequeues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 27(1), pp. 163-184, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
lazy functional programming, Haskell |
33 | Allen Stoughton |
Infinite Pretty-printing in eXene. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scottish Functional Programming Workshop ![In: Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), University of Stirling, Bridge of Allan, Scotland, August 22nd to 24th, 2001, pp. 13-24, 2001, Intellect, 1-84150-070-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
33 | Wolfram Kahl |
Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings, pp. 76-90, 1999, Springer, 3-540-65527-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Martin Ruckert |
Conservative Pretty Printing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 32(2), pp. 39-44, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
33 | T. B. Dinesh, Susan M. Üsküdarli |
Pretty-Printing of Visual Sentences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 1997 IEEE Symposium on Visual Languages, Isle of Capri, Italy, September 23-26, 1997, pp. 246-247, 1997, IEEE Computer Society, 0-8186-8144-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
33 | John Hughes 0001 |
The Design of a Pretty-printing Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Functional Programming ![In: Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995, Tutorial Text, pp. 53-96, 1995, Springer, 3-540-59451-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
33 | John Hughes 0001 |
Pretty-printing: An Exercise in Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, Second International Conference, Oxford, UK, June 29 - July 3, 1992, Proceedings, pp. 11-13, 1992, Springer, 3-540-56625-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Ben J. A. Hulshof, J. A. van Hulzen |
Some reduce facilities for pretty printing subscripts and formal derivatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSAM Bull. ![In: SIGSAM Bull. 17(1), pp. 16-20, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
33 | Lisa F. Rubin |
Syntax-Directed Pretty Printing - A First Step Towards a Syntax-Directed Editor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 9(2), pp. 119-127, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
33 | Jean G. Vaucher |
Pretty-Printing of Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 10(7), pp. 553-561, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
22 | Andrew Kennedy, Claudio V. Russo |
Generalized algebraic data types and object-oriented programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 21-40, 2005, ACM, 1-59593-031-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
constraints, generics, generalized algebraic data types |
22 | Paul A. Cairns, Jeremy Gow |
Literate Proving: Presenting and Documenting Formal Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers, pp. 159-173, 2005, Springer, 3-540-31430-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Eelco Visser |
Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in Stratego/XT 0.9. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Domain-Specific Program Generation ![In: Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers, pp. 216-238, 2003, Springer, 3-540-22119-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | João Saraiva, Sérgio Schneider |
Embedding Domain Specific Languages in the Attribute Grammar Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 36th Hawaii International Conference on System Sciences (HICSS-36 2003), CD-ROM / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, USA, pp. 324, 2003, IEEE Computer Society, 0-7695-1874-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), 26-27 September 2003, Amsterdam, The Netherlands, pp. 65-, 2003, IEEE Computer Society, 0-7695-2005-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Alberto Verdejo |
Building Tools for LOTOS Symbolic Semantics in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings, pp. 292-307, 2002, Springer, 3-540-00141-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Full LOTOS, symbolic semantics, rewriting logic, Maude, meta-language |
22 | Ralf Hinze |
Deriving backtracking monad transformers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000., pp. 186-197, 2000, ACM, 1-58113-202-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 12th International Conference, TPHOLs'99, Nice, France, September, 1999, Proceedings, pp. 149-166, 1999, Springer, 3-540-66463-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Donald J. Bagert |
On designing a language for exclusive use in a syntax directed programming environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the Sixteenth ACM Annual Conference on Computer Science, Atlanta, Georgia, USA, February 23-25, 1988, pp. 682, 1988, ACM, 0-89791-260-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems, Palo Alto, California, USA, March 1-3, 1982., pp. 132-139, 1982, ACM Press, 0-89791-066-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
LISP |
Displaying result #1 - #35 of 35 (100 per page; Change: )
|
|