|
|
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. ![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 |
62 | Zhe Jin, Motomichi Toyama |
A Prototype Implementation of PPX: Pretty Printer for XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: Fourth International Conference on Internet and Web Applications and Services, ICIW 2009, 24-28 May 2009, Venice/Mestre, Italy, pp. 149-156, 2009, IEEE Computer Society, 978-0-7695-3613-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
61 | 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 |
|
38 | Robert D. Cameron |
An Abstract Pretty Printer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 5(6), pp. 61-67, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
38 | Dorothea Bauer, Matthias Schneider 0001 |
STRUPPI: Ein graphischer Pretty-Printer für LISP-Strukturen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-84, 8th German Workshop on Artificial Intelligence, Wingst/Stade, Germany, October 8-12, 1984, Proceedings, pp. 191-198, 1984, Springer, 3-540-15669-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
24 | 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 |
24 | Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko C. J. D. van Eekelen, Rinus Plasmeijer |
There and back again: arrows for invertible programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2005, Tallinn, Estonia, September 30, 2005, pp. 86-97, 2005, ACM, 1-59593-071-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings, pp. 85-109, 2004, Springer, 3-540-22380-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Christopher Hartsough, Yuzo Yamamoto, E. David Callender |
Documentation production from a formal database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 1st Annual International Conference on Systems Documentation, SIGDOC 1982, Carson, California, USA, January 22-23, 1982, pp. 64-77, 1982, ACM, 0-89791-080-X. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|