bluuebunny/crossref_metadata_2025_split huggingface dataset:
A decision procedure for subset constraints over regular languages
Authors: Hooimeijer Pieter , Weimer Westley 
Published: June 2009

Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings, and are often manipulated using high-level string operations such as equality checks, regular expression matching, and string concatenation. It is difficult to reason about these operations because they are not well-integrated into current constraint solvers.
We present a decision procedure that solves systems of equations over regular language variables. Given such a system of constraints, our algorithm finds satisfying assignments for the variables in the system. We define this problem formally and render a mechanized correctness proof of the core of the algorithm. We evaluate its scalability and practical utility by applying it to the problem of automatically finding inputs that cause SQL injection vulnerabilities.
Implementation of the memory-safe full ANSI-C compiler
Authors: Oiwa Yutaka 
Published: June 2009

This paper describes a completely memory-safe compiler for C language programs that is fully compatible with the ANSI C specification.
Programs written in C often suffer from nasty errors due to dangling pointers and buffer overflow. Such errors in Internet server programs are often exploited by malicious attackers to crack an entire system. The origin of these errors is usually corruption of in-memory data structures caused by out-of-bound array accesses. Usual C compilers do not provide any protection against such out-of-bound access, although many other languages such as Java and ML do provide such protection. There have been several proposals for preventing such memory corruption from various aspects: runtime buffer overrun detectors, designs for new C-like languages, and compilers for (subsets of) the C language. However, as far as we know, none of them have achieved full memory protection and full compatibility with the C language specification at the same time.

We propose the most powerful solution to this problem ever presented. We have developed
Fail-Safe C
, a memory-safe implementation of the full ANSI C language. It detects and disallows all unsafe operations, yet conforms to the full ANSI C standard (including casts and unions). This paper introduces several techniques--both compile-time and runtime--to reduce the overhead of runtime checks, while still maintaining 100% memory safety. This compiler lets programmers easily make their programs safe without heavy rewriting or porting of their code. It also supports many of the "dirty tricks" commonly used in many existing C programs, which do not strictly conform to the standard specification. In this paper, we demonstrate several real-world server programs that can be processed by our compiler and present technical details and benchmark results for it.
Sharing classes between families
Authors: Qi Xin , Myers Andrew C. 
Published: June 2009

Class sharing is a new language mechanism for building extensible software systems. Recent work has separately explored two different kinds of extensibility: first, family inheritance, in which an entire family of related classes can be inherited, and second, adaptation, in which existing objects are extended in place with new behavior and state. Class sharing integrates these two kinds of extensibility mechanisms. With little programmer effort, objects of one family can be used as members of another, while preserving relationships among objects. Therefore, a family of classes can be adapted in place with new functionality spanning multiple classes. Object graphs can evolve from one family to another, adding or removing functionality even at run time.
Several new mechanisms support this flexibility while ensuring type safety. Class sharing has been implemented as an extension to Java, and its utility for evolving and extending software is demonstrated with realistic systems.
An integrated proof language for imperative programs
Authors: Zee Karen , Kuncak Viktor , Rinard Martin C. 
Published: June 2009

We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs. The language operates in the context of a program verification system that uses multiple reasoning systems to discharge generated proof obligations. It is designed to 1) enable developers to resolve key choice points in complex program correctness proofs, thereby enabling automated reasoning systems to successfully prove the desired correctness properties; 2) allow developers to identify key lemmas for the reasoning systems to prove, thereby guiding the reasoning systems to find an effective proof decomposition; 3) enable multiple reasoning systems to work together productively to prove a single correctness property by providing a mechanism that developers can use to divide the property into lemmas, each of which is suitable for a different reasoning system; and 4) enable developers to identify specific lemmas that the reasoning systems should use when attempting to prove other lemmas or correctness properties, thereby appropriately confining the search space so that the reasoning systems can find a proof in an acceptable amount of time.
The language includes a rich set of declarative proof constructs that enables developers to direct the reasoning systems as little or as much as they desire. Because the declarative proof statements are embedded into the program as specialized comments, they also serve as verified documentation and are a natural extension of the assertion mechanism found in most program verification systems.
We have implemented our integrated proof language in the context of a program verification system for Java and used the resulting system to verify a collection of linked data structure implementations. Our experience indicates that our proof language makes it possible to successfully prove complex program correctness properties that are otherwise beyond the reach of automated reasoning systems.
Automatic generation of library bindings using static analysis
Authors: Ravitch Tristan , Jackson Steve , Aderhold Eric , Liblit Ben 
Published: June 2009

