Programming with rectangles, triangles, and circles

Erik Meijer, Wolfram Schulte. Programming with rectangles, triangles, and circles. In Proceedings of XML Conference & Exposition 2003 (XML 2003). December 2003.

References

  • [C# Specification] http://download.microsoft.com/download/0/a/c/0acb3585-3f3f-4169-ad61- efc9f0176788/CSharp.zip
  • [Fournet and Abadi] Cédric Fournet and Martin Abadi. Access Control based on Execution History. Proceedings of the 10th Annual Network and Distributed System Security Symposium. February 2003. http://research.microsoft. com/~fournet/papers/access-control-based-on-execution-history-ndss.pdf
  • [JDBC] http://java.sun.com/products/jdbc/
  • [CDuce] http://www.cduce.org/ [BPEL4WS] ftp://www6.software.ibm.com/software/developer/library/ws-bpel11.pdf
  • [XML 1.0] http://www.w3.org/TR/REC-xml
  • [Polyphonic C#] Nick Benton, Luca Cardelli and Cedric Fournet. Modern Concurrency Abstractions for C#. In B. Magnusson (Ed.), Proceedings ECOOP 2002. LNCS
  • [xsd.exe] http://msdn.microsoft.com/library/default.asp?url=/library/en-us/cptools/html/cpconxmlschemadefinitiontoolxsdexe. asp
  • [Java Language Specification] http://java.sun.com/docs/books/jls/second_edition/html/j.title.doc.html
  • [Unifying Tables, Objects and Documents] Erik Meijer and Wolfram Schulte. Unifying Tables, Objects and Documents. Proceedings DP-COOL 2003. http://www.research.microsoft.com/~emeijer/Papers/XS.pdf
  • [The Meaning of Xen] Erik Meijer, Wolfram Schulte, and Gavin Bierman. The Meaning of Xen. Paper in preparation.
  • [XQuery Use Cases] http://www.w3.org/TR/xquery-use-cases/
  • [Xtatic] http://www.cis.upenn.edu/~bcpierce/xtatic/
  • [The Essence of XML] Jerome Simeon and Philip Wadler. The Essence of XML. Proceedings of POPL 2003, New Orleans, January 2003. http://www.research.avayalabs.com/user/wadler/papers/xml-essence/xml-essence. pdf
  • [Pi Calculus] R. Milner. Communicating with Mobile Agents: The pi-Calculus. Cambridge University Press, Cambridge, 1999.
  • [ASF/SDF] http://www.cwi.nl/htbin/sen1/twiki/bin/view/SEN1/MetaEnvironment
  • [XMLBeans] http://dev2dev.bea.com/technologies/xmlbeans/index.jsp
  • [JAXB] http://java.sun.com/xml/jaxb/
  • [Data On The Web] S. Abiteboul, P. Buneman and D. Suciu. Data On The Web. Morgan Kaufmann, 2000.
  • [WSCI] http://www.w3.org/TR/wsci/
  • [Join Calculus] http://pauillac.inria.fr/join/
  • [ADO .Net] http://msdn.microsoft.com/library/default.asp?url=/library/en-us/cpguide/html/cpconoverviewofadonet. asp
  • [XPath] http://www.w3.org/TR/xpath
  • [Impedance Mismatch] Dave Thomas. The Impedance Imperative Tuples + Objects + Infosets = Too Much Stuff!. JOT, 2003 Vol. 2, No. 5, September-October 2003. http://www.jot.fm/issues/issue_2003_09/column1.pdf

Cited by