Items where Subject is "Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > COMPUTER SOFTWARE (080300) > Programming Languages (080308)"

Subjects classification (32824)
- Australian and New Zealand Standard Research Classification (32824)
  - INFORMATION AND COMPUTING SCIENCES (080000) (3626)
    - COMPUTER SOFTWARE (080300) (449)
      - Programming Languages (080308) (26)

Jump to: Journal Article | Conference Paper | Report | Thesis

Number of items at this level: 26.

Journal Article

Craik, Andrew J. & Kelly, Wayne A. (2008) Reasoning about Inherent Parallelism in Object-Oriented Programs using Ownership Types. .

Craik, Andrew J. & Kelly, Wayne A. (2010) Using Ownership to Reason About Inherent Parallelism in Object-Oriented Programs. Lecture Notes in Computer Science, 6011, pp. 145-164.

Kelly, Wayne A. & Gough, John (2007) Compiling Ruby on the CLR. .

491

Sorensen, Andrew & Gardner, Henry (2010) Programming with time : Cyber-physical programming with impromptu. ACM Sigplan Notices, 45(10), pp. 822-834.

Conference Paper

Ahmad Khalid, Shamsul K., Zimmermann, Jacob, Fidge, Colin J., & Corney, Diane (2010) Automatic generation of assertions to detect potential security vulnerabilities in C programs that use union and pointer types. In Xiang, Yang, Samarati, Pierangela, Hu, Jiankun, Zhou, Wanlei, & Sadeghi, Ahmad-Reza (Eds.) Proceedings of 2010 Fourth International Conference on Network and System Security, IEEE Computer Society, Melbourne, pp. 351-357.

Corney, Diane & Gough, John (1994) Type Test Elimination using Typeflow Analysis. In Lecture Notes in Computer Science, Springer Berlin / Heidelberg, Zurich, Switzerland, pp. 137-150.

Gough, John, Cifuentes, Christina, Corney, Diane, Hynd, John R., & Kolb, Peter (1992) An experiment in mixed compilation/interpretation. In 14th Australian Computer Science Conference, January 1992, Hobart, Tasmania.

Gough, John & Corney, Diane (2003) Leveraging managed frameworks from modular languages. In Modular Programming Languages, Springer Berlin / Heidelberg, University of Klagenfurt, Austria, pp. 150-162.

Gough, Kevin J. & Corney, Diane W. (1993) Type extension and efficient AST manipulation. In Proceedings of the 16th Australian Computer Science Conference, Australian Computer Society, Brisbane, pp. 101-107.

Gough, Kevin John & Corney, Diana (2000) Evaluating the Java Virtual Machine as a Target for Languages Other Than Java. In Lecture Notes in Computer Science, Springer Berlin / Heidelberg, Zurich, Switzerland, pp. 278-290.

Hearnden, David, Lawley, Michael, & Raymond, Kerry (2006) Incremental model transformation for the evolution of model-driven systems. In Nierstrasz, Oscar, Whittle, Jon, Harel, David, & Reggio, Gianna (Eds.) 9th International Conference, MoDELS 2006, October 1-6, 2006, Genova, Italy.

123

Keays, Roger & Rakotonirainy, Andry (2003) Context-oriented programming. In 3rd ACM international workshop on Data engineering for wireless and mobile access, 19 September 2003, San Diego, USA.

Lawley, Michael J. & Raymond, Kerry (2007) Implementing a Practical Declarative Logic-Based Model Transformation Engine. In 22nd Annual ACM Symposium on Applied Computing 2007, March 11 - 15, 2007, Seoul, Korea.

Neverov, Gregory & Roe, Paul (2005) Towards a Fully-Reflective Meta-Programming Language. In Estivill-Castro, V (Ed.) Computer Science 2005 - 28th Australasian Computer Science Conference, 30 January - 3 February 2005, Australia, New South Wales, Newcastle.

Rakotonirainy, Andry (2003) How to Program Pervasive Systems. In 14th International Workshop on Database and Expert Systems Applications, 1-5 September 2003, Prague, Czech Republic.

Salim, Farzad, Sheppard, Nicholas P., & Safavi-Naini, Rei (2007) Enforcing P3P policies using a digital rights management system. In Privacy Enhancing Technologies, Springer, University of Ottawa, Ottawa, pp. 200-217.

Sitte, Joaquin (2006) Robotics and Robotics Education with Smalltalk. In Murase, K, Sekiyama, K, Kubota, N, Naniwa, T, & Sitte, J (Eds.) Proceedings of the 3rd International Symposium on Autonomous Minirobots for Research and Edutainment, 20-22 September 2005, Japan, Fukui, Awara-Spa.

Sorensen, Andrew C. & Gardner, Henry (2010) Programming with time : cyber-physical programming with Impromptu. In Proceedings of OOPSLA10 : ACM International Conference on Object Oriented Programming Systems Languages and Applications, ACM, New York, NY, USA, pp. 822-834.

Yeh, Andy J. & Nason, Rodney A. (2004) VRMath: A 3D Microworld for Learning 3D Geometry. In World Conference on Educational Multimedia, Hypermedia & Telecommunications, 21-26, June, 2004, Lugano, Switzerland.

581

Report

Corney, Diane (1995) Luna Language Report. (Unpublished)

Craik, Andrew J. (2008) Operational Semantics for Object Ownership and Runtime Reasoning about Inherent Parallelism. (Unpublished)

Craik, Andrew J. (2008) Ownership Effects Type System Safety. (Unpublished)

Craik, Andrew J. (2009) Ownerships for reasoning about parallelism : type system and semantics. (Unpublished)

Gough, John & Corney, Diane (2000) Implementing languages other than Java on the Java Virtual Machine. (Unpublished)

Gough, John & Corney, Diane (2010) Reading and writing PE-files with PERWAPI. (Unpublished)

Thesis

Salim, Farzad (2006) Detecting and resolving redundancies in EP3P policies. Masters by Research thesis, Faculty of Computer Science and Software Engineering, University of Wollongong.

This list was generated on Sat May 18 09:33:40 2013 EST.

Export as	RSS 1.0 Atom RSS 2.0