Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,515,103 papers from all fields of science
Search
Sign In
Create Free Account
Prettyprint
Known as:
Pretty-printer
, Pretty print
, Prettyprinter
Expand
Prettyprint (or pretty-print) is the application of any of various stylistic formatting conventions to text files, such as source code, markup, and…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
33 relations
Beta BASIC
Casio 9860 series
Combinatorial optimization
Computer algebra system
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2015
Review
2015
Anchoring communities: The impact of university interventions on neighborhood revitalization
Meagan M. Ehlenz
2015
Corpus ID: 153985665
Urban universities have long, often contentious, histories in neighborhoods, characterized by demolition, displacement, and…
Expand
2009
2009
How to Pretty-Print a Long Formula
Lee Pike
2009
Corpus ID: 2043494
We propose a structured rendering for higher-order logic (HOL) to make specifications more readable. Furthermore, we present a…
Expand
2007
2007
Controlling Organizational Change: Beyond the Nightmare
Deb Jacobs
2007
Corpus ID: 151632517
s Ann popped another piece of candy in her mouth, she steeled herself in preparation for starting the weekly Engineering Process…
Expand
2004
2004
The secret to the universe
M. Golio
IEEE Microwave Magazine
2004
Corpus ID: 37003263
One warm, sunny day in late September a few years ago, George Stotlemeyer accidentally discovered the secret to the universe. At…
Expand
2004
2004
Runaway Slave Advertisements: Teaching from Primary Documents.
Tom Costa
,
B. Doyle
2004
Corpus ID: 190184878
RAN AWAY ON THE 30TH OF SEPTEMBER LAST, FROM THE SUBSCRIBER, LIVING IN HANOVER COUNTY, TWO NEGROES, VIZ., A NEGRO MAN, NAM'D…
Expand
Review
2002
Review
2002
Primary maternal preoccupation revisited: circuits, genes, and the crucial role of early life experience
J. Leckman
,
L. Mayes
,
D. Cohen
2002
Corpus ID: 54700418
Parental caregiving includes a set of highly conserved set of behaviors and mental states that may reflect both an individual’s…
Expand
Review
1997
Review
1997
Book review: Using Z by Jim Woodcock and Jim Davies (Prentice Hall, 1996)
Barry L. Ires
SOEN
1997
Corpus ID: 22491183
without going into too much detail. The ease study provides a framework for using the work products described earlier without…
Expand
1996
1996
Real time formal specification using VDM/sup ++/
J. Katwijk
,
E. Dürr
,
S. Goldsack
Proceedings of WORDS'96. The Second Workshop on…
1996
Corpus ID: 45076654
VDM/sup ++/ is a formal Object Oriented Specification language, derived from VDM. It extends VDM by providing object-orientation…
Expand
Review
1992
Review
1992
Automating the Development of Syntax Tree Generators for an Evolving Language
P. Grape
,
K. Walden
International Conference on Software Technology…
1992
Corpus ID: 13128899
This paper describes an Ei el system for rapid testing of grammars Grammars are de ned in an extended BNF notation that allows…
Expand
Review
1981
Review
1981
Overview of a Display-Oriented Editor for INTERLISP
D. Barstow
International Joint Conference on Artificial…
1981
Corpus ID: 34303457
DED is a display-oriented editor that was designed to add the power and convenience of display terminals to INTERLISPs teletype…
Expand