Email Gateway (Aug 19 2022 at 10:19): Email Gateway (Aug 19 2022 at 10:19):From: "Yannick Duchêne (Hibou57 )" <yannick_duchene@yahoo.fr>
Hi people,
On the page https://isabelle.in.tum.de/community/Projects
In “Specification Languages”
I read:
But there's no relevant link provided, and the one to DEAXS is broken.
Unless it is private (I would understand), I would like to have a look,
primarily out of curiosity, also because I'm interested in the topic.
Email Gateway (Aug 19 2022 at 10:19):From: Andreas Lochbihler <andreas.lochbihler@inf.ethz.ch>
Dear Yannick,
A quick search on the web revealed the following:
The proceedings of the Isabelle Workshop 2007 [1] contain an XML paper
by Harald Hiss, he also had an emerging trends paper on this at TPHOLs
2008 [2]. And finally, there is his PhD thesis [3] (in German).
Hope this helps,
Andreas
[1] http://dream.inf.ed.ac.uk/events/isabelle-ws-2007/isabelle-07.pdf
[2] http://users.encs.concordia.ca/~tphols08/TPHOLs2008/ET/index.html
[3] http://www.freidok.uni-freiburg.de/volltexte/5204/
Last updated: Nov 21 2024 at 12:39 UTC