High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, time-tested, meritorious code that are impractical to recreate from scratch. Cross-language bindings can expose low-level C code to high-level languages. Unfortunately, writing bindings by hand is tedious and error-prone, while mainstream binding generators require extensive manual annotation or fail to offer the language features that users of modern languages have come to expect.
We present an improved binding-generation strategy based on static analysis of unannotated library source code. We characterize three high-level idioms that are not uniquely expressible in C's low-level type system: array parameters, resource managers, and multiple return values. We describe a suite of interprocedural analyses that recover this high-level information, and we show how the results can be used in a binding generator for the Python programming language. In experiments with four large C libraries, we find that our approach avoids the mistakes characteristic of hand-written bindings while offering a level of Python integration unmatched by prior automated approaches. Among the thousands of functions in the public interfaces of these libraries, roughly 40% exhibit the behaviors detected by our static analyses.
Gilgamesh the Giant: The Qumran Book of Giants' Appropriation of Gilgamesh Motifs
Authors: Goff Matthew 
Published: June 2009

AbstractThe Qumran Book of Giants shows familiarity with lore from the classic Mesopotamian Epic of Gilgamesh. It has been proposed that the author of the Book of Giants drew from the epic in order to polemicize against it. There is much to commend this view. The name of the hero of the tale is given to one of the murderous, wicked giants of the primordial age. Examination of fragments of the Book of Giants, in particular 4Q530 2 ii and 4Q531 22, however, suggests that key aspects of its portrayal of Gilgamesh the giant cannot be explained as polemic against Mesopotamian literary traditions. The Book of Giants creatively appropriates motifs from the epic and makes Gilgamesh a character in his own right in ways that often have little to do with Gilgamesh.
Qumran Pesharim and the Pentateuch: Explicit Citation, Overt Typologies, and Implicit Interpretive Traditions
Authors: Tzoref Shani 
Published: June 2009

AbstractQumran pesher is characterized as contemporizing exegesis of poetic/prophetic biblical texts. Previous research has focused upon pesher exegesis of works which later canonical tradition designates as "Latter Prophets" and of the book of Psalms, the dominant base-texts in pesharim. The current study surveys the use of the Pentateuch in Qumran pesher, examining instances of explicit citation, overt Pentateuchal typology, and implicit interpretive traditions. The most noteworthy attributes that emerge are the prominence of Deuteronomy and a strong reliance upon pre-existing exegetical traditions.
On the Content of Banking in Contemporary Capitalism
Authors: dos Santos Paulo 
Published: June 2009

AbstractThis paper considers the character and social content of banking in contemporary capitalism. Based on a survey of the operations of nine leading international banks, it documents the marked differences between contemporary banking and the traditional business of taking, making loans to enterprises, and making profits from the difference in interest-rates between them. Notably, the operations of the world's top banking organisations are shown to centre on various forms of credit to individual wage-earners and on mediating access to financial markets by corporations and, increasingly, individuals. In order to characterise the social content of such activities, the paper seeks to apply, and where necessary extend, existing Marxist analyses of banking, capital-markets, and their relationship to capitalist accumulation. This includes advancing a number of elements of a distinctive Marxist interpretation of capital-market operations to theorise financial-market mediation-relations between banks, corporations, and the mass of retail-savers. The analysis pursued helps identify the distinctive and exploitative content of the relations banks maintain with ordinary wage-earners through consumer- and mortgage-lending, as well as through the provision of pension-related saving services.
The Ambivalence of Gewalt in Marx and Engels: On Balibar's Interpretation
Authors: Basso Luca 
Published: June 2009

AbstractThis article is a reflection on Balibar's account of the concept of Gewalt in Marx, Engels and Marxism. The German term contains both the meanings of power and violence. At the centre of the analysis is the structural link between the notion of Gewalt and the capitalist mode of production and state-form. The problem is whether Gewalt can be understood in relation to the actions of the working class. Balibar rightly refuses any sort of counter-politics of power set against the power of the state which would retain the same overall logic as the latter. However, the question is how such a critique of the ahistorical ontology of violence can interact with Marx's idea of capital as a constitutively violent entity which threatens to subordinate to itself any stance of non-violence.
Homo Juridicus: On the Anthropological Function of the Law
Authors: Knox Robert 
Published: June 2009

AbstractIn Homo Juridicus, Alain Supiot argues that law has an 'anthropological' function – constituting people as rational beings by linking together their biological and symbolic dimensions. The law also serves a 'dogmatic function', embodying Western values and serving as a bar to totalitarian scientism and tempering the excesses of technology in the workplace. However, the anthropological function of the law has been undermined by the advance of science and economics and widespread privatisation, contractualisation and deregulation. This article contests Supiot's claims, especially as regards Marxism, counterposing his position to that of Bolshevik legal theorist Evgeny Pashukanis. Pashukanis's insights into the relationship between law and capitalism are used to re-frame Supiot's argument and to undermine his contention that globalisation is inimical to law. Pashukanis is also invoked to contest the claims that the anthropological function of the law is the only alternative to totalitarianism and that law serves to 'humanise' technology.
Editorial Introduction to the Symposium on the Global Financial Crisis
Authors: Ashman Sam 
Published: June 2009

