NDLI: It's Only Illegal If You Get Caught: Breaking Invariants and Getting Away with It

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

Programming with Managed Time

Multi-Tier Functional Reactive Programming for the Web

Korz: Simple, Symmetric, Subjective, Context-Oriented Programming

Phrase-Based Statistical Translation of Programming Languages

In Search of Types

Coverage and Its Discontents

The Programming Language Wars: Questions and Responsibilities for the Programming Language Community

Call by Meaning

Towards Tierless Web Development without Tierless Languages

Mining the Ecosystem to Improve Type Inference for Dynamically Typed Languages

Interleaving of Modification and Use in Data-driven Tool Development

Metamorphic Domain-Specific Languages: A Journey into the Shapes of a Language

Getting to Flow in Software Development

I Throw Itching Powder at Tulips

Versionable, Branchable, and Mergeable Application State

Capturing and Exploiting IDE Interactions

Description Logic as Programming Language

Unifying Textual and Visual: A Theoretical Account of the Visual Perception of Programming Languages

The Semantics of Version Control

A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs

It's Only Illegal If You Get Caught: Breaking Invariants and Getting Away with It

Variational Data Structures: Exploring Tradeoffs in Computing with Variability

It's Only Illegal If You Get Caught: Breaking Invariants and Getting Away with It

Content Provider	ACM Digital Library
Author	Mycroft, Alan Proust, Raphaël
Abstract	Programming languages and coding standards provide invariants to ease reasoning about the correctness of code. Although useful, invariants are often intentionally broken by programmers for performance or compatibility purposes. An operation that consists of multiple steps can preserve an invariant overall even though it breaks it temporarily during the process - e.g., inserting a node into a doubly linked list takes two operations between which the list is ill-formed. It is important that intermediate states of these operations are not observable by the rest of the program. We explore various devices that are used to bundle together the different steps of such an operation in a way that hides intermediate states - bringing some form of atomicity. However, while all these constructs might work in a certain context there is no way to ensure they still work for extensions and new versions of the programming language, the underlying operating system, the linked libraries, or even the processor architecture. We propose a new construct, opaque}, to overcome these problems - decoupling code correctness and execution context - and future-proof invariant-breaking code by insisting that both current and future versions of the compiler treat the enclosed block as having no observable intermediate states.
Starting Page	163
Ending Page	171
Page Count	9
File Format	PDF
ISBN	9781450332101
DOI	10.1145/2661136.2661142
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2014-10-20
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Close world assumption Negative features Programming language design Abstraction Feature interaction Invariants Programming language evolution
Content Type	Text
Resource Type	Article

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

It's Only Technology If It Happens after You Are Born.

Employment Relations in Dual Labor Markets ("It's Nice Work If You Can Get It")

Is It Still Cheating If I Don’t Get Caught? (review)

Would you do it if you wouldn’t get caught?: students ’ ethical decision making in computing.

I Could Do Anything If I Only Knew What It Was: How to Discover What You Really Want and How to Get It

Medication Reconcilation: “You will find it only if you look for it”

Language features meets design patterns: raising the abstraction bar (2008).

Nice Work if You Can Get It

The coming world of “what you see is what you get” (abstract only)

It's Only Illegal If You Get Caught: Breaking Invariants and Getting Away with It

Similar Documents

It's Only Technology If It Happens after You Are Born.

Employment Relations in Dual Labor Markets ("It's Nice Work If You Can Get It")

Is It Still Cheating If I Don’t Get Caught? (review)

Would you do it if you wouldn’t get caught?: students ’ ethical decision making in computing.

I Could Do Anything If I Only Knew What It Was: How to Discover What You Really Want and How to Get It

Medication Reconcilation: “You will find it only if you look for it”

Language features meets design patterns: raising the abstraction bar (2008).

Nice Work if You Can Get It

The coming world of “what you see is what you get” (abstract only)

It's Only Illegal If You Get Caught: Breaking Invariants and Getting Away with It