Unifying Theories of Locations

Unifying Theories of Locations

Show other versions (1)

We present a Unifying Theories of Programming (UTP) model of locations, where a location is either shareable or containable depending on whether its value can be dereferenced by a pointer. Our model of locations is similar to previous work on pointers within the UTP; the main difference is that the...

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Smith, M, Gibbons, J
Format:	Conference item
Udgivet:	Dublin 2008

Lignende værker

Unifying Theories of Locations
af: Smith, M, et al.
Udgivet: (2010)

Unifying theories of objects
af: Smith, M, et al.
Udgivet: (2007)

Unifying Theories of Objects
af: Smith, M, et al.
Udgivet: (2007)

Unifying Theories of Programming with Monads
af: Gibbons, J
Udgivet: (2012)

Unified theory of fracture /
af: 393096 Jagannadham, K., et al.
Udgivet: ([198)

Unifying theories of programming
af: He, J, et al.
Udgivet: (1998)

Embedding an object calculus in the unifying theories of programming
af: Smith, M
Udgivet: (2010)

A unified Bayesian framework for relative microseismic location
af: Poliannikov, Oleg V., et al.
Udgivet: (2014)

A unified Bayesian framework for relative microseismic location
af: Poliannikov, Oleg V., et al.
Udgivet: (2014)

The Unifying Theory of Motivation
af: Perpustakaan UGM, i-lib
Udgivet: (2005)

Unified Theories of Programming
af: Hoare, C
Udgivet: (2015)

Grand unified theories /
af: 409824 Ross, Graham G.
Udgivet: (1984)

Unifying Theories for Parallel Programming
af: Hoare, C, et al.
Udgivet: (1997)

Unifying theories of healthiness condition
af: He, J, et al.
Udgivet: (2000)

Unifying Structured Recursion Schemes
af: Hinze, R, et al.
Udgivet: (2013)

Unifying Structured Recursion Schemes
af: Hinze, R, et al.
Udgivet: (2013)

LOW-ENERGY PREDICTIONS FROM GRAND UNIFIED THEORIES
af: Smith, C, et al.
Udgivet: (1981)

A unified theory of information
Udgivet: (2004)

A unified theory of information
af: Powers, Kerns H
Udgivet: (2005)

Einstein's unified field theory/
af: 298825 Kim, Leong Chuah
Udgivet: (1976)

Superstrings, unified theories and cosmology/
af: Summer Workshop in High Energy Physics and Cosmology (1986: Trieste, Italy)
Udgivet: (1987)

Unifying Theories : A Personal Statement
af: Hoare, C
Udgivet: (1996)

MONOPOLE CHARGES IN UNIFIED GAUGE-THEORIES
af: Chan, H, et al.
Udgivet: (1981)

Unified theory of nuclear models and forces
af: 276811 Brown, Gerald Edward
Udgivet: (1971)

A unified approach to the theory of plastic structures /
af: 418569 Cohn, M. Z., et al.
Udgivet: (1971)

Unified calculus /
af: 214099 Smith, Edward Staples, et al.
Udgivet: (1947)

Introduction to the unified field theory of elementary particles/
af: 324958 Heisenberg, Werner
Udgivet: (1966)

Quantum flavordynamics, quantum chromodynamics and unified theories/
af: NATO Advanced Study Institute on Quantum Flavordynamics, Quantum Chromodynamics, and the Unified Theories (1979 : University of Colorado), et al.
Udgivet: (1980)

A Unified Theory of Matter Genesis: Asymmetric Freeze-In
af: Hall, L, et al.
Udgivet: (2016)

A Unified Theory of Matter Genesis: Asymmetric Freeze-In
af: Hall, L, et al.
Udgivet: (2010)

Theory of the location of industries /
af: 309471 Weber, Alfred
Udgivet: (1971)

A unified theory of the firm from Tawhidic paradigm
af: Mhd. Sarif, Suhaimi
Udgivet: (2013)

A unified theory of consistent estimation for parametric models
af: Bates, Charles, et al.
Udgivet: (2011)

Operational quantum resource theories : unified framework and applications
af: Takagi, Ryuji (Physicist)
Udgivet: (2022)

Neutralino Dark Matter in a Class of Unified Theories
af: Abel, SA, et al.
Udgivet: (1992)

LOW-ENERGY PREDICTIONS IN SUPERSYMMETRIC GRAND UNIFIED THEORIES
af: Ibanez, L, et al.
Udgivet: (1981)

Towards a unified complexity theory of total functions
af: Goldberg, P, et al.
Udgivet: (2017)

Towards a unified complexity theory of total functions
af: Goldberg, P, et al.
Udgivet: (2018)

Einstein's dream : the search for a unified theory of the universe/
Udgivet: (1986)

A unified theory of structural tractability for constraint satisfaction problems
af: Cohen, D, et al.
Udgivet: (2008)