@Article{Spi93, Title="Implementing {H}askell: Language Implementation as a Tool Building Exercise", Author="Diomidis Spinellis", Journal="Structured Programming (Software Concepts and Tools)", Volume="14", Pages="37--48", Year="1993", URL="http://www.dmst.aueb.gr/dds/pubs/jrnl/1993-StrProg-Haskell/html/exp.html" } @Article{GSG99, Title="Security Protocols Over Open Networks and Distributed Systems: Formal Methods for their Analysis, Design, and Verification", Author="Stefanos Gritzalis and Diomidis Spinellis and Panagiotis Georgiadis", Journal="Computer Communications", Year="1999", DOI="doi:10.1016/S0140-3664(99)00030-4", Volume=22, Number=8, Pages="695--707", Month=may, URL="http://www.dmst.aueb.gr/dds/pubs/jrnl/1997-CompComm-Formal/html/formal.htm" } @Article{Spi00b, Title="Notable Design Patterns for Domain Specific Languages", Author="Diomidis Spinellis", Journal="Journal of Systems and Software", Pages="91--99", Year="2001", DOI="doi:10.1016/S0164-1212(00)00089-3", Month=feb, Volume=56, Number=1, URL="http://www.dmst.aueb.gr/dds/pubs/jrnl/2000-JSS-DSLPatterns/html/dslpat.html" } @Article{Spi03r, Title="Global Analysis and Transformations in Preprocessed Languages", Author="Diomidis Spinellis", Journal=ieeese, Pages="1019--1030", Volume=29, Number=11, Month=nov, URL="http://www.dmst.aueb.gr/dds/pubs/jrnl/2003-TSE-Refactor/html/Spi03r.html", Year=2003 } @Book {Spi03i, Author="Diomidis Spinellis", Title="Code Reading: The Open Source Perspective", Publisher="Addison-Wesley", Address="Boston, MA", Series="Effective Software Development Series", URL="http://www.spinellis.gr/codereading", ISBN="0-201-79940-5", Year=2003 } @Book{GR89, Title="{S}malltalk-80: The Language", Author="Adele Goldberg and David Robson", Publisher="Addison-Wesley", Address="Reading, MA", Year="1989", ISBN="0-201-13688-0" } @Book{ASS85, Title="Structure and Interpretation of Computer Programs", Author="Harold Abelson and Gerald Jay Sussman and Jullie Sussman", Publisher="MIT Press", Address="Cambridge", Year="1985", NewISBN="0262011530", ISBN="0262010771" } @Book{AHU74, Author="Alfred V. Aho and John E. Hopcroft and Jeffrey D. Ullman", Title="The Design and Analysis of Computer Algorithms", Publisher="Addison-Wesley", Address="Reading, MA", Year="1974", ISBN="0-201-00029-6", Keys="dds" } @Book{ZCC00, Title="Building Internet Firewalls", Author="Elizabeth Zwicky and Simon Cooper and {D. Brent} Chapman", Publisher="O'Reilly and Associates", Address="Sebastopol, CA", Edition="Second", Year="2000", ISBN="1-56592-871-7", Keys="dds" } @article{Tho68, author = {Ken Thompson}, title = {Programming Techniques: Regular expression search algorithm}, journal = cacm, volume = {11}, number = {6}, year = {1968}, issn = {0001-0782}, pages = {419--422}, doi = {http://doi.acm.org/10.1145/363347.363387}, publisher = {ACM Press}, Where="pub/lib,have" } @InProceedings{Spi00c, Title="Outwit: {Unix} tool-based programming meets the {Windows} world", Author="Diomidis Spinellis", Editor="Christopher Small", Booktitle="{USENIX} 2000 Technical Conference Proceedings", Pages="149--158", Location="San Diego, CA", Month=jun, Year=2000, URL="http://www.dmst.aueb.gr/dds/pubs/conf/2000-Usenix-outwit/html/utool.html", Address="Berkeley, CA", Organization="Usenix Association" } @PhDThesis{Spi94c, Address="London, UK", Author="Diomidis Spinellis", Month="February", School="Imperial College of Science, Technology and Medicine", Title="Programming Paradigms as Object Classes: A Structuring Mechanism for Multiparadigm Programming", PDF="http://www.dmst.aueb.gr/dds/pubs/thesis/PhD/html/thesis.pdf", Year="1994" } @MastersThesis{Spi90b, Title="An Implementation of the {H}askell Language", Author="Diomidis Spinellis", School="Imperial College", Year="1990", Month=jun, PDF="http://www.dmst.aueb.gr/dds/pubs/thesis/MEng/html/haskell.pdf", Address="London, UK" } @Misc{Spi96, Title="Greek Character Encoding for Electronic Mail Messages", Author="Diomidis Spinellis", HowPublished="Network Information Center, Request for Comments 1947", Month="May", Note="RFC-1947", Year="1996", URL="http://www.dmst.aueb.gr/dds/pubs/tr/rfc-1947/html/RFC1947.html" } @Article{XXX00, Author={Albert-L\'{a}szl\'{o} Barab\'{a}si and M\^{o}nica Ferreira da Silva and F. Patern\`{o} and W{\l}adys{\l}aw M. Turski and Sten-\AA{ke} T\"{a}rnlund and Ketil B{\o} and J. Encarna\c{c}{\~a}o and \Delta\iota\omicron\mu\eta\delta\eta\varsigma \Sigma\pi\iota\nu\epsilon\lambda\lambda\eta\varsigma and P\"{e}\ss{}t\^{e}r \v{C}\u{e}\.{z}\={o}\.{g}}, Journal="!`Journal of Authors Against ASCII!", Title="Cite this Paper", Volume={45}, Number=281, Pages="69--77", Year=2000 }