Journal of Programming Languages 

About: Journal of Programming Languages is an academic journal. The journal publishes majorly in the area(s): Politics & Human rights. It has an ISSN identifier of 0963-9306. Over the lifetime, 974 publications have been published receiving 5299 citations.

A survey of program slicing techniques.

Abstract: A program slice consists of the parts of a program that (potentially) affect the values computed at some point of interest. Such a point of interest is referred to as a slicing criterion, and is typically specified by a location in the program in combination with a subset of the program’s variables. The task of computing program slices is called program slicing. The original definition of a program slice was presented by Weiser in 1979. Since then, various slightly different notions of program slices have been proposed, as well as a number of methods to compute them. An important distinction is that between a static and a dynamic slice. Static slices are computed without making assumptions regarding a program’s input, whereas the computation of dynamic slices relies on a specific test case. This survey presents an overview of program slicing, including the various general approaches used to compute slices, as well as the specific techniques used to address a variety of language features such as procedures, unstructured control flow, composite data types and pointers, and concurrency. Static and dynamic slicing methods for each of these features are compared and classified in terms of their accuracy and efficiency. Moreover, the possibilities for combining solutions for different features are investigated. Recent work on the use of compiler-optimization and symbolic execution techniques for obtaining more accurate slices is discussed. The paper concludes with an overview of the applications of program slicing, which include debugging, program integration, dataflow testing, and software maintenance.

Private Parties and the Annulment Procedure: Can the Gap in the European System of Judicial Protection Be Closed?

Abstract: The restrictions imposed on the possibility for an individual to challenge European law measures and the restrictive interpretation of the notion of ‘individual concern’ given by the European Court of Justice have been highly criticised by legal scholars and members of the European judiciary as being against the principle of effective judicial protection. This paper shows how the restrictive interpretation of the notion of ‘individual concern’ developed in the case law of the European Court of Justice. Furthermore, the paper discusses possible improvements to the current system of judicial protection, such as the possibility to introduce a fundamental rights complaint procedure and the obligation of Member States to provide for effective judicial remedies before national courts. Finally, the impact of the modifications made by the Lisbon Treaty to the annulment procedure is assessed.

Observation model and parameter partials for the JPL VLBI parameter estimation software MODEST/1991

Abstract: This report is a revision of the document Observation Model and Parameter Partials for the JPL VLBI Parameter Estimation Software 'MODEST'---1991, dated August 1, 1991. It supersedes that document and its four previous versions (1983, 1985, 1986, and 1987). A number of aspects of the very long baseline interferometry (VLBI) model were improved from 1991 to 1994. Treatment of tidal effects is extended to model the effects of ocean tides on universal time and polar motion (UTPM), including a default model for nearly diurnal and semidiurnal ocean tidal UTPM variations, and partial derivatives for all (solid and ocean) tidal UTPM amplitudes. The time-honored 'K(sub 1) correction' for solid earth tides has been extended to include analogous frequency-dependent response of five tidal components. Partials of ocean loading amplitudes are now supplied. The Zhu-Mathews-Oceans-Anisotropy (ZMOA) 1990-2 and Kinoshita-Souchay models of nutation are now two of the modeling choices to replace the increasingly inadequate 1980 International Astronomical Union (IAU) nutation series. A rudimentary model of antenna thermal expansion is provided. Two more troposphere mapping functions have been added to the repertoire. Finally, corrections among VLBI observations via the model of Treuhaft and lanyi improve modeling of the dynamic troposphere. A number of minor misprints in Rev. 4 have been corrected.