researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: SIGPLAN Notices
Home
Index
Info
Volume
Volume
32
, Issue
9
15
--
37
Thomas J. Bergin
.
HOPL-II - Closing Panel: The History of Programming: Does our Present Past Have a Future?
39
--
46
Wei Li
,
Gansheng Li
.
Making C++ Concurrent and Real-time
47
--
53
Fatma Z. Mansouri
,
Colin A. Higgins
.
Prolog: An Annotated Bibliography
54
--
56
Rommert J. Casimir
.
Basic Forever
57
--
60
Lu Pei
,
Dachuan Yu
,
Jian Lu
.
A Method for Modifying Dynamically Classes in the Object-Oriented Dynamic Programming Environment
61
--
67
Jianhua Zhao
,
Chen Jiajun
,
Guoliang Zheng
.
Message Conversion and A New Type System for OO Model
68
--
71
Zongyan Qiu
.
Static Head Nodes in the Operations on Dynamic Structures - An useful programming technique
Volume
32
, Issue
6
14
--
18
Asokan R. Selvaraj
,
Debasish Ghosh
.
Implementation of a Database Factory (C++ Toolbox)
19
--
22
Paul Frenger
.
Robot Control Techniques, Part Two: Forth as a Robotics Languags
23
--
27
Henry G. Baker
.
COMFY - A Comfortable Set of Control Primitives for Machine Language Programming
28
--
32
Fintan Culwin
.
A Report on the Java in the Computing Curriculum Conference held at South Bank University, London, on 4th February 1997
34
--
39
Debbie K. Carter
,
Albert D. Baker
.
Considerations in Developing a Formally-Based Visual Programming Language Reference Manual: A Case Study on the SLAM II Language
40
--
44
Jeffrey S. Vetter
.
Computational Steering Annoted Bibliography
45
--
52
Myung Ho Kim
.
A Functional Approach to Type Constraints of Generic Definitions
53
--
60
Naixiao Zhang
,
Hongjun Zheng
,
Zongyan Qiu
.
Garment: A Mechanism for Abstraction and Encapsulation of Languages
61
--
68
Wen-Ke Chen
,
Jia-Su Sun
,
Zhi-Min Tang
.
Consummating Virtuality to Support More Polymorphism in C++
69
--
74
Ralph Frisbie
,
Richard Hendrickson
,
Michael Metcalf
.
The F Programming Language
75
--
82
Franco Zambonelli
.
How to Achieve Modularity in Distributed Object Allocation
Volume
32
, Issue
4
16
--
18
Roy Rada
,
James Schoening
.
IEEE Efforts Towards Standards in Educational Technology
19
--
21
Preston Briggs
.
Predicting the Performance of Parallel Machines
22
--
26
Henry G. Baker
.
I Have a Feeling We re Not in Emerald City Anymore
27
--
31
Paul Frenger
.
Robot Control Techniques, Part One: A Review of Robotics Languages
32
--
35
James P. Kelleghan
.
Monitoring Remote Sensing Devices in C++
37
--
46
Chris Zimmermann
.
A Note on Before and After Metamethods
47
--
54
Charles Rapin
.
Block Structured Object Programming
Volume
32
, Issue
3
27
--
31
Henry G. Baker
.
When Bad Programs Happen to Good People
33
--
37
Bruce J. MacLennan
.
Who Cares About Elegance? The Role of Aesthetics in Programming Language Design
38
--
41
Jürgen F. H. Winkler
,
Stefan Kauer
.
Proving Assertions is Also Useful
42
--
49
Ilyas Cicekli
.
An Intelligent Backtracking Schema in A Logic Programming Environment
50
--
56
Chen Jiajun
,
Guoliang Zheng
.
NDC++: An Approach to Concurrent Extension of C++
57
--
64
Dennis Verschaeren
,
Annie A. M. Cuyt
,
Brigitte Verdonk
.
On the Need for Predictable Floating-Point Arithmetic in the Programming Languages Fortran 90 and C/C++
Volume
32
, Issue
2
16
--
19
Knut Alfredsen
,
Bjørn Sæther
.
An Object Oriented Framework for Creating Models in Hydrology
20
--
21
Ron Cytron
.
Book Nook: Compiler Contruction by Niklaus Wirth
22
--
25
Reuben R. Thomas
.
An Introduction to the Beetle Forth Virtual Processor
27
--
34
Yongqiang Sun
,
Kai Lin
,
Li Shen
.
The Design and Implementation of a Program Development System Based on Rewriting Method
35
--
38
Lem O. Ejiogu
.
On Dimishing the Vibrant Confusion In Software Metrics
39
--
44
Martin Ruckert
.
Conservative Pretty Printing
45
--
53
G. Deshpande
,
T. Troy Pearse
,
Paul W. Oman
.
Software Portability Annotated Bibliography
54
--
61
Mark G. J. van den Brand
,
Paul Klint
,
Chris Verhoef
.
Re-engineering Needs Generic Programming Language Technology
Volume
32
, Issue
11
15
--
16
Frank Mueller
.
The 3rd ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems (Workshop Report)
17
--
20
Conrad Weisert
.
Point-Extent Pattern for Dimensional Numeric Classes (C++ Toolbox)
21
--
24
Paul Frenger
.
Venturing Forth With a Flashlite
25
--
30
Henry G. Baker
.
The COMFY 6502 Compiler
31
--
32
H. S. M. Kruijer
.
The Search for Simplicity - Essays in Parallel Programming by Per Brinch Hansen
34
--
48
Cornelis Pronk
,
Martin Schönhacker
,
Richard J. Sutcliffe
,
A. Wiedemann
.
Standardized Extensions to Modula-2
49
--
56
Yasusi Kanada
.
Web Pages that Reproduce Themselves by JavaScript
57
--
64
Zhang Jiazhong
,
Wang Yanbing
,
Zheng Mingchun
.
Design and Static Semantics of Algorithm Language L
Volume
32
, Issue
1
14
--
57
Peter Trott
.
Programming Languages: Past, Present, and Future
59
--
65
Chris Hankin
,
Hanne Riis Nielson
,
Jens Palsberg
.
Position Statements on Strategic Directions for Research on Programming Languages
66
--
68
Luca Cardelli
.
Global Computation
69
--
72
Charles Consel
.
Program Adaption based on Program Transformation
73
--
76
Patrick Cousot
.
Program Analysis: The Abstract Interpretation Perspective
77
--
79
Michael Hanus
.
Integration of Declarative Paradigms: Benefits and Challenges
80
--
85
Robert Harper
,
John C. Mitchell
.
ML and Beyond
86
--
88
Daniel Le Métayer
.
Program Analysis for Software Engineering: New Applications, New Requirements, New Tools
89
--
91
Flemming Nielson
.
Perspectives on Program Analysis
92
--
93
Martin Odersky
.
Challenges in Type Systems Research
94
--
97
Robert Paige
.
Future Directions In Program Transformations
99
--
102
Alberto Pettorossi
,
Maurizio Proietti
.
Future Directions in Program Transformation
103
--
105
John C. Reynolds
.
Beyond ML
106
--
109
Jon G. Riecke
.
Program Language Semantics: The Description of Computational Structures
110
--
114
Barbara G. Ryder
.
A Position Paper on Compile-time Program Analysis
115
--
116
David A. Schmidt
.
On the Need for a Popular Formal Semantics
117
--
119
Dennis M. Volpano
.
Provably-Secure Programming Languages for Remote Evaluation
120
--
121
Reinhard Wilhelm
.
Program Analysis: A Toolmaker s Perspective