Prof. Dr. Guido Salvaneschi | Programming Grouphttps://programming-group.com/members/salvaneschi
Crdtlib, provides implementations and proofs for every combinator and CRDT in this paper. Our case studies (i) implement common CRDTs from Shapiro et al., (ii) apply the combinato
Profile of Prof. Dr. Guido Salvaneschi, Head of the Programming Group.
OS/Forthhttps://www.forth.org/svfig/osf.html
are not the current implementations but the one to come. I sense that the experts in each area will feel the need to dabble, and I await your input. Come Forth, let us break code
The Hundred-Year Languagehttps://paulgraham.com/hundred.html
already. Current implementations of some popular new languages are shockingly wasteful by the standards of previous decades. This isn't just something that happens with programmin
A Scheme Primerhttps://files.spritely.institute/papers/scheme-primer.html
in Scheme, many Scheme implementations also support optional and keyword arguments. Guile implements this abstraction as define* : REPL> ( define* ( shopkeeper thing-to-buy #:o
Stroustrup: FAQhttps://www.stroustrup.com/bs_faq.html
incomplete list of C++ implementations, see my C++ compilers list . Also, where possible, prefer the standard library to non-standard "foundation libraries" and try to minimize us
Merrett's Databases at McGillhttps://www.cs.mcgill.ca/~tim/
and a number of early implementations of the relational model. The query language work led to powerful and flexible notations for ad-hoc queries, using first-order predicate calcu
How To Become A Hackerhttp://www.catb.org/%7Eesr/faqs/hacker-howto.html
a prototype open-source implementations of Visual Basic, the applicable ECMA standards don't cover more than a small set of its programming interfaces. On Windows most of its libr
Peter Neumann's Home Pagehttps://www.csl.sri.com/users/neumann/
switching function implementations where current could go in either direction through the bridge elements (as distinct from the one-way direction in a relay tree). Bob rewrote one
Character Model for the World Wide Web 1.0https://www.w3.org/TR/2003/WD-charmod-20030822/
' I ' for software implementations, and ' C ' for Web content. These markers indicate the relevance of the conformance criteria and allow the reader to quickly locate relevant con
Stuff Michael Meeks is doinghttps://apple-tree.life/~michael/blog/2008/
of course in the huge IMPLEMENTATIONS/ directory with the hundreds of components this is not good. Knocked up a patch. Call with Greg, lunch, still feeling awful. Poked at Jon's g
The UCS-X Family of UCS Extensions (Draft Proposal)http://ucsx.org/
those with some early implementations of UTF-8.) 6.6 Software and hardware modules implementing UCS-X should specify maxNUD, and also specify their behaviors when codes beyond tha
SIGPLAN Research Highlights Papershttps://www.sigplan.org/Highlights/Papers/
can generate complete implementations from scratch. MegaLibm replicates 8 state-of-the-art implementations in far less code, produces improved variations, and even uncovers a bug
Find more...