|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 5 keywords
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
198 | 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 |
62 | Zhe Jin, Motomichi Toyama |
A Prototype Implementation of PPX: Pretty Printer for XML. |
ICIW |
2009 |
DBLP DOI BibTeX RDF |
|
61 | Merijn de Jonge |
Pretty-Printing for Software Reengineering. |
ICSM |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Robert D. Cameron |
An Abstract Pretty Printer. |
IEEE Softw. |
1988 |
DBLP DOI BibTeX RDF |
|
38 | Dorothea Bauer, Matthias Schneider 0001 |
STRUPPI: Ein graphischer Pretty-Printer für LISP-Strukturen. |
GWAI |
1984 |
DBLP DOI BibTeX RDF |
|
24 | Olaf Chitil |
Pretty printing with lazy dequeues. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
lazy functional programming, Haskell |
24 | Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko C. J. D. van Eekelen, Rinus Plasmeijer |
There and back again: arrows for invertible programming. |
Haskell |
2005 |
DBLP DOI BibTeX RDF |
invertible program construction, haskell, polytypic programming, arrows |
24 | Nils Anders Danielsson, Patrik Jansson |
Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values. |
MPC |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Christopher Hartsough, Yuzo Yamamoto, E. David Callender |
Documentation production from a formal database. |
SIGDOC |
1982 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|