SIGPLAN Research Highlights Papershttps://www.sigplan.org/Highlights/Papers/
for optimizing term representations based on e-graphs and equality saturation. It has numerous applications in compiler optimization, program synthesis, term rewriting, and more.
Balisage 2018 - Participant Bioshttps://www.balisage.net/2018/Bios.html
including Code List Representation, XML Conformance and XSLT Conformance, while actively participating in other technical committees. Mr. Holman is the current chair (and XML tech
Some publicationshttps://members.loria.fr/PZimmermann/papers/
might use any representation. This kind of computation appears for example in number theoretic transforms (NTT), in stage 1 of the elliptic curve method for integer factorization,
SWAD-Europe Deliverable 3.7: Developer Workshop Report 2 -Semantic Web Calendaringhttps://www.w3.org/2001/sw/Europe/reports/dev_workshop_report_2/
a survey of Knowledge Representation formalizations of time (Pat Hayes). Notes made at the time of the workshop are available from the RDF Interest group chat channel logs ; annot
The Lessons of Lucasfilm's Habitathttp://www.fudco.com/chip/lessons.html
an object-oriented representation of the world. As in the frontend, objects on the backend possess executable behaviors and in-memory state information. In addition, since the bac
Find more...