AbstractThe current global economic crisis is historically unprecedented in that it began when poor groups in the United States defaulted on their mortgage-payments and spread fear of 'toxic debt' through an internationalised financial system, bringing the banking system close to collapse and highlighting the very individualised nature of contemporary financial relations. The symposium explores contemporary finance and banking practices in the context of Marxist political economy seeking to develop the notion of financialisation and arguing that banks' increasing reliance on individual households as a source of profits amounts to a form of financial expropriation or additional profit generated in the sphere of circulation.
A Preliminary Report on Defenses and Conflicts Associated with Borderline Personality Disorder
Authors: Perry J. Christopher , Cooper Steven H. 
Published: June 2009

The authors present preliminary psychodynamic findings from a naturalistic study of borderline personality disorder compared to antisocial personality disorder and bipolar type II (depression with hypomania) affective disorder. An independent psychodynamic interview of each subject was videotaped, from which ratings were made of the presence of 22 defense mechanisms and 11 psychodynamic conflicts. A factor analysis of ratings from 81 subjects supported the separation of borderline (splitting, projective identification) from narcissistic defenses (devaluation, omnipotence, idealization, mood-incongruent denial). While certain groups of defenses were associated with each diagnosis, defense ratings did not significantly discriminate the three diagnostic groups, suggesting a limit to their diagnostic value. Among 27 subjects rated, borderline personality was strongly associated with two conflicts: separation-abandonment, and a global conflict over the experience and expression of emotional needs and anger. Antisocial personality was psychodynamically distinct and more heterogeneous. Bipolar type II was associated with two hypothesized depressive conflicts: dominant other and dominant goal. Chronic depression, which was more common in both personality disorder groups than in bipolar type II, was associated with a third depressive conflict, overall gratification inhibition. Overall, conflicts were powerful discriminators of the three diagnostic groups. The heuristic value of these findings is discussed.
The Fundamental Rule: A Study of Current Usage
Authors: Lichtenberg Joseph D. , Galler Floyd B. 
Published: June 2009

Members of the editorial boards of the Journal of the American Psychoanalytic Association, Psychoanalytic Quarterly, and Psychoanalytic Inquiry, plus selected analysts from Canada, France, and England, were asked how they presented the fundamental rule to their analysands and what considerations led to their choice of initial guidelines. Forty-nine of eighty-three analysts responded to the survey. The respondents described diversity in phrasing of the fundamental rule, the time in analysis when the guidelines are given, and the reasons for the practice they follow. The method each appears to reflect the differing conceptions analysts have analytic process. Two major trends emerged: either our respondents emphasized delineating a work or functional framework or contract, or they emphasized establishing an altitude or spirit of cooperation, mutuality and work sharing. In each group respondents differed as to whether they favored minimal or more lengthy instructions. They also differed as to whether they followed a consistent approach or one tailored to the needs of the individual analysand. A source of tension lay in an inclination either to remain in the tradition set by Freud or to experiment with different phrasings and timings. The authors give their reasons for choosing to give explicit instructions, requesting associational material beyond thoughts and feelings, and describing resistance as inevitable and a potential source of insight.
Countertransference During an Analyst's Brief Illness
Authors: Dam Heiman van 
Published: June 2009

This paper describes an example of acting out of countertransference during a brief but unexpected serious illness. My emphasis is on the regression that occurred with hospitalization and how it dovetailed with a particular patients transference. A confluence of my residual neurosis, the patient's neurosis, her transference state, her other characteristics (that she was female, for example), plus the fact that she was the last patient contacted, all conspired with the regression from the trauma of being hospitalized to produce the countertransference reaction. This presentation is also intended to add to the very sparse literature on a distasteful subject of supreme importance.
Writing about Psychoanalysis: I. Analysts Who Write and Those Who Do Not
Authors: Stein Martin H. 
Published: June 2009

This study of analysts' writing consists of two parts. In the following paper, I describe the difficulties facing the practicing analyst who wishes to lecture and publish his findings and ideas, whether or not he intends to cite clinical examples. I make some suggestions directed toward overcoming those (largely internal) obstacles. In a second paper, I shall discuss a special problem, concern over how our lecturing or publishing affects the analytic progress of our patients, especially with respect to analysis of the transference. “No man but a blockhead ever wrote except for money”—Boswell, Life of Johnson
Kernberg and Kohut: A Test of Competing Psychoanalytic Models of Narcissism
Authors: Glassman Marg 
Published: June 2009

