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 (43694)
- Australian and New Zealand Standard Research Classification (43694)
Group by: Authors/Creators | Item Type
Number of items at this level: 28.
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.
Sorensen, Andrew & Gardner, Henry (2010) Programming with time : Cyber-physical programming with impromptu. ACM Sigplan Notices, 45(10), pp. 822-834.
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.
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.
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.
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 & Gough, John (2008) Ruby.NET: a ruby compiler for the common language infrastructure. In Dobbie, G & Mans, B (Eds.) Proceedings of the Thirty-First Australasian Computer Science Conference (ACSC 2008) in Volume 74 in the Conferences in Research and Practice in Information Technology Series., 22 - 25 January 2008, Australia, NSW, Wollongong.
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.
Reid, Wayne, Kelly, Wayne, & Craik, Andrew (2008) Reasoning about inherent parallelism in modern object-oriented languages. In Dobbie, G & Mans, B (Eds.) The Thirty-First Australasian Computer Science Conference (ACSC 2008) in Conferences in Research and Practice in Information Technology Volume 74 - Computer Science 2008, 22 - 25 January 2008, Australia, NSW, 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 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.
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)
Salim, Farzad (2006) Detecting and resolving redundancies in EP3P policies. Masters by Research thesis, Faculty of Computer Science and Software Engineering, University of Wollongong.
Kelly, Wayne A. & Gough, John (2007) Compiling Ruby on the CLR. [Working Paper] (Unpublished)