Leveraging Synergy Between Database and Programming Language Courses

Undergraduate courses in database systems and programming languages are frequently taught without much overlap. This paper argues that there is a substantial benefit to emphasizing some areas of commonality, both old and new, between the two subjects. Examples of cross-fertilization that may be used to enhance one of both of the courses include query language design and implementation, object-relational mapping, transactional memory, and various aspects of the recent NoSQL movement

Dynamically typed languages

Dynamically typed languages such as Python and Ruby have experienced a rapid grown in popularity in recent times. However, there is much confusion as to what makes these languages interesting relative to statically typed languages, and little knowledge of their rich history. In this chapter I explore the general topic of dynamically typed languages, how they differ from statically typed languages, their history, and their defining features

The Bulletin, November (1974)

https://red.mnstate.edu/thebulletin/1116/thumbnail.jp

On Preserving the Behavior in Software Refactoring: A Systematic Mapping Study

Context: Refactoring is the art of modifying the design of a system without altering its behavior. The idea is to reorganize variables, classes and methods to facilitate their future adaptations and comprehension. As the concept of behavior preservation is fundamental for refactoring, several studies, using formal verification, language transformation and dynamic analysis, have been proposed to monitor the execution of refactoring operations and their impact on the program semantics. However, there is no existing study that examines the available behavior preservation strategies for each refactoring operation. Objective: This paper identifies behavior preservation approaches in the research literature. Method: We conduct, in this paper, a systematic mapping study, to capture all existing behavior preservation approaches that we classify based on several criteria including their methodology, applicability, and their degree of automation. Results: The results indicate that several behavior preservation approaches have been proposed in the literature. The approaches vary between using formalisms and techniques, developing automatic refactoring safety tools, and performing a manual analysis of the source code. Conclusion: Our taxonomy reveals that there exist some types of refactoring operations whose behavior preservation is under-researched. Our classification also indicates that several possible strategies can be combined to better detect any violation of the program semantics

\u3cem\u3eMiranda\u3c/em\u3e and the Media: Tracing the Cultural Evolution of a Constitutional Revolution

This article explores the depiction of interrogation in film and television from the 1940s to the present, and contrasts that imagery with the Supreme Court\u27s interrogation jurisprudence over the same time frame. Although my treatment of the subject is necessarily only fragmentary (a comprehensive review of either topic would fill many volumes), this article hazards a few tentative hypotheses

Think Outside the Music Video: A Fantasy Theme Analysis of Music Videos that Break the Genre Convention

Typically, music videos fulfill an entertainment purpose, but this Master’s thesis is dedicated to a rhetorical analysis of two music videos that fulfill a greater purpose. I studied two music videos that break the music video genre mold because each one is centered on two societal issues that would be distressing to discuss in other contexts. The first artifact I studied is Eminem’s music video for “Stan,” which highlights the issue of idolization and fandom. The research question that guided this analysis is: How can a rhetor utilize music videos to illustrate the consequences of idolization and fandom? The second artifact I studied is Lindsay Lohan’s music video for “Confessions of a Broken Heart (Daughter to Father),” which highlights the issue of domestic abuse. The research question that guided my analysis is: How can a rhetor utilize music videos to illustrate the complexity of domestic abuse? Both artists used their personal experiences with the accompanying issue to craft their unique music video. I used the fantasy theme framework to conduct my analysis over each artifact. In each analysis, I identified the fantasy theme elements (character theme, action theme, setting theme, and rhetorical vision) present in the music video, and then provided specific examples of each element that help support the proposed research question. By utilizing their experiences as the driving force for their music videos, the two artists help make sense of their experiences. Thus, the music videos serve as a form of catharsis for each artist. Furthermore, by openly communicating about these issues, the artists inspire others who may find themselves in similar situations to not be fearful of associated stigmas. The two music videos fulfill purposes greater than entertainment, thus making them worthy of further study

A Direct-Style Effect Notation for Sequential and Parallel Programs

Modeling sequential and parallel composition of effectful computations has been investigated in a variety of languages for a long time. In particular, the popular do-notation provides a lightweight effect embedding for any instance of a monad. Idiom bracket notation, on the other hand, provides an embedding for applicatives. First, while monads force effects to be executed sequentially, ignoring potential for parallelism, applicatives do not support sequential effects. Composing sequential with parallel effects remains an open problem. This is even more of an issue as real programs consist of a combination of both sequential and parallel segments. Second, common notations do not support invoking effects in direct-style, instead forcing a rigid structure upon the code. In this paper, we propose a mixed applicative/monadic notation that retains parallelism where possible, but allows sequentiality where necessary. We leverage a direct-style notation where sequentiality or parallelism is derived from the structure of the code. We provide a mechanisation of our effectful language in Coq and prove that our compilation approach retains the parallelism of the source program

Dynamically typed languages.

Dynamically typed languages such as Python and Ruby have experienced a rapid grown in popularity in recent times. However, there is much confusion as to what makes these languages interesting relative to statically typed languages, and little knowledge of their rich history. In this chapter I explore the general topic of dynamically typed languages, how they differ from statically typed languages, their history, and their defining features