NDLI logo
  • Content
  • Similar Resources
  • Metadata
  • Cite This
  • Log-in
  • Fullscreen
Log-in
Do not have an account? Register Now
Forgot your password? Account recovery
  1. Proceedings of the ACM international conference on Object oriented programming systems languages and applications (OOPSLA '10)
  2. Tribal ownership
Loading...

Please wait, while we are loading the content...

The case for evolvable software
Efficient modular glass box software model checking
A domain-specific approach to architecturing error handling in pervasive computing
Lime: a Java-compatible and synthesizable language for heterogeneous architectures
Composable specifications for structured shared-memory communication
A study of Java's non-Java memory
Instrumentation and sampling strategies for cooperative concurrency bug isolation
Specifying and implementing refactorings
Type classes as objects and implicits
Symbolic heap abstraction with demand-driven axiomatization of memory invariants
The spoofax language workbench: rules for declarative specification of languages and IDEs
Reasoning about multiple related abstractions with MultiStar
Random testing for higher-order, stateful programs
Ownership and immutability in generic Java
Automatic atomic region identification in shared memory SPMD programs
SPUR: a trace-based JIT compiler for CIL
Registration-based language abstractions
Patterns and statistical analysis for understanding reduced resource computing
Flexible modeling tools for pre-requirements analysis: conceptual architecture and research challenges
Better science through art
Art, science, and fear
An experiment about static and dynamic type systems: doubts about the positive impact of static type systems on development time
G-Finder: routing programming questions closer to the experts
From OO to FPGA: fitting round objects into square hardware?
Do I use the wrong definition?: DeFuse: definition-use invariants for detecting concurrency and sequential bugs
Hera-JVM: a runtime system for heterogeneous multi-core architectures
What can the GC compute efficiently?: a language for heap assertions at GC time
A graph-based approach to API usage adaptation
Supporting dynamic, third-party code customizations in JavaScript using aspects
A dynamic evaluation of the precision of static heap abstractions
MetaFJig: a meta-circular composition language for Java-like classes
Homogeneous family sharing
The two-state solution: native and serializable continuations accord
Tribal ownership
Task types for pervasive atomicity
Refactoring references for library migration
Pinocchio: bringing reflection to life with first-class interpreters
Programming with time: cyber-physical programming with impromptu
To upgrade or not to upgrade: impact of online upgrades across multiple administrative domains
Rubber ducks, nightmares, and unsaturated predicates: proto-scientific schemata are good for agile
To achieve our highest goals, we must be willing to abandon them
A simple inductive synthesis methodology and its applications
Agility in context
An input-centric paradigm for program dynamic optimizations
Scalable and systematic detection of buggy inconsistencies in source code
Cross-language, type-safe, and transparent object sharing for co-located managed runtimes
Monitor optimization via stutter-equivalent loop transformation
Component adaptation and assembly using interface relations
Dynamic parallelization of recursive code: part 1: managing control flow interactions with the continuator
Parallel inclusion-based points-to analysis
Modular logic metaprogramming
Mostly modular compilation of crosscutting concerns by contextual predicate dispatch
Back to the futures: incremental parallelization of existing sequential runtime systems
A time-aware type system for data-race protection and guaranteed initialization
Concurrent programming with revisions and isolation types
Performance analysis of idle programs
Concurrency by modularity: design patterns, a case in point
Language virtualization for heterogeneous parallel computing
Managing ambiguity in programming by finding unambiguous examples
Pure and declarative syntax definition: paradise lost and regained
F#: Taking Succinct, Efficient, Typed Functional Programming into the Mainstream
Faith, hope, and love: an essay on software science's neglect of human factors
The Tower of Babel did not fail

Similar Documents

...
Tribal ownership

Article

...
Towards virtual traits in Scala

Article

...
Safer open-nested transactions through ownership

Article

...
Names for free: polymorphic views of names and binders

Article

...
Scalable extensibility via nested inheritance

Article

...
Safe open-nested transactions through ownership ( SPAA '08 )

Article

...
Semantic analysis of virtual classes and nested classes

Article

...
Eliminating distinctions of class: using prototypes to model virtual classes

Article

...
Safe open-nested transactions through ownership ( PPoPP '09 )

Article

Tribal ownership

Content Provider ACM Digital Library
Author Noble, James Wrigstad, Tobias Cameron, Nicholas
Abstract Tribal Ownership unifies class nesting and object ownership. Tribal Ownership is based on Tribe, a language with nested classes and object families. In Tribal Ownership, a program's runtime object ownership structure is characterised by the lexical nesting structure of its classes. We build on a variant of Tribe to present a descriptive ownership system, using object nesting to describe heap partitions, but without imposing any restrictions on programming disciplines. We then demonstrate how a range of different prescriptive ownership policies can be supported on top of the descriptive Tribal Ownership mechanism; including a novel owners-as-local-dominators policy. We formalise our type system and prove soundness and several ownership invariants. The resulting system requires strikingly few annotations, and uses well-understood encapsulation techniques to create ownership systems that should be intuitive for programmers.
Starting Page 618
Ending Page 633
Page Count 16
File Format PDF
ISBN 9781450302036
DOI 10.1145/1869459.1869510
Language English
Publisher Association for Computing Machinery (ACM)
Publisher Date 2010-10-17
Publisher Place New York
Access Restriction Subscribed
Subject Keyword Nested classes Virtual classes Ownership types Family polymorphism
Content Type Text
Resource Type Article
  • About
  • Disclaimer
  • Feedback
  • Sponsor
  • Contact
  • Chat with Us
About National Digital Library of India (NDLI)
NDLI logo

National Digital Library of India (NDLI) is a virtual repository of learning resources which is not just a repository with search/browse facilities but provides a host of services for the learner community. It is sponsored and mentored by Ministry of Education, Government of India, through its National Mission on Education through Information and Communication Technology (NMEICT). Filtered and federated searching is employed to facilitate focused searching so that learners can find the right resource with least effort and in minimum time. NDLI provides user group-specific services such as Examination Preparatory for School and College students and job aspirants. Services for Researchers and general learners are also provided. NDLI is designed to hold content of any language and provides interface support for 10 most widely used Indian languages. It is built to provide support for all academic levels including researchers and life-long learners, all disciplines, all popular forms of access devices and differently-abled learners. It is designed to enable people to learn and prepare from best practices from all over the world and to facilitate researchers to perform inter-linked exploration from multiple sources. It is developed, operated and maintained from Indian Institute of Technology Kharagpur.

Learn more about this project from here.

Disclaimer

NDLI is a conglomeration of freely available or institutionally contributed or donated or publisher managed contents. Almost all these contents are hosted and accessed from respective sources. The responsibility for authenticity, relevance, completeness, accuracy, reliability and suitability of these contents rests with the respective organization and NDLI has no responsibility or liability for these. Every effort is made to keep the NDLI portal up and running smoothly unless there are some unavoidable technical issues.

Feedback

Sponsor

Ministry of Education, through its National Mission on Education through Information and Communication Technology (NMEICT), has sponsored and funded the National Digital Library of India (NDLI) project.

Contact National Digital Library of India
Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302
See location in the Map
03222 282435
Mail: support@ndl.gov.in
Sl. Authority Responsibilities Communication Details
1 Ministry of Education (GoI),
Department of Higher Education
Sanctioning Authority https://www.education.gov.in/ict-initiatives
2 Indian Institute of Technology Kharagpur Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project https://www.iitkgp.ac.in
3 National Digital Library of India Office, Indian Institute of Technology Kharagpur The administrative and infrastructural headquarters of the project Dr. B. Sutradhar  bsutra@ndl.gov.in
4 Project PI / Joint PI Principal Investigator and Joint Principal Investigators of the project Dr. B. Sutradhar  bsutra@ndl.gov.in
Prof. Saswat Chakrabarti  will be added soon
5 Website/Portal (Helpdesk) Queries regarding NDLI and its services support@ndl.gov.in
6 Contents and Copyright Issues Queries related to content curation and copyright issues content@ndl.gov.in
7 National Digital Library of India Club (NDLI Club) Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach clubsupport@ndl.gov.in
8 Digital Preservation Centre (DPC) Assistance with digitizing and archiving copyright-free printed books dpc@ndl.gov.in
9 IDR Setup or Support Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops idr@ndl.gov.in
I will try my best to help you...
Cite this Content
Loading...