Extending the Overture code generator towards Isabelle syntax

Extending the Overture code generator towards Isabelle syntax. Luís Diogo Couto & Tran-Jørgensen, P. W. V. In Proceedings of the 13th Overture Workshop, pages 48-59, National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-Ku, Tokyo, Japan, June, 2015. Center for Global Research in Advanced Software Science and Engineering. GRACE-TR-2015-06

Paper bibtex

@INPROCEEDINGS{Couto&15b,
key = {Couto&15},
  AUTHOR        = "Lu{\'i}s Diogo Couto and Peter W. V. Tran-J{\o}rgensen",
  TITLE         = "{Extending the Overture code generator towards Isabelle syntax}",
  BOOKTITLE     = "Proceedings of the 13th Overture Workshop",
  PUBLISHER     = "Center for Global Research in Advanced Software Science
                   and Engineering",
  ADDRESS       = "National Institute of Informatics, 2-1-2 Hitotsubashi,
                   Chiyoda-Ku, Tokyo, Japan",
  YEAR          = "2015",
  MONTH         = "June",
  PAGES         = "48-59",
  NOTE          = "GRACE-TR-2015-06",
  URL           = "http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf",
  ANNOTE        = "",
  COMMENT       = ""}

%G VDM OVERTURE TOOL

Downloads: 0

{"_id":"dQM4LhquqtxtDEbje","bibbaseid":"luisdiogocouto-tranjrgensen-extendingtheoverturecodegeneratortowardsisabellesyntax-2015","author_short":["Luís Diogo Couto","Tran-Jørgensen, P. W. V."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Couto&15b","author":[{"firstnames":[],"propositions":[],"lastnames":["Luís Diogo Couto"],"suffixes":[]},{"firstnames":["Peter","W.","V."],"propositions":[],"lastnames":["Tran-Jørgensen"],"suffixes":[]}],"title":"Extending the Overture code generator towards Isabelle syntax","booktitle":"Proceedings of the 13th Overture Workshop","publisher":"Center for Global Research in Advanced Software Science and Engineering","address":"National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-Ku, Tokyo, Japan","year":"2015","month":"June","pages":"48-59","note":"GRACE-TR-2015-06","url":"http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf","annote":"","comment":"","bibtex":"@INPROCEEDINGS{Couto&15b,\nkey = {Couto&15},\n AUTHOR = \"Lu{\\'i}s Diogo Couto and Peter W. V. Tran-J{\\o}rgensen\",\n TITLE = \"{Extending the Overture code generator towards Isabelle syntax}\",\n BOOKTITLE = \"Proceedings of the 13th Overture Workshop\",\n PUBLISHER = \"Center for Global Research in Advanced Software Science\n and Engineering\",\n ADDRESS = \"National Institute of Informatics, 2-1-2 Hitotsubashi,\n Chiyoda-Ku, Tokyo, Japan\",\n YEAR = \"2015\",\n MONTH = \"June\",\n PAGES = \"48-59\",\n NOTE = \"GRACE-TR-2015-06\",\n URL = \"http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf\",\n ANNOTE = \"\",\n COMMENT = \"\"}\n\n%G VDM OVERTURE TOOL\n","author_short":["Luís Diogo Couto","Tran-Jørgensen, P. W. V."],"id":"Couto&15b","bibbaseid":"luisdiogocouto-tranjrgensen-extendingtheoverturecodegeneratortowardsisabellesyntax-2015","role":"author","urls":{"Paper":"http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"],"keywords":[],"search_terms":["extending","overture","code","generator","towards","isabelle","syntax","luís diogo couto","tran-jørgensen"],"title":"Extending the Overture code generator towards Isabelle syntax","year":2015}