Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Prettyprint

Known as: Pretty-printer, Pretty print, Prettyprinter 
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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
We show how Promela can be supported by the high-performance generic model checker LTSmin. The success of the Spin model checker… Expand
  • figure 1
  • table 1
  • figure 2
  • table 2
  • table 3
Is this relevant?
Highly Cited
2012
Highly Cited
2012
VDM++ is a formal Object Oriented Specification language, derived from VDM. lt extends VDM by providing object-orientation, real… Expand
Is this relevant?
2009
2009
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4… Expand
Is this relevant?
Highly Cited
2002
Highly Cited
2002
The basic motivation of this work is to make formal theory developments with machine-checked proofs accessible to a broader… Expand
  • figure 1.1
  • figure 3.1
  • figure 3.2
  • figure 3.3
  • figure 7.1
Is this relevant?
2002
2002
Maintenance of legacy systems is a challenging task. Often, only the source code is still available, while design or requirements… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2002
Highly Cited
2002
B-Course is a free web-based online data analysis tool, which allows the users to analyze their data for multivariate… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Locales are a means to define local scopes for the interactive proving process of the theorem prover Isabelle. They delimit a… Expand
Is this relevant?
1998
1998
A formal language CCSL is introduced for describing specifications of classes in object-oriented languages. We show how class… Expand
Is this relevant?
Highly Cited
1996
Highly Cited
1996
  • Lars Arge
  • BRICS Dissertation Series
  • 1996
  • Corpus ID: 14420318
In this thesis we study the Input/Output (I/O) complexity of large-scale problems arising e.g. in the areas of database systems… Expand
  • figure 1.1
  • figure 1.3
  • figure 2.1
  • figure 2.3
  • figure 3.1
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Les systemes communicants mettent en jeu des objets potentiellement infinis (boucles d'interaction, listes de donnees infinies… Expand
Is this relevant?