List of Subject Classifications Records

Browse Results (23 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

 Browse by Research Fields, Courses and Disciplines The Research Fields, Courses and Disciplines (Australian Standard Research Classification) is published by the Australian Bureau of Statistics (ABS catalogue number 1297.0) 1998. ABS data is used with permission from the Australian Bureau of Statistics -> 280000 Information, Computing and Communication Sciences -> 280300 Computer Software -> 280303 Programming Languages :

No further child subject classifications could be found.
  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Hayes, Ian, Nickson, Ray, Strooper, Paul and Colvin, Robert (2000) A Declarative Semantics for Logic Program Refinement. Technical Report no. 00-30, Software Verification Research Centre, School of Information Technology, The University of Queensland. 518 607
Clark, K. and Robinson, P. J. (2002) Agents as multi-threaded logical objects. Lecture Notes in Computer Science - Computational Logic: Logic Programming and Beyond, 2407 33-65. 51 60 0
Vanclay, Jerome K. (2002). An introduction to Simile. In: Harrison, S., Herbohn, J., Mangaoang, E. and Vanclay, J., Socio-economic Research Methods in Forestry: A Training Manual. International Training Workshop, Leyte State University, ViSCA, Baybay, The Philippines, (85-93). 4-10 February 2002. 979 1357
Hayes, I. J. (2002) Block-structured (attribute) grammars Brisbane, Australia: The University of Queensland 39  
Cook, Phil, Welsh, Jim and Hayes, Ian J. (2005) Building a Flexible Incremental Compiler Back-End. Technical Report SSE-2005-02, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland. 1190 1664
Dongol, B M S (2006). Derivation of java monitors. In: J. Han and M. Staples, Proceedings of the 2006 Australian Software Engineering Conference (ASWEC 2006). 2006 Australian Sottware Engineering Conference (ASWEC 2006), Sydney, Australia, (211-220). 18-21 April, 2006. 45   0
Bailes, P. A. C. and Peake, I. (2003). Design derivation of an open, java-based reengineering platform. In: G. Canfora, M. van den Brand and T. Gymothy, Proceedings of the Seventh European Conference on Software Maintenance and Reengineering. The Seventh European Conference on Software Maintenance and Reengineering, Benevento, Italy, (239-248). 26-28 March 2003. doi:10.1109/CSMR.2003.1192432 69 140 0 0
Wyeth, Peta. (2003). Electronic blocks : a new resource for technology education PhD Thesis, School of Information Technology and Electrical Engineering, The University of Queensland. 154 1
Peake, Ian David. (2002). Enabling meta-level support for language design and implementation through modular parsers PhD Thesis, School of Computer Science and Electrical Engineering, The University of Queensland. 118 3
Dongol, Brijesh (2006). Formalising progress properties of non-blocking programs. In: Z. Liu and J. He, Lecture Notes in Computer Science: Proceedings of 8th International Conference on Formal Engineering Methods (ICFEM 2006). 8th International Conference on Formal Engineering Methods (ICFEM 2006), Macau, China, (284-303). 1-3 November 2006. doi:10.1007/11901433 61   8 Cited 4 times in Scopus4 0
Bailes, P. A. C. and Kemp, C. J. (2005). Fusing folds and data structures into zoetic data. In: Peter Kokol, Proceedings of the IASTED International Conference on Software Engineering: As part of the 23rd IASTED International Multi-Conference on Applied Informatics. IASTED International Conference on Software Engineering 2005 (SE 2005), Innsbruck, Austria, (299-306). 15-17 February 2005. 92 115
Cheng, A. S. K., Robinson, P. J. and Staples, J. (1990) Higher Level Meta Programming in Qu-Prolog 3.0. Technical Report No. 90-01, Software Verification Research Centre, Department Of Computer Science, The University of Queensland. 470 476
Cook, Phil, Welsh, Jim and Hayes, Ian J. (2002) Incremental Context-Sensitive Evaluation in Context. Technical Report 02-11, Software Verification Research Centre, The University of Queensland. 176 280
Bailes, P.A.C. and Peake, I. (2003). Incremental enhancement of the expressiveness of a reengineering tool development platform. In: M. Hanza, Proceedings of the Twenty-First IASTED International Multi-Conference on Applied Informatics. The Twenty-First IASTED International Multi-Conference on Applied Informatics, Innsbruck, Austria, (927-934). 10-13 February, 2003. 61  
Cook, Phil, Welsh, Jim and Hayes, Ian J. (2005) Incremental Semantic Evaluation for Interactive Systems: Inertia, Pre-emption, and Relations. Technical Report SSE-2005-01, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland. 396 351
Bailes, P. A. C. and Kemp, C. J. (2003). Integrating runtime assertions with dynamic types: Structuring a derivation from an incomputable specification. In: D. Bae and G. Voas, Proceedings of the 27th Annual International Computer Software and Applications Conference. The 27th Annual International Computer Software and Applications Conference, Dallas, Texas, U.S.A., (520-526). 3-6 November 2003. doi:10.1109/CMPSAC.2003.1245389 54   0 Cited 0 times in Scopus0 0
Duke, R. W. and Salzman, E. Java Genesis. Australia: Pearson Education Australia, 2000. 90  
Clark, K., Robinson, P. J. and Hagen, R. (2001) Multi-threading and message communication in Qu-Prolog. Theory And Practice of Logic Programming, 1 3: 283-301. 42   10
Robinson, P. J., Hinchey, M. and Clark, K. (2003). Qu-Prolog: An implementation language for agents with advanced reasoning capabilities. In: M. Hinchey, Formal Approaches to Agent-Based Systems. The Second International Workshop on Formal Approaches to Agent-Based Systems, Greenbelt, MD, (162-172). 29-31 October, 2003. 54   0
Shield, J. and Hayes, I. J. (2002). Refining object-orientated invariants and dynamic constraints. In: P. Strooper and P. Muenchaisri, Asia-Pacific Software Engineering Conference. Ninth Asia-Pacific Software Engineering Conference, The Gold Coast, (52-61). 4-6 December, 2002. 53   0
Long, Brad, Hoffman, Dan and Strooper, Paul (2001) Tool Support for Testing Java Monitors. Technical Report 01-21, Software Verification Research Centre, School of Information Technology, The University of Queensland. 446 503
Pedersen, Mark John. (2001). Usability evaluation of grammar formalisms for free word order natural language processing PhD Thesis, School of Information Technology and Electrical Engineering, The University of Queensland. 213 3
Bailes, P.A.C., Kemp, C. J., Peake, I. and Seefried, S. D. (2003). Why functional programming really matters. In: M. Hanza, Proceedings of the 21st IASTED International Multi-Conference on Applied Informatics. The 21st IASTED International Multi-Conference on Applied Informatics, Innsbruck, Austria, (919-926). 10-13 February, 2003. 144 347