ANU Research Publications
Permanent URI for this collectionhttps://hdl.handle.net/1885/26
The Australian National University's Research Publications collection is an online location for collecting, preserving and disseminating the scholarly output of the University. This service allows members of the University to share their research with the wider community. ANU Open Research accepts journal articles, conference papers, book chapters, working or technical papers and other forms of scholarly communication.
FINDING WORKS: To find a work in this collection, enter a search term into the text box and click on Search or select one of the 'Browse by' options (Author, Title, Subject, Issue Date or Type).
CONTRIBUTING WORKS: If you have an item you wish to submit, please do so through the Contribute page.
Browse
Recent Submissions
Publication Metadata only The Central Asian Naqshbandi Connections of the Mughal Emperors(1996) Foltz, RichardPublication Metadata only The Tajiks of Uzbekistan(1996) Foltz, RichardPublication Metadata only A Theory of Tagged Objects(Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2015-07-01) Lee, Joseph; Aldrich, Jonathan; Shaw, Troy; Potanin, AlexFoundational models of object-oriented constructs typically model objects as records with a structural type. However, many object-oriented languages are class-based; statically-typed formal models of these languages tend to sacrifice the foundational nature of the record-based models, and in addition cannot express dynamic class loading or creation. In this paper, we explore how to model statically-typed object-oriented languages that support dynamic class creation using foundational constructs of type theory. We start with an extensible tag construct motivated by type theory, and adapt it to support static reasoning about class hierarchy and the tags supported by each object. The result is a model that better explains the relationship between objectoriented and functional programming paradigms, suggests a useful enhancement to functional programming languages, and paves the way for more expressive statically typed object-oriented languages. In that vein, we describe the design and implementation of the Wyvern language, which leverages our theory.Publication Metadata only The Environmental Crisis and Global Violence: A Matter of Misplaced Values(2010) Foltz, RichardThe most pervasive and dangerous form of global violence today is violence against the Earth’s life-support systems. Environmental degradation is directly linked to other forms of violence such as war, poverty, and oppression. In the environmentally-fragile and overpopulated Middle East, these linkages are all the more pronounced, though they are often obscured by political and other factors.The environmental crisis has arisen due to a crisis in values. All over the world, traditional value systems which taught respect for natural resources have been overwhelmed by the values of the Religion of the Market, in which all things are reduced to mere commodities for sale. As the major source of values in the world today, the Religion of the Market is the primary agent of global violence against humans and against the Earth in general. In the Middle East, where most people identify as Muslims, Islam can serve as a counterbalance to the Religion of the Market, but for this to happen Islamic teachings on the environment need to be better articulated and more broadly disseminated than has been the case to date.Publication Metadata only A Coq implementation of a Theory of Tagged Objects(2025) Gates, Matthew; Potanin, AlexWe present a first step towards the Coq implementation of the Theory of Tagged Objects formalism. The concept of tagged types is encoded, and the soundness proofs are discussed with some future work suggestions.Publication Metadata only Judaism and the Silk Route(1998) Foltz, RichardPublication Metadata only SPLASH Companion 2022: Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity(Association for Computing Machinery (ACM), 2022) Potanin, AlexWelcome to the SPLASH 2022! After two years of virtual only (SPLASH 2020), closed borders USA only (SPLASH 2021), we finally feel the reopening and going back to the pre-Covid in person vibe of the 37th OOPSLA/SPLASH. I am especially proud of having SPLASH outside of the USA/Canada region for the 3rd time in its history and the first time it is held in the Asia Pacific. We invited the Asian Symposium on Programming Languages and Systems (APLAS) to co-locate with us for the 3rd year in a row to celebrate this occasion.Publication Metadata only Proceedings of the Seventeenth Computing: The Australasian Theory Symposium (CATS 2011)(Australian Computer Society Inc., 2011) Potanin, Alex; Viglas, TasoThe 17th Computing: The Australasian Theory Symposium - CATS is an annual conference held in the Australia-New Zealand region, dedicated to theoretical computer science. CATS is part of the Australasian Computer Society Week (ACSW), an international annual conference event, supported by the Computing Research and Education Association (CORE) in Australia. ACSW 2011 is hosted by the Department of Computing at Curtin University, Perth, Australia, January 17--20, 2010.Publication Metadata only Spirituality in the Land of the Noble: How Iran Shaped the World’s Religions(Oneworld Publications, 2004) Foltz, RichardAn evocative journey into a diverse culture, this is the engaging yet long-neglected story of Iran’s influence on the beliefs, practices, and scriptures of the world’s religious traditions. Spanning the full spectrum of Persian history from the earliest settlers right up to the present age, Foltz offers a fascinating and invaluable insight into not only Iranian identity, but also the way in which religious traditions grow and change.Publication Metadata only Environmentalism in the Muslim World(Nova Science Publishers Inc, 2005) Foltz, RichardThis is the first book to provide an overview of how Muslim activists are responding on the ground to the global environmental crisis. The detrimental effects of environmental degradation are felt most severely by the world's poor, a disproportionate number of whom are Muslims. Unfortunately, governments of Muslim societies have been slow to respond to environmental problems, while opposition movements as well have mostly chosen to focus on other issues. Nevertheless, environmental awareness and activism are growing throughout the Muslim world. This book offers chapters by leading Muslim environmentalists which survey environmental initiatives in Egypt, Turkey, Iran, Pakistan, Nigeria, and Malaysia. Issues are detailed pointing out both successes and failures and describing the unique challenges facing the world's very diverse Muslim societies in striving to balance development and social justice with preserving the integrity of the earth's life support systems.Publication Metadata only 23rd Asia-Pacific Software Engineering Conference, APSEC 2016, Hamilton, New Zealand, December 6-9, 2016(IEEE Computer Society, 2016) Potanin, Alex; Murphy, Gail C.; Reeves, Steve; Dietrich, JensPublication Metadata only Theory of Computing 2010: Proceedings of the Sixteenth Computing: The Australasian Theory Symposium (CATS 2010), Brisbane, Australia, January 2010(Australian Computer Society Inc., 2010) Viglas, Taso; Potanin, AlexThe 16th "Computing: The Australasian Theory Symposium - CATS" is an annual conference held in the Australia-New Zealand region, dedicated to theoretical computer science. CATS is part of the Australasian Computer Society Week (ACSW), an international annual conference event, supported by the Computing Research and Education Association (CORE) in Australia. ACSW 2010 is hosted by the School of Information Technology at the Queensland University of Technology (QUT) in Brisbane, Australia, January 18-21, 2010. CATS is an international, fully refereed conference publishing original research in all areas of theoretical computer science. The program committee in 2010 included members from Australia, New Zealand, USA, Canada, Japan, China and Hong Kong, UK, India, Switzerland, and Taiwan. In 2010 the conference received 28 submissions, of which 12 were accepted for publication, resulting in an acceptance rate of just below 43%. Each submission received three or four independent reviews from program committee members or sub-reviewers, and was discussed by the program committee. We would like to thank all the program committee members and sub-reviewers for their work, as well as all the authors for their contribution in making CATS a successful theory event.Publication Metadata only Mithra and Mazda: A Re-assessment of Their Relative Status in Ancient Iran(2013) Foltz, RichardMithra -originally the Indo-Iranian god of contracts—appears in Zoroastrianism and Hinduism, with both Avestan and Vedic rituals devoted to him, yet is best known in the Roman context where his cult enjoyed unparalleled popularity for several centuries. Indeed, only in the Roman context (where its actual connections with Iranian religion are unclear) does one typically speak of “Mithraism” as a distinct religion.Publication Metadata only When Was Central Asia Zoroastrian?(1998) Foltz, RichardThe Iranian peoples of Greater Iran are often collectively characterized as having been "Zoroastrian" in pre-Islamic times. In order to avoid the pitfalls inherent in such a blanket generalization, the author proposes that pre-Islamic Central Asian religion be considered as an ever-changing mix of local and non-local religious beliefs and practices, drawn largely but not exclusively from an Iranian pool of myths, deities, symbols and rituals.Publication Metadata only Central Asians in the Administration of Mughal India(1997) Foltz, RichardPublication Metadata only Traits for Correct-by-Construction Programming(2022) Runge, Tobias; Potanin, Alex; Thüm, Thomas; Schaefer, InaWe demonstrate that traits are a natural way to support correctness-by-construction (CbC) in an existing programming language in the presence of traditional post-hoc verification (PhV). With Correctness-by-Construction, programs are constructed incrementally along with a specification that is inherently guaranteed to be satisfied. CbC is complex to use without specialized tool support, since it needs a set of refinement rules of fixed granularity which are additional rules on top of the programming language. In this work, we propose TraitCbC, an incremental program construction procedure that implements correctness-by-construction on the basis of PhV by using traits. TraitCbC enables program construction by trait composition instead of refinement rules. It provides a programming guideline, which similar to CbC should lead to well-structured programs, and allows flexible reuse of verified program building blocks. We introduce TraitCbC formally and prove the soundness of our verification strategy. Additionally, we implement TraitCbC as a proof of concept.Publication Metadata only Annotating UI Architecture with Actual Use(Australian Computer Society, 2008) Ramsay, Neil; Marshall, Stuart; Potanin, AlexDeveloping an appropriate user interface architecture for supporting a system's tasks is critical to the system's overall usability. While there are principles to guide architectural design, confirming that the correct decisions are made can involve the collection and analysis of lots of test data. We are developing a testing environment that will automatically compare and contrast the actual user interaction data against the existing user interface architectural models. This can help a designer more clearly understand how the actual tasks performed relate to the proposed architecture, and enhances feedback between different design artifacts.Publication Metadata only Two 17th Century Central Asian Travellers to Mughal India(1996) Foltz, RichardPublication Metadata only Cultural Contacts between Central Asia and Mughal India(1998) Foltz, RichardPublication Metadata only Sound Invariant Checking Using Type Modifiers and Object Capabilities(2019) Gariano, Isaac Oscar; Servetto, Marco; Potanin, AlexIn this paper we use pre existing language support for type modifiers and object capabilities to enable a system for sound runtime verification of invariants. Our system guarantees that class invariants hold for all objects involved in execution. Invariants are specified simply as methods whose execution is statically guaranteed to be deterministic and not access any externally mutable state. We automatically call such invariant methods only when objects are created or the state they refer to may have been mutated. Our design restricts the range of expressible invariants but improves upon the usability and performance of our system compared to prior work. In addition, we soundly support mutation, dynamic dispatch, exceptions, and non determinism, while requiring only a modest amount of annotation. We present a case study showing that our system requires a lower annotation burden compared to Spec#, and performs orders of magnitude less runtime invariant checks compared to the widely used `visible state semantics' protocols of D, Eiffel. We also formalise our approach and prove that such pre existing type modifier and object capability support is sufficient to ensure its soundness.