Sushi in the United States, 1945-1970

Sushi first achieved widespread popularity in the United States in the mid-1960s. Many accounts of sushi’s US establishment foreground the role of a small number of key actors, yet underplay the role of a complex web of large-scale factors that provided the context in which sushi was able to flourish. This article critically reviews existing literature, arguing that sushi’s US popularity arose from contingent, long-term, and gradual processes. It examines US newspaper accounts of sushi during 1945–1970, which suggest the discursive context for US acceptance of sushi was considerably more propitious than generally acknowledged. Using California as a case study, the analysis also explains conducive social and material factors, and directs attention to the interplay of supply- and demand-side forces in the favorable positioning of this “new” food. The article argues that the US establishment of sushi can be understood as part of broader public acceptance of Japanese cuisine

Using off-the-shelf formal methods to verify attribute grammar properties

Attribute Grammars are the specification language of many tools that automatically generate programming language implementations. We consider the problem of verifying properties of attribute grammar specifications, particularly properties that are not well supported by existing tools. Rather than propose methods for extending existing tool implementation techniques, we propose the use of off-the-shelf formal methods tools as the basis for attribute grammar verification. Off-the-shelf tools can provide significant expressive power at a much lower cost than extending an existing evaluator generator. As a specific example, we describe how to use the Alloy model finding and checking tool to verify properties of remote attribution constructs in the LIDO attribute grammar specification language. A naive application of this approach has significant performance overheads; we discuss techniques for limiting the scope of the problems that are solved to make the approach tractable.22 page(s

Abstract Using Off-the-Shelf Formal Methods to Verify Attribute Grammar Properties

Attribute Grammars are the specification language of many tools that automatically generate programming language implementations. We consider the problem of verifying properties of attribute grammar specifications, particularly properties that are not well supported by existing tools. Rather than propose methods for extending existing tool implementation techniques, we propose the use of off-the-shelf formal methods tools as the basis for attribute grammar verification. Off-the-shelf tools can provide significant expressive power at a much lower cost than extending an existing evaluator generator. As a specific example, we describe how to use the Alloy model finding and checking tool to verify properties of remote attribution constructs in the LIDO attribute grammar specification language. A naive application of this approach has significant performance overheads; we discuss techniques for limiting the scope of the problems that are solved to make the approach tractable