Categories, Allegories, and Circuit Design

QR Code

Categories, Allegories, and Circuit Design

Languages based upon binary relations offer an appealing setting for constructing programs from specifications. For example, working with relations rather than functions allows specifications to be more abstract (for example, many programs have a natural specification using the converse operator on...

Full description

Bibliographic Details
Main Authors:	Brown, Carolyn, Hutton, Graham
Format:	Conference or Workshop Item
Published:	1994
Online Access:	https://eprints.nottingham.ac.uk/232/

Similar Items

Memorializing, allegory and the rewriting of Nathaniel Hawthorne
by: Holman, Rupert
Published: (1998)

War allegory in Narayan Wagle's Palpasa Café
by: Jujar Singh, Hardev Kaur, et al.
Published: (2018)

Satire in Sonallah Ibrahim’s the committee: an allegory to ridicule capitalism
by: Khaled A. Alkodimi,, et al.
Published: (2010)

Satire in Sonallah Ibrahim's The Committee: an allegory to ridicule capitalism
by: Alkodimi, Khaled A., et al.
Published: (2010)

Etherospermia: Conceptual art, science and allegory in the sky-seeding project
by: Michaloudis, I., et al.
Published: (2014)

Special Session - It’s A Jungle Safari Out There: An Allegory for Learning to Navigate Academia
by: Lindsay, Euan, et al.
Published: (2010)

Interpolating South Asian Transnational Heritage: Allegory In South Asian Diasporic Metropolitan Young Adult Fiction
by: Rasagam, Manohari, et al.
Published: (2016)

Fairy tales and allegory of Malay(si)an Chinese literature in the early stage of the cold war (1946-1965)
by: Chiang, Lee Kwun
Published: (2021)

Parody of political correctness or allegory of “Immaterial Labour”? A second look at Francis Veber’s Le Placard (2001)
by: Lane, Jeremy F.
Published: (2015)

Category norm data and relationships with lexical frequency and typicality within verb semantic categories
by: Plant, C., et al.
Published: (2011)

Modelling Category Inflation with Multiple Inflation Processes: Estimation, Specification and Testing
by: Brown, S., et al.
Published: (2020)

Brand personality of two beverages categories
by: Liang, Johan, et al.
Published: (2011)

Immigrants' language skills and visa category
by: Chiswick, B., et al.
Published: (2006)

The concept of plato's theory of the allegory of the cave and its impact toward Malaysian current political scenario / Norun Najjah Ahmat and Siti Rohana Omar
by: Ahmat, Norun Najjah, et al.
Published: (2008)

Quantum field theories on categories fibered in groupoids
by: Benini, Marco, et al.
Published: (2017)

The influence of multiple social categories on emotion perception
by: Craig, Belinda, et al.
Published: (2018)

The categories of infidelity of the polytheist and the people of the book in the Qur’an
by: Abd Rahman, Saodah
Published: (2012)

The brand-personality of three categories of drinks in Australia
by: Liang, Johan, et al.
Published: (2010)

Climate Refugees and Security: Conceptualizations, Categories, and Contestations
by: Doyle, Timothy, et al.
Published: (2011)

An Investigation of the Electrical Beauty Products Category for Boots.com
by: Lall, Manjit, et al.
Published: (2007)

The Development and use of Category Management practice in UK retailing
by: Lall, Manjit
Published: (2007)

Aristotle's Categories 7 adopts Plato's view of relativity
by: Duncombe, Matthew
Published: (2016)

Certificate of Nomination Inclusion & Community Category (APICTA 2013)
by: Universiti Malaysia Sarawak, ISITI-CoERI
Published: (2013)

Evaluating the longitudinal item and category stability of the SF-36 full and summary scales using rasch analysis
by: Cordier, Reinie, et al.
Published: (2018)

Analog & RF circuits: design & implementation
Published: (2019)

Integration the 6th category business excellence framework, the 8th clause ISO 9001:2015 and the 6th category KPKU Indonesia framework
by: Widaningrum, Sri, et al.
Published: (2020)

The categories of infidelity in the Qur'an = Kategori kufur di dalam Qur'an
by: Abd Rahman, Saodah
Published: (2013)

Application of loglinear models in estimating wet category in monthly rainfall
by: Wahidah Sanusi,, et al.
Published: (2012)

Developmental Coordination Disorder and cerebral palsy: Categories or a continuum?
by: Pearsall-jones, Jillian, et al.
Published: (2010)

The young ones: working-class culture, consumption and the category of youth.
by: Stratton, Jon
Published: (1992)

The nature of threat category changes in three Mediterranean biodiversity hotspots
by: Lozano, F., et al.
Published: (2013)

Employees' perceptions of younger and older managers by generation and job category.
by: Chi, C., et al.
Published: (2013)

Univalent higher categories via complete semi-segal types
by: Capriotti, Paolo, et al.
Published: (2018)

Overviews of Uncertainty: Concepts, Categories and Coping Strategies in Decision Making
by: Aisyah, Ibrahim, et al.
Published: (2021)

Team UMP emerged as winner in Malay Category in Royal Debate
by: Mohd Ferdaus, Musa

UNIMAS wins in two categories at symposium, 08 January 2013
by: The Borneo Post
Published: (2013)

On the categories of L-Valued and Q-Valued deterministic fuzzy automata
by: Dubey, M. K., et al.
Published: (2021)

A study on the efficiency and stability of different categories of banks in Malaysia
by: Sulong, Zunaidah, et al.
Published: (2020)

Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic
by: Hutton, Graham
Published: (1994)

Hardware and circuit design of a vibrational cleaner
by: Chin, Fhong Soon, et al.
Published: (2016)