Searching for authors named "Diomidis Spinellis" – sorted by Relevance.
78 documents found, showing 1 through 10.
Next 10 →
-
The Design and Implementation of a Two Process Prolog Debugger
- …A Prolog debugger running in the same process as the debugged program presents some problems. In many environments the debugger and the debugged process are separate. We examine how this separation is commonly implemented and present a system abstraction based on a set of primitives for accessing a…
- Add To MetaCart
-
A Modest Proposal for Curing the Public Field Phobia
- …Field accessor methods have become a ubiquitous feature of object-oriented programming. The definition and use of such methods promote code bloat and an unnatural expression style. We propose a simple addition to the C++ language that can move the burden of providing abstraction support for fields f…
- Add To MetaCart
-
Declarative Peephole Optimization Using String Pattern Matching
- …Peephole optimisation as a last step of a compilation sequence capitalises on significant opportunities for removing low level code slackness left over by the code generation process. We have designed a peephole optimiser that operates using a declarative specification of the optimisations to be per…
- Cited by 3 (0 self) – Add To MetaCart
-
A Critique of the Windows Application Programming Interface
- …The architecture, interface, and functionality of the Windows Application Programming Interface (API) make it difficult to master and use effectively, and contribute negatively to the safety, robustness, and portability of the applications developed under it. The API is structured around a large and…
- Cited by 7 (2 self) – Add To MetaCart
-
Wux: Unix Tools under Windows
- …Wux is a port of Unix tools to the Microsoft Windows environment. It is based on a library providing a Unix-compatible set of system calls on top of Windows. Unix-derived tools run in parallel, communicating using the Unix pipe abstraction. All processes are run within an application template that g…
- Cited by 1 (1 self) – Add To MetaCart
-
An Implementation of the Haskell Language
- …This report describes the design and implementation of HASKELL system. The areas implemented are the lexical analysis, parsing, intepretation of the lambda tree, and machine code generation. Because of the size, complexity and novelty of the language many of these areas present particular difficulty…
- Cited by 1 (1 self) – Add To MetaCart
-
Type-safe Linkage for Variables and Functions
- …In a separate compilation environment type checks across modules are difficult to implement, because the natural place to perform them, the linker, is rarely under the control of the compiler developer. A solution to this problem, presented in the C++ Reference Manual, does not cope with global v…
- Cited by 1 (1 self) – Add To MetaCart
-
Checking C Declarations at Link Time
- …In a separate compilation environment type checks across source files are difficult to implement, because the natural place to perform them, the linker, is rarely under the control of the compiler developer. This is typically handled either by programs that perform a global declaration and use c…
- Cited by 1 (1 self) – Add To MetaCart
-
The Decay and Failures of Web References
- …this article is to examine, quantify, and characterize the quantity and quality of Web links used in computing literature. Our aim is to provide definitive information related to the availability of URL references as a function of their age, their domain, the depth of the path used, as well as …
- Cited by 24 (1 self) – Add To MetaCart
-
Global Analysis and Transformations in Preprocessed Languages
- …Tool support for refactoring code written in mainstream languages such as C and C is currently lacking due to the complexity introduced by the mandatory preprocessing phase that forms part of the C/C compilation cycle. The defintion and use of macros complicates the notions of scope and of identifie…
- Cited by 7 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
