Subtyping in alloy

Subtyping in alloy

Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2004.

Bibliographic Details
Main Author:	Torlak, Emina, 1979-
Other Authors:	Daniel N. Jackson.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2005
Subjects:	Electrical Engineering and Computer Science.
Online Access:	http://hdl.handle.net/1721.1/18012

Similar Items

A constraint solver for software engineering : finding models and cores of large relational specifications
by: Torlak, Emina, 1979-
Published: (2009)

The Design of a Relational Engine
by: Torlak, Emina, et al.
Published: (2006)

Unsupervised discovery of emphysema subtypes in a large clinical cohort
by: Binder, Polina
Published: (2016)

Knowledge Flow Analysis for Security Protocols
by: Torlak, Emina, et al.
Published: (2005)

Identification and characterisation of subtypes of patients in a bipolar cohort
by: Kwek, Germaine Dan Yi
Published: (2021)

Web application for ICH subtype classification from CT head scans
by: Lim, Candy
Published: (2022)

Translating alloy using Boolean circuits
by: Daitch, Samuel Isaac
Published: (2006)

A novel mechanism for metal alloying at the nanoscale
by: Yu, Daiwei
Published: (2018)

Investigating subtypes of alzheimer's disease using graph neural networks on functional MRI scans
by: Ang, Jun Liang
Published: (2021)

Ormolu : generating runtime monitors from alloy models
by: Reeves, Dwayne Lloyd
Published: (2013)

An imperative extension to alloy and a compiler for its execution
by: Near, Joseph P. (Joseph Paul)
Published: (2010)

Spin-orbit torque switching of compensated ferrimagnetic cobalt-terbium alloys
by: Finley, Joseph T. (Joseph Tyler)
Published: (2017)

On the Theory of Structural Subtyping
by: Kuncak, Viktor, et al.
Published: (2023)

Biochemical and physiological analysis of microvesicle subtypes
by: Stratton, Dan
Published: (2012)

Survival analysis for the identified cancer gene subtype from the co-clustering algorithm
by: Logenthiran, Machap, et al.
Published: (2022)

Differentiate the roles of CA channel subtypes in insulin secretion
by: Chen, Peng.
Published: (2010)

Subtype distribution of blastocystis isolates in Sebha, Libya
by: Abdulsalam, A.M., et al.
Published: (2013)

Scalable video
by: Lee, Ying, 1979-
Published: (2005)

Power-efficient design of 16-bit mixed-operand multipliers
by: Pornpromlikit, Sataporn, 1979-
Published: (2005)

Local measurement of the pulse wave velocity using Doppler ultrasound
by: Xu, Minnan, 1979-
Published: (2005)

A framework for multi-modal input in a pervasive computing environment
by: Agarwal, Shalini, 1979-
Published: (2005)

pGNAT : the Ravenscar cross compiler for the Gurkh Project
by: Seeumpornroj, Pee, 1979-
Published: (2005)

Simulation of composite I/O automata
by: Solovey, Edward, 1979-
Published: (2005)

Effects of loss rate on ad hoc wireless routing
by: Aguayo, Daniel, 1979-
Published: (2005)

Dynamic datarace detection for object-oriented programs
by: Sridharan, Manu, 1979-
Published: (2005)

The eFacilitator : a meeting capture application and infrastructure
by: Fox, Harold, 1979-
Published: (2005)

Securing software : an evaluation of static source code analyzers
by: Zitser, Misha, 1979-
Published: (2005)

Fluorescence assay for polymerase arrival rates
by: Che, Austin, 1979-
Published: (2005)

Optimum spreading bandwidth for DS-CDMA on time and frequency fading channels
by: Zheng, Changqing, 1979-
Published: (2005)

Multiple access networks over finite fields : optimality of separation, randomness and linearity
by: Ray, Siddharth, 1979-
Published: (2005)

The development of novel passive and active photonic-crystal devices
by: Assefa, Solomon, 1979-
Published: (2005)

Synchronized exchange of material and information
by: Goyal, Amit, 1979-
Published: (2005)

Architectural implications of bit-level computation in communication applications
by: Wentzlaff, David, 1979-
Published: (2014)

Low-bandwidth Web access with tandem proxies
by: Chakrabarti, Samidh, 1979-
Published: (2014)

Fake Phong shading
by: Vlasic, Daniel, 1979-
Published: (2014)

Design and development of a high-performance, low-cost robotics platform for research and education
by: Bajracharya, Max, 1979-
Published: (2014)

The use of conduction mode basis functions in surface integral formulation for wideband impedance extraction
by: Hu, Xin, 1979-
Published: (2014)

Algorithms and architecture for multiusers, multi-terminal, multi-layer information theoretic security
by: Khisti, Ashish, 1979-
Published: (2009)

Constraint satisfaction modules : a methodology for analog circuit design
by: Mitros, Piotr, 1979-
Published: (2008)

Improving memory performance through runtime optimization
by: Jacobs, Joshua, 1979-
Published: (2014)