415 research outputs found
Justitiepaleis als aardappelmagazijn.
No full textGent 1845: watersnood, hongerjaren, een aardappelmagazijn .. Luc Devriese memoreert het historische weekblad Gentsch Museum.</jats:p
Waar staat de oudste Gentse boom?
No full textOp deze vraag geven Luc Devriese en Harry Verwee een ogenschijnlijk simpel antwoord.</jats:p
Leibniz equality is isomorphic to Martin-Löf identity, parametrically
No full textsponsorship: We are indebted to the reviewers of our manuscript, whose feedback helped us to great improvements. Andreas Abel acknowledges support by the Swedish Research Council through grant 621-2014-4864 Termination Certificates for Dependently-Typed Programs and Proofs via Refinement Types and by the EU Cost Action CA15123 Types for programming and verification. Philip Wadler acknowledges support from UK EPSRC programme grant EP/K034413/1 ABCD: A Basis for Concurrency and Distribution. Dominique Devriese held a Postdoctoral Fellowship of the Research Fund -Flanders (FWO) during part of the development of this work. (Swedish Research Council|621-2014-4864, EU Cost Action Types for programming and verification|CA15123, UK EPSRC programme|EP/K034413/1, Research Fund -Flanders (FWO), EPSRC|EP/K034413/1, Engineering and Physical Sciences Research Council|EP/K034413/1)status: Publishe
Reasoning about a machine with local capabilities: Provably safe stack and return pointer management
No full text© The Author(s) 2018. Capability machines provide security guarantees at machine level which makes them an interesting target for secure compilation schemes that provably enforce properties such as control-flow correctness and encapsulation of local state. We provide a formalization of a representative capability machine with local capabilities and study a novel calling convention. We provide a logical relation that semantically captures the guarantees provided by the hardware (a form of capability safety) and use it to prove control-flow correctness and encapsulation of local state. The logical relation is not specific to our calling convention and can be used to reason about arbitrary programs.sponsorship: (This research was supported in part by the ModuRes Sapere Aude Advanced Grant from The Danish Council for Independent Research for the Natural Sciences (FNU). Dominique Devriese holds a Postdoctoral fellowship from the Research Foundation Flanders (FWO).)status: Publishe
Het kan nog altijd erger.
No full textVoor wie ooitriolerings-en wegenwerken voor zijnihaar deur meegemaakt heeft, kan het volgende uittreksel uit de Gentse Memorieboeken anno 1576-1577 misschien een troost zijn.</jats:p
Klanten binnenlokken
No full textOp drukke dagen in winkelstraten en op toeristische plekken duiken figuren op die door winkeliers of restauranthouders worden betaald om met woord en beeld klanten naar hun etablissement te lokken.</jats:p
Met het spellewerk is weinig gewin te doen (1700-1809)
No full textGepoogd wordt aan de hand van drie van elkaar losstaande types gegevens in Gentse archiefbronnen aangetroffen, een idee te geven van de moeilijke levensomstandigheden van kantwerksters in de 18de eeuw. Dit artikel illustreert de relatieve armoede waarin de meeste kantwerksters het moesten zien te redden. Al moet daarbij vermeld worden dat dit slecht betaalde werk aan talloze oude en jonge vrouwen (om van de kinderen te zwijgen) toeliet mee te helpen voorzien in het levensminimum.</jats:p
Hoe te besparen in de armenzorg? Gent, 1551-1552
No full textHet Gentse gemeentebestuur geeft twee niet mis te verstane raadgevingen aan de Armenkamer ter verlintinghe van de lasten.</jats:p
- …
