Items where Subject is "Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > COMPUTER SOFTWARE (080300) > Programming Languages (080308)"
|Up a level|
- Subjects classification (38541)
- Australian and New Zealand Standard Research Classification (38541)
Group by: Authors/Creators | Item Type
Number of items at this level: 26.
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 (1995) Luna Language Report. (Unpublished)
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.
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)
Craik, Andrew J. & Kelly, Wayne A. (2008) Reasoning about Inherent Parallelism in Object-Oriented Programs using Ownership Types. In ACSC '08 Proceedings of the thirty-first Australasian conference on Computer science, ACM, pp. 27-36.
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.
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 (2000) Implementing languages other than Java on the Java Virtual Machine. (Unpublished)
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, John & Corney, Diane (2010) Reading and writing PE-files with PERWAPI. (Unpublished)
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.
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.
Kelly, Wayne A. & Gough, John (2007) Compiling Ruby on the CLR. [Working Paper] (Unpublished)
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 (2006) Detecting and resolving redundancies in EP3P policies. Masters by Research thesis, Faculty of Computer Science and Software Engineering, University of Wollongong.
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 & Gardner, Henry (2010) Programming with time : Cyber-physical programming with impromptu. ACM Sigplan Notices, 45(10), pp. 822-834.
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.