Title Text

Subtitle Text, if any

Author Name

Author Affiliation
as many lines as needed
press Shift + Return to insert line breaks

Author email	Author Name

Author Affiliation
see Section 1 on how to add or delete authors

Author email

Text of the abstract, 10pt. This is based on Friedrich Steimann’s SIGPLAN Word template, with settings adjusted to meet the formatting guidelines of PLDI’15. Use of this template is not a guarantee of compliance. Please be sure to check the instructions for authors on the PLDI web site. Lorem ipsum dolor sit amet, consectetur adipiscing elit. Quantam rem agas, ut Circeis qui habitet totum hunc mundum suum municipium esse existimet? Atqui reperies, inquit, in hoc quidem pertinacem; Restincta enim sitis stabilitatem voluptatis habet, inquit, illa autem voluptas ipsius restinctionis in motu est. Elicerem ex te cogeremque, ut responderes, nisi vererer ne Herculem ipsum ea, quae pro salute gentium summo labore gessisset, voluptatis causa gessisse diceres.

Hi autem ponunt illi quidem prima naturae, sed ea seiungunt a finibus et a summa bonorum; An ne hoc quidem Peripateticis concedis, ut dicant omnium bonorum virorum, id est sapientium omnibusque virtutibus ornatorum, vitam omnibus partibus plus habere semper boni quam mali?

Categories and Subject Descriptors CR-number [subcategory]: third-level

General Terms term1, term2

Keywords keyword1, keyword2

Introduction

Text of the body of the paper, 10pt.

Citation style This is an example of author-name citation styles to be used for PLDI submissions [Demers et al. 1990]. An example of a single-author parenthetic citation [McCarthy 1960]. An example of a single-author textual citation: McCarthy [1960] described the first tracing garbage collector. An example of multiple citations [McCarthy 1960; Collins 1960; Demers et al 1990].

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Quantam rem agas, ut Circeis qui habitet totum hunc mQuantam rem agas, ut Circeis qui habitet totum hunc mundum suum municipium esse existimet? Atqui reperies, inquit, in hoc quidem pertinacem; Restincta enim sitis stabilitatem voluptatis habet, inquit, illa autem voluptas ipsius restinctionis in motu est. Elicerem ex te cogeremque, ut responderes, nisi vererer ne Herculem ipsum ea, quae pro salute gentium summo labore gessisset, voluptatis causa gessisse diceres. Hi autem ponunt illi quidem prima naturae, sed ea seiungunt a finibus et a summa bonorum; An ne hoc quidem Peripateticis concedis, ut dicant omnium bonorum virorum, id est sapientium omnibusque virtutibus ornatorum, vitam omnibus partibus plus habere semper boni quam mali? Perfecto enim et concluso neque virtutibus neque amicitiis usquam locum esse, si ad voluptatem omnia referantur, nihil praeterea est magnopere dicendum. Nec tamen argumentum hoc Epicurus a parvis petivit aut etiam a bestiis, quae putat esse specula naturae, ut diceret ab iis duce natura hanc voluptatem expeti nihil dolendi. Itaque ne iustitiam quidem recte quis dixerit per se ipsam optabilem, sed quia iucunditatis vel plurimum afferat.

Sed alii dolore moventur, alii cupiditate, iracundia etiam multi effetuntur et, cum in mala scientes inruunt, tum se optime sibi consulere arbitrantur. Ita enim parvae et exiguae sunt istae accessiones bonorum, ut, quem ad modum stellae in radiis solis, sic istae in virtutum splendore ne cernantur quidem. Sed venio ad inconstantiae crimen, ne saepius dicas me aberrare; Ergo opifex plus sibi proponet ad formarum quam civis excellens ad factorum pulchritudinem? Commoda autem et incommoda in eo genere sunt, quae praeposita et reiecta diximus;

Vos ex his tam dissimilibus rebus non modo nomen unum -nam id facilius paterer-, sed etiam rem unam ex duabus facere conamini, quod fieri nullo modo potest. Nam nisi hoc optineatur, id solum bonum esse, quod honestum sit, nullo modo probari possit beatam vitam virtute effici. Vide, quantum, inquam, fallare, Torquate. Nam et a te perfici istam disputationem volo, nec tua mihi oratio longa videri potest. Confecta res esset. Et summatim quidem haec erant de corpore animoque dicenda, quibus quasi informatum est quid hominis natura postulet. Sic igitur in homine perfectio ista in eo potissimum, quod est optimum, id est in virtute, laudatur. In quibus hoc primum est in quo admirer, cur in gravissimis rebus non delectet eos sermo patrius, cum idem fabellas Latinas ad verbum e Graecis expressas non inviti legant. Est autem a te semper dictum nec gaudere quemquam nisi propter corpus nec dolere. Neque enim disputari sine reprehensione nec cum iracundia aut pertinacia recte disputari potest.