Over the past ten years the problem of validating psychoanalytic theory has received increasing attention from psychoanalysts and nonpsychoanalysis alike. Yet, very little research responsive to this question of validation has been produced. During this same period one of the most fertile controversies in contemporary psychoanalysis reached its peak–the Kemberg-Kohul debate concerning the nature of narcissism. However, for the lack of a validation strategy, this debate has become increasingly sterile, degenerating to a theoretical stalemate at this point. This paper addresses the problem of validation by using causal modeling as a mechanism for empirically testing many of the claims of these competing models of narcissism. Although the data provide empirical support for both theories, strategic comparisons tentatively suggest that Kohut's self psychology is more parsimoniously explained as a special case of Kernberg's ego psychology-object relations theory.
Pseudostupidity and Analyzability
Authors: Cohn Lawrence S. 
Published: June 2009

This paper, in an earlier form, received the Casuso Essay Award of the Florida Psychoanalytic Society in 1984. Accepted for publication March 10, 1987. The author thanks Drs. Floyd Rosen, Joseph Lichtenberg, Alan Zients, Gene Gordon, Robert Gillman, Stanley Needell, and also Mmes. Penny Freed-man and Lynn Siegel for their assistance. This paper seeks to heighten awareness of pseudostupidity and the potential analyzability of patients who manifest it by defining and explicating it, reviewing the literature, and presenting in detail the psychoanalytic treatment of a pseudostupid patient. Pseudostupidity is caused by an inhibition of the integration and synthesis of thoughts resulting in a discrepancy between intellectual capacity and apparent intellect. The patient's pseudostupidity was determined in part by his need to prevent his being more successful than father, i.e., defeating his oedipal rival. Knowing and learning were instinctualized. The patient libidinally and defensively identified with father's passive, masochistic position. He needed to frustrate the analyst as he had felt excited and frustrated by his parents' nudity and thwarted by his inhibitions. He wanted to cause the analyst to feel as helpless as he, the patient, felt. Countertransference frustration was relevant and clinically useful in the analysis. Interpretation of evolving relevant issues led to more anxiety and guilt, less pseudostupidity, a heightened alliance, and eventual working through. Negative therapeutic reactions followed the resolution of pseudostupidity.
On A Type of Heterosexuality, and the Fluidity of Object Relations
Authors: Hershey David W. 
Published: June 2009

This paper delineates a form of heterosexuality whose underlying psychological structure resembles that of perversions. It is characterized by: idealization of instinctual processes, whereby the ego subordinates the object to the actualization of the instinctual event itself; heightened narcissism in an otherwise neurotic ego organization; multiple intrapsychic uses of the object; a special kind of defensive organization; an experienced victory over the superego and associated elevation of certain aspects of the ego ideal; and a resultant alteration in the nature of close interpersonal relationships. I use clinical vignettes from both male and female patients in psychoanalysis to focus on the phenomena in question. The thinking of Chassequet-Smirgel, Freud, Khan, Rangell, Socarides, and others is used in an attempt to gain an encompassing perspective. It is emphasized that patients demonstrating this form of heterosexuality do not possess a perversion per se, but demonstrate a character neurosis which integrates certain perverse mechanisms into its defensive organization. These mechanisms can be isolated and studied in psychoanalytic treatment, with the potential for illuminating their defensive and mood-regulating functions, and eventual working through and resolution of the intrapsychic conflicts underlying them. Some comments on the implications of this form of sexuality for our contemporary culture are included.
On Patients' Disclosure of Parents' and Siblings' Names During Treatment
Authors: Waugaman Richard M. 
Published: June 2009

The patient's spontaneous disclosure of a parent's name is frequently associated with appearance of core conflicts, especially genetic and transference themes of incest, other oedipal derivatives, and separation anxiety. Using a parent's first name has the unconscious implication of incest, since one is doing something which one's other parent but not oneself is allowed to do. In some primitive cultures, saying aloud the names of one's parents was strictly forbidden. Disclosing a parent's name to the analyst may parallel the developmental step during childhood when the patient learned the parent had a first name. The child's acquisition of language, including proper names, fosters object constancy and the internalization of the parents, from whom language is learned. For patients who do not usually refer to a sibling by name, disclosure of the sibling's name may also reflect the concurrent emergence of central conflicts. In particular, such disclosure may accompany associations about an earlier closeness with the sibling giving way to subsequent estrangement. Naming the sibling may also mark an intensification of a sibling transference to the analyst.