Papers by David Abrahamson
Final Committee Draft
Http Www W3 Org, Dec 16, 1997
Iso/Iec 15445:1999(E)
Http Purl Org Net Iso Iec 15445 15445 Html, May 12, 1999
Final Draft International Standard of a specification of a core of the W3C Recommendation for HTM... more Final Draft International Standard of a specification of a core of the W3C Recommendation for HTML 4.0 which is deemed sufficiently stale and mature to form an ISO/IEC International Standard.
User's Guide to ISO/IEC 15445:2000(E)
Http Purl Org Net Iso Iec 15445 Users Guide Html, Feb 2, 2003
User's Guide to International Standard of a specification of a core of the W3C Recommendation... more User's Guide to International Standard of a specification of a core of the W3C Recommendation for HTML 4.0 which is deemed sufficiently stale and mature to form an ISO/IEC International Standard.
Iso/Iec 15445:2000(E)
Http Purl Org Net Iso Iec 15445 15445 Html, Feb 2, 2003
International Standard of a specification of a core of the W3C Recommendation for HTML 4.0 which ... more International Standard of a specification of a core of the W3C Recommendation for HTML 4.0 which is deemed sufficiently stale and mature to form an ISO/IEC International Standard.
Data Compression Conference (dcc 2008), 2008
In this paper we introduce an adaptive technique for compressing small quantities of text which a... more In this paper we introduce an adaptive technique for compressing small quantities of text which are organized as a rooted directed graph. We impose a constraint on the technique such that data encountered during a traversal of any valid path through the graph must be recoverable without requiring the expansion of data that is not on the path in question. The technique we present determines the set of nodes y which are guaranteed to be encountered before reaching node x while traversing any valid path in the graph, and uses them as a basis for conditioning an LZW dictionary for the compression/expansion of the data in x. Initial results show that our improved LZW technique reduces the compressed text size by approximately 20% more than regular LZW, and requires only minor modifications to the standard LZW decompression routine.
We define a uniqueness type system for the core lambda calculu s which, unlike Clean's unique... more We define a uniqueness type system for the core lambda calculu s which, unlike Clean's uniqueness system and the system we proposed in a previous paper (1), does not involve inequalities. We claim that this makes the type system sufficiently simi- lar to the Hindley/Milner type system that standard type inference algorithms can be applied, and that it can easily be modified to incorporate mod ern extensions such as arbitrary rank types and generalized algebraic data types. We substantiate this claim by sketching out how such a system would be defined.
Lecture Notes in Computer Science, 2008
A b stra ct. We modify Clean's uniqueness type system in two ways. First, while Clean functions t... more A b stra ct. We modify Clean's uniqueness type system in two ways. First, while Clean functions that are partially applied to a unique argu ment are necessarily unique (they cannot lose their uniqueness), we just require that they must be unique when applied. This ultimately makes subtyping redundant. Second, we extend the type system to allow for higher-rank types. To be able to do this, we explicitly associate type con straints (attribute inequalities) with type schemes. Consequently, types in our system are much more precise about constraint propagation. * Supported by the Irish Research Council for Science, Engineering and Technology: funded by the National Development Plan 3 The subscripts of f and g are used only to be able to refer to particular versions of f and g, and are not part of the code.
Lecture Notes in Computer Science, 2007
A Fast Entry Path into User Microcode on the VAX-11/780
IEEE Micro, 1983
Fast entry path into user microcode on the VAX-11/780. DM Abrahamson IEEE Micro 3:66, 40-43, 1983... more Fast entry path into user microcode on the VAX-11/780. DM Abrahamson IEEE Micro 3:66, 40-43, 1983. Entry time into the extended writable control store on the VAX-11/780 can be reduced to 200 nanoseconds by means of simple hardware modification. ...
Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems - CASES '06, 2006
Liability statement By using a Digitised Thesis, I accept that Trinity College Dublin bears no le... more Liability statement By using a Digitised Thesis, I accept that Trinity College Dublin bears no legal responsibility for the accuracy, legality or comprehensiveness of materials contained within the thesis, and that Trinity College Dublin accepts no liability for indirect, consequential, or incidental, damages or losses arising from use of the thesis for whatever reason. Information located in a thesis may be subject to specific use constraints, details of which may not be explicitly described. It is the responsibility of potential and actual users to be aware of such constraints and to abide by them. By making use of material from a digitised thesis, you accept these copyright and disclaimer provisions. Where it is brought to the attention of Trinity College Library that there may be a breach of copyright or other restraint, it is the I would like to express my thanks to my supervisor, David M Abrahamson, for his sup port and encouragement throughout my time working on this thesis. Edsko de Vries has my gratitude for many enjoyable discussions related to my work and for providing critical feedback on various papers I wrote during my time at Trinity. He vetted the compiler design lectures I gave in 2006 and improved both the quality of the courseby helping to refine my choice of content-and my presentation skills. His comments and suggestions after reading a draft of this thesis have dramatically enhanced its over all structure and readability. The core ideas presented in this document arose while reading papers related to compressing object code, a topic first mentioned to me by David Gregg-who took time out on a number of occasions to answer my questions. I am indebted to the developers of the Diablo link-time optimizer at Ghent, without which I could not have obtained the experimental results for my ideas. I greatly appre ciate the time both Gordon Syme and Marc O 'Morain took to proofread the final draft of this document. Finally I would like to thank my family and friends for their support.
Communications of the ACM, 1989
gar H. sibieij Bij dynamically receding data on the basis of current intercharacter Panel Editor ... more gar H. sibieij Bij dynamically receding data on the basis of current intercharacter Panel Editor probabilities, the entropy of encoded messages can be significantly reduced.
ISO/IEC 15445:2000(E) Technical Corrigendum 1
Http Purl Org Net Iso Iec 15445 Tc1 Html, Jan 27, 2002
This text modifies the International Standard for the HTML language in order to solve technical d... more This text modifies the International Standard for the HTML language in order to solve technical defects.
Uploads
Papers by David Abrahamson