Duo Reges: constructio interrete. Et tamen vide, ne, si ego non intellegam quid Epicurus loquatur, cum Graece, ut videor, luculenter sciam, sit aliqua culpa eius, qui ita loquatur, ut non intellegatur. Aderamus nos quidem adolescentes, sed multi amplissimi viri, quorum nemo censuit plus Fadiae dandum, quam posset ad eam lege Voconia pervenire. Ea enim omnia, quae illi bona dicerent, praeposita esse, non bona, itemque illa, quae in corpore excellerent, stulte antiquos dixisse per se esse expetenda; Nam si pravitatem inminutionemque corporis propter se fugiendam putamus, cur non etiam, ac fortasse magis, propter se formae dignitatem sequamur? Sed utrum hortandus es nobis, Luci, inquit, an etiam tua sponte propensus es? Quod dicit Epicurus etiam de voluptate, quae minime sint voluptates, eas obscurari saepe et obrui. Obsequar igitur voluntati tuae dicamque, si potero, rhetorice, sed hac rhetorica philosophorum, non nostra illa forensi, quam necesse est, cum populariter loquatur, esse interdum paulo hebetiorem. Atque ut reliqui fures earum rerum, quas ceperunt, signa commutant, sic illi, ut sententiis nostris pro suis uterentur, nomina tamquam rerum notas mutaverunt. Nam ceteris in rebus síve praetermissum sive ignoratum est quippiam, non plus incommodi est, quam quanti quaeque earum rerum est, in quibus neglectum est aliquíd. Nam cum Academicis incerta luctatio est, qui nihil affirmant et quasi desperata cognitione certi id sequi volunt, quodcumque veri simile videatur.

Omnes, qui non sint sapientes, aeque miseros esse, sapientes omnes summe beatos, recte facta omnia aequalia, omnia peccata paria; Ut enim nos ex annalium monimentis testes excitamus eos, quorum omnis vita consumpta est in laboribus gloriosis, qui voluptatis nomen audire non possent, sic in vestris disputationibus historia muta est. Non ergo Epicurus ineruditus, sed ii indocti, qui, quae pueros non didicisse turpe est, ea putant usque ad senectutem esse discenda. Etenim nec iustitia nec amicitia esse omnino poterunt, nisi ipsae per se expetuntur. Potius ergo illa dicantur: turpe esse, viri non esse debilitari dolore, frangi, succumbere. Quod quidem pluris est haud paulo magisque ipsum propter se expetendum quam aut sensus aut corporis ea, quae diximus, quibus tantum praestat mentis excellens perfectio, ut vix cogitari possit quid intersit. Quibus autem in rebus tanta obscuratio non fit, fieri tamen potest, ut id ipsum, quod interest, non sit magnum. Vides igitur te aut ea sumere, quae non concedantur, aut ea, quae etiam concessa te nihil iuvent. Si ista mala sunt, in quae potest incidere sapiens, sapientem esse non esse ad beate vivendum satis. Quid, si non modo utilitatem tibi nullam afferet, sed iacturae rei familiaris erunt faciendae, labores suscipiendi, adeundum vitae periculum?

This is the text of the appendix, if you need one.

G. E. Collins, A method for overlapping and erasure of lists. Commun. ACM, 3(12) 655--657, December 1960.

A. Demers, M. Weiser, B. Hayes, H. Boehm, D. Bobrow, and S. Shenker. Combining generational and conservative garbage collection: framework and implementations. ACM Symposium on the Principles of Programming Languages, POPL'90, San Francisco, CA, USA, pages 261--269. ACM, 1990.

J. McCarthy, Recursive functions of symbolic expressions and their computation by machine, part I, Commun. ACM, 3(4) 184--195, April 1960.

Watch out: The last character in this column is a section break which must not be deleted. If you delete it accidentally, undo (press Ctrl + z) immediately. If you want to even out columns on the last page, delete characters one by one (using Del on your keyboard) until you see the desired effect.

2

[Copyright notice will appear here]

Paper Title

FS

2014-09-15

Steve Blackburn

Fernuniversität Hagen