Stem pretti$ (all stems)

13 papers:

ESOP-2014-PoulsenM #semantics

Deriving Pretty-Big-Step Semantics from Small-Step Semantics (CBP, PDM), pp. 270–289.

ESOP-2013-Chargueraud #semantics

Pretty-Big-Step Semantics (AC), pp. 41–60.

SLE-2013-BaggeH #pipes and filters #pretty-printing

A Pretty Good Formatting Pipeline (AHB, TH), pp. 177–196.

VISSOFT-2009-ParkJ #open source #visualisation

Beyond pretty pictures: Examining the benefits of code visualization for Open Source newcomers (YP, CJ), pp. 3–10.

ICPC-2008-RoyC08a #detection #flexibility #named #normalisation #pretty-printing #using

NICAD: Accurate Detection of Near-Miss Intentional Clones Using Flexible Pretty-Printing and Code Normalization (CKR, JRC), pp. 172–181.

CHI-2007-ThompsonRYB #detection #interface #visual notation

Command line or pretty lines?: comparing textual and visual interfaces for intrusion detection (RST, EMR, WY, BPB), p. 1205.

ICSM-2002-Jonge #pretty-printing #re-engineering

Pretty-Printing for Software Reengineering (MdJ), pp. 550–559.

AdaEurope-2002-RybinS #ada #pretty-printing

About the Difficulties of Building a Pretty-Printer for Ada (SR, AS), pp. 257–268.

PADL-1999-Kahl #combinator #concept #documentation #pretty-printing

Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators (WK), pp. 76–90.

RE-1997-Harel

Will I Be Pretty, Will I Be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering (DH), p. 184–?.

AFP-1995-Hughes95 #design #library #pretty-printing

The Design of a Pretty-printing Library (JH), pp. 53–96.

ASF+SDF-1995-Brand #asf+sdf #ide #past present future #pretty-printing

Pretty printing in the ASF+SDF Meta-environment: Past, Present, and Future (MvdB), pp. 155–174.

PODS-1994-Harel #summary

Will I be Pretty, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering (Summary) (DH), pp. 1–3.