Last update:
Thu Jul 14 18:35:08 MDT 2005
A. Tucker Very high-level language design: a
viewpoint . . . . . . . . . . . . . . . 3--16
R. E. Merwin and
F. R. Broca Direct microprogrammed execution of the
intermediate text from a high-level
language compiler . . . . . . . . . . . 17--28
J. E. Sullivan Extending PL/1 for structured
programming . . . . . . . . . . . . . . 29--43
I. Flores and
P. Kaminsky and
D. Ryan List and execute forms of macros . . . . 45--60
S. L. Stewart STAPLE, an experimental structured
programming language . . . . . . . . . . 61--71
W. M. McKeeman Mechanizing bankers' morality . . . . . 73--82
R. S. Ledley and
J. B. Wilson The precise handling of qualitative
relationships . . . . . . . . . . . . . 83--99
A. J. Demers Elimination of single productions and
merging nonterminal symbols of LR(1)
grammars . . . . . . . . . . . . . . . . 105--119
G. Kampen and
J. L. Baer The formal definition of semantics by
string automata . . . . . . . . . . . . 121--138
I. Flores and
M. Feuerman Source statement libraries and IBM
System/370 . . . . . . . . . . . . . . . 139--150
C. A. R. Hoare Parallel programming: an axiomatic
approach . . . . . . . . . . . . . . . . 151--160
J. T. Schwartz Optimization of very high level
languages-value transmission and its
corollaries . . . . . . . . . . . . . . 161--194
J. T. Schwartz Optimisation of very high level
languages. II. Deducing relationships of
inclusion and membership . . . . . . . . 197--218
A. K. Chandra and
Z. Manna On the power of programming features . . 219--232
O. P. Sharma Syntax optimisation for and parsing of
patterns . . . . . . . . . . . . . . . . 233--253
V. R. Basili A structured approach to language design 255--273
B. Knobe and
G. Yuval Some steps towards a better PASCAL . . . 277--286
S. K. Abdali A lambda-calculus model of programming
languages. I. Simple constructs . . . . 287--301
S. K. Abdali A lambda-calculus model of programming
languages. II. Jumps and procedures . . 303--320
J. Earley High level iterators and a method for
automatically designing data structure
representation . . . . . . . . . . . . . 321--342
J. C. Bays An animation description language . . . 1--8
R. G. Herriot Structured syntax diagrams . . . . . . . 9--19
J. T. Schwartz What programmers should know . . . . . . 21--25
H. K. Huang and
R. S. Ledley and
P. Johnson DILOG-digitaled intelligence logic
machine . . . . . . . . . . . . . . . . 27--43
H. J. Saal and
Z. Weiss An empirical study of APL programs . . . 47--59
D. J. McLeod High level definition of abstract
domains in a relational data base system 61--73
G. E. Newton and
J. Denbigh Starkey SESPOOL, a language for systems
programming . . . . . . . . . . . . . . 75--91
N. Gehani Units of measure as a data attribute . . 93--111
J. E. White Elements of a distributed programming
system . . . . . . . . . . . . . . . . . 117--134
D. M. Berry and
Z. Erlich and
C. J. Lucena Pointers and data abstractions in high
level languages. I. Language proposals 135--148
D. M. Berry Pointers and data abstractions in high
level languages. II. Correctness proofs 149--170
A. L. Tharp A comparison of COBOL, FORTRAN, PL-I and
SPITBOL . . . . . . . . . . . . . . . . 171--178
C. Wetherell Why automatic error correctors fail . . 179--186
Norman D. Peterson Elements of Style Among
Machine-Generated Cobol Flowcharts . . . 1--11
F. G. Pagan Formal Semantics of a Snobol4 Subset . . 13--30
Daniel P. Friedman and
David S. Wise Functional Combination . . . . . . . . . 31--35
A. C. Fleck Recent Developments in the Theory of
Data Structures . . . . . . . . . . . . 37--52
Tsyh-Wen Pao and
W. Carr, III A solution of the syntactical
induction-inference problem for regular
languages . . . . . . . . . . . . . . . 53--64
P. B. Barroso and
A. L. Furtado Implementing a Data Definition Facility
Driven by Graph Grammars . . . . . . . . 65--74
Richard L. Schwartz Parallel Compilation: a Design and its
Application to Simula 67 . . . . . . . . 75--94
Ivan Flores Making Macrospace Effective . . . . . . 95--113
Henry S. Warren, Jr. Three Simple Node List Algorithms . . . 115--126
Glenn K. Manacher Improved Version of the
Cocke-Younger-Kasami Algorithm . . . . . 127--133
Lawrence Yelowitz and
Arthur G. Duncan Data Structures and Program Correctness:
Bridging the Gap . . . . . . . . . . . . 135--142
Milos Konopasek and
Christos Papaconstadopoulos Question Answering System on
Mathematical Models (QAS): Description
of the Language . . . . . . . . . . . . 145--155
Sergio E. R. Carvalho Proposal for a Generalized ``For''
Statement . . . . . . . . . . . . . . . 157--162
Ken Kennedy Use-Definition Chains with Applications 163--179
David R. Hanson Data Structures in SL5 . . . . . . . . . 181--192
Wolfgang Bachmann and
Herward Schwarze Solmar --- a Computer Language for
Utilizing Sonar Models . . . . . . . . . 193--201
A. T. Cohen Structured flowcharts for
multiprocessing . . . . . . . . . . . . 209--226
G. David Ripley and
Frederick C. Druseikis A statistical analysis of syntax errors 227--240
Mitchell Wand and
Daniel P. Friedman Compiling Lambda-Expressions Using
Continuations and Factorizations . . . . 241--263
S. H. Joseloff Copyright protection for computer
programs and other computer readable
works . . . . . . . . . . . . . . . . . 265--266
A. Toni Choen and
Leon S. Levy Structured Flowcharts for
Multiprocessing . . . . . . . . . . . . 209--226
Richard L. Schwartz and
Daniel M. Berry A semantic view of ALGOL 68 . . . . . . 1--15
Hiroyasu Nagata EQL: a Language for Numerical
Computation . . . . . . . . . . . . . . 17--27
William E. Riddle An Approach to Software System Behavior
Description . . . . . . . . . . . . . . 29--47
William E. Riddle An approach to software system modelling
and analysis . . . . . . . . . . . . . . 49--66
Charles Crowley Parallel Developments in Programming
Languages and Operating Systems . . . . 71--82
S. M. Chou and
K. S. Fu Inference for Transition Network
Grammars . . . . . . . . . . . . . . . . 83--92
Narain Gehani High Level Data Structure --- the Grid 93--98
John Spragins Approximate Techniques for Modeling the
Performance of Complex Systems . . . . . 99--129
Kuo Chung Tai Constant Folding Within an Expression by
Semantic Attributes . . . . . . . . . . 131--137
Gerd Schiffner and
Peter Scheuermann Multiple Views and Abstractions with an
Extended-Entity-Relationship Model . . . 139--154
Anthony I. Wasserman Testing and Verification Aspects of
Pascal-Like Languages . . . . . . . . . 155--169
Frank G. Pagan Semantic Specification Using Two-Level
Grammars: Blocks, Procedures and
Parameters . . . . . . . . . . . . . . . 171--185
Hanan Samet Deep and Shallow Binding: the Assignment
Operation . . . . . . . . . . . . . . . 187--198
Robert P. Rich Mechanical Proof Testing . . . . . . . . 1--28
John H. Crawford and
Mehdi Jazayeri New Approach to Code Motion and its
Application to Hoisting . . . . . . . . 29--36
M. H. Williams A formal notation for specifying static
semantic rules . . . . . . . . . . . . . 37--55
Hiroyasu Nagata Formal: a Language with a Macro-Oriented
Extension Facility . . . . . . . . . . . 65--76
D. M. Berry and
R. A. Kemmerer and
S. Yemini and
A. Von Staa Toward modular verifiable exception
handling . . . . . . . . . . . . . . . . 77--101
Augusto Celentano and
Pierluigi Della Vigna and
Carlo Ghezzi and
Dino Mandrioli Simple: a Program Development System . . 103--114
Aspi B. Wadia Generation of Node Lists Using Segment
Analysis . . . . . . . . . . . . . . . . 115--129
C. N. Fischer and
J. Mauney On the Role of Error Productions in
Syntactic Error Correction . . . . . . . 131--139
M. Sharir Structural Analysis: a New Approach to
Flow Analysis in Optimizing Compilers 141--153
Narain Gehani Generic Procedures: an Implementation
and an Undecidability Result . . . . . . 155--161
Richard M. Salter and
Terence J. Brennan and
Daniel P. Friedman Concur: a Language for Continuous,
Concurrent Processes . . . . . . . . . . 163--189
Morgan Howard Williams Methods for Specifying Static Semantics 1--17
Mary T. Lepage and
David T. Barnard and
Andres Rudmik Optimization of Hierarchical Directed
Graphs . . . . . . . . . . . . . . . . . 19--34
Micha Sharir Formal Integration: a Program
Transformation Technique . . . . . . . . 35--46
Gregory J. Chaitin and
Marc A. Auslander and
Ashok K. Chandra and
John Cocke and
Martin E. Hopkins and
Peter W. Markstein Register Allocation via Coloring . . . . 47--57
M. P. Georgeff and
I. Fris and
J. Kautsky Effect of Operators on Parsing and
Evaluation in APL . . . . . . . . . . . 67--78
Mark Scott Johnson Dispel --- a Run-Time Debugging Language 79--94
Augusto Celentano LR Parsing Technique for Extended
Context-Free Grammars . . . . . . . . . 95--107
Augusto Celentano and
Pierluigi Della Vigna Interprocedural Test Path Evaluation . . 115--130
Robert P. Cook Abstractions for Distributed Programming 131--138
Marvin V. Zelkowitz and
James R. Lyle Implementation of Language Enhancements 139--153
Jong Chuang Tsay and
Yu Ming Chang Design and Implementation of a Chinese
Terminal Controller . . . . . . . . . . 155--163
Giuseppina C. Gini and
Maria L. Gini Interactive Development of Object
Handling Programs . . . . . . . . . . . 1--10
D. M. Berry and
C. Ghezzi and
D. Mandrioli and
F. Tisato Language Constructs for Real-Time
Distributed Systems . . . . . . . . . . 11--20
N. H. Gehani Concurrency in Ada and Multicomputers 21--23
Harold Thimbleby A text editing interface: definition and
use . . . . . . . . . . . . . . . . . . 25--40
M. V. S. Ramanath and
Marvin Solomon Optimal Code from Flow Graphs . . . . . 41--52
J. Messerschmidt and
R. Wilhelm Constructors from composed objects . . . 53--59
T. R. Virgilio and
R. Finkel Binding strategies and scope rules are
independent . . . . . . . . . . . . . . 61--67
T. A. Budd An implementation of generators in C . . 69--87
N. Cocco and
S. Dulli A mechanism for exception handling and
its verification rules . . . . . . . . . 89--102
Nancy H. McDonald and
John P. McNally Query Language Feature Analysis by
Usability . . . . . . . . . . . . . . . 103--124
Mervyn Barman Lass --- a Language for Stochastic
Systems . . . . . . . . . . . . . . . . 125--146
S. Sitharama Iyengar and
N. Parameswaran and
John Fuller A measure of logical complexity of
programs . . . . . . . . . . . . . . . . 147--160
Nadia Magnenat-Thalmann Choosing an Implementation Language for
Automatic Translation . . . . . . . . . 161--170
Stephen B. Wampler and
Ralph E. Griswold Result Sequences . . . . . . . . . . . . 1--14
Lawrence A. Coon and
John P. Kearns and
Mary Lou Soffa The contraction of control
implementations . . . . . . . . . . . . 15--25
Peter M. Maurer and
Arthur E. Oldehoeft Use of Combinators in Translating a
Purely Functional Language to Low-Level
Data-Flow Graphs . . . . . . . . . . . . 27--45
W. C. Yen and
K. S. Fu Distributed Synchronization Mechanism
for Interacting Processes . . . . . . . 51--60
Richard Salter Concurrent Applicative Implementations
of Nondeterministic Algorithms . . . . . 61--68
D. M. Dhamdhere and
J. S. Keith Characterization of Program Loops in
Code Optimization . . . . . . . . . . . 69--76
Ralph E. Griswold Implementing Snobol4 Pattern Matching in
Icon . . . . . . . . . . . . . . . . . . 77--92
P. R. F. Cunha and
C. J. Lucena and
T. S. E. Maibaum Message Oriented Programming --- a
Resource Based Methodology . . . . . . . 95--111
Levent Orman Familial Specification Language for
Database Application Systems . . . . . . 113--124
R. D. Tennent Some Proposals for Improving Pascal . . 125--137
J. Ramanathan and
D. Soni Design and Implementation of an
Adaptable Software Environment . . . . . 139--159
Marco Colombetti and
Giovanni Guida Supporting Control Definition in
Programming Languages . . . . . . . . . 1--23
Annalisa Bossi and
C. Chezzi Using Fp as a Query Language for
Relational Data-Bases . . . . . . . . . 25--37
Yoshihisa Mano and
Kazuhito Ohmaki and
Koji Torii New Programming Environment with a
Multi-Display Terminal and Early
Experiences with It . . . . . . . . . . 39--49
K. Hammond and
V. J. Rayward-Smith A survey on syntactic error recovery and
repair . . . . . . . . . . . . . . . . . 51--67
A. C. Fleck Proposal for Comparison of Types in
Pascal and Associated Semantic Models 71--87
Alan Reed Anatomy of a Text Analysis Package . . . 89--96
L. M. Patnaik and
Prabal Bhattacharya and
R. Ganesh DFL: a Data Flow Language . . . . . . . 97--106
M. P. Papazoglou and
P. I. Georgiadis and
D. G. Maritsas An outline of the programming language
SIMULA . . . . . . . . . . . . . . . . . 107--131
Steven C. Cater and
S. Sitharama Iyengar and
John Fuller Computation of Logical Effort in High
Level Languages . . . . . . . . . . . . 133--148
Barrett R. Bryant and
A. A. Grau An intermediate language to define
dynamic semantics . . . . . . . . . . . 149--159
Sergei Nirenburg and
Yosef Ben Asher Huhu: the Hebrew University Hebrew
Understander . . . . . . . . . . . . . . 161--182
Fernando Lafora and
Mary Lou Soffa Reverse Execution in a Generalized
Control Regime . . . . . . . . . . . . . 183--192
L. M. Patnaik and
B. R. Badrinath Implementation of CSP-S for Description
of Distributed Algorithms . . . . . . . 193--202
Franz Stetter A measure of program complexity . . . . 203--208
Richard B. Kieburtz and
Bengt Nordstrom Design of Apple --- a Language for
Modular Programs . . . . . . . . . . . . 1--22
Herman D. Hughes A programming language engineered for
beginners . . . . . . . . . . . . . . . 23--36
Mark Weiser Experience with a Dataflow Datatype . . 37--42
Dino Mandrioli and
Roberto Zicari and
Carlo Ghezzi and
Francesco Tisato Modeling the Ada Task System by Petri
Nets . . . . . . . . . . . . . . . . . . 43--61
Timothy A. Budd and
Gopal Ajei S. Program Testing by Specification
Mutation . . . . . . . . . . . . . . . . 63--73
D. Michael Symes Procedural Operators Considered as
Fundamental Programming Devices . . . . 75--89
Stanislaw Matwin and
Tomasz Pietrzykowski Prograph: a Preliminary Report . . . . . 91--126
Mohamed Zaki and
S. A. Gamal-Eldin A portable syntax analyzer for
microcomputers . . . . . . . . . . . . . 127--146
Shahrzade Mazaher and
Daniel M. Berry Deriving a Compiler from an Operational
Semantics Written in VDL . . . . . . . . 147--164
L. M. Patnaik and
D. M. Chowdhary Generalized Query-By-Rule: a
Heterogeneous Database Query Language 165--178
S. I. Ahson and
S. S. Lamba The use of FORTH language in process
control . . . . . . . . . . . . . . . . 179--187
N. Cocco and
D. Mandrioli and
V. Milanese Ada Task System and Real-Time
Applications: an Implementation Schema 189--209
M. S. Joy and
V. J. Rayward-Smith and
F. W. Burton Efficient Combinator Code . . . . . . . 211--224
Robert E. Noonan An algorithm for generating abstract
syntax trees . . . . . . . . . . . . . . 225--236
Vijay Gehlot and
Y. N. Srikant Interpreter for SLIPS --- an Applicative
Language Based on Lambda-Calculus . . . 1--13
Pamela Zave Case Study: The Paisley Approach Applied
to its Own Software Tools . . . . . . . 15--28
Matthias Felleisen and
Daniel P. Friedman A closer look at export and import
statements . . . . . . . . . . . . . . . 29--37
Eliezer L. Lozinskii and
Sergei Nirenburg Parsing in Parallel . . . . . . . . . . 39--51
A. C. Fleck Structuring Fp-Style Functional Programs 55--63
Hans P. Zima A constraint language and its
interpreter . . . . . . . . . . . . . . 65--83
Greg Michaelson Interpreters from Functions and Grammars 85--104
Henri E. Bal and
Andrew S. Tanenbaum Language-And Machine-Independent Global
Optimization on Intermediate Code . . . 105--121
Paul A. Bailes Static Checking of Variable Handling in
Dijkstra's Guarded Commands Language . . 123--142
Christopher T. Haynes and
Daniel P. Friedman and
Mitchell Wand Obtaining Coroutines with Continuations 143--153
G. Donnan and
M. Elizabeth C. Hull On Processes, Synchronization and
Redundant Code in Communicating
Sequential Processes . . . . . . . . . . 155--160
Kent Petersson and
Jan M. Smith Program Derivation in Type Theory: a
Partitioning Problem . . . . . . . . . . 161--172
Barrett R. Bryant and
Balanjaninath Edupuganty and
Lee S. Hull Two-Level Grammar as an Implementable
Metalanguage for Axiomatic Semantics . . 173--191
Michael C. Rubenstein and
Richard M. Salter Computationally Extended Logic
Programming . . . . . . . . . . . . . . 1--7
Koji Torii and
Yuji Sugiyama and
Mamoru Fujii and
Tadao Kasami and
Yoshitomi Morisawa Logical Programming for the Telegram
Analysis Problem . . . . . . . . . . . . 9--20
John D. Gannon and
Marvin V. Zelkowitz Two Implementation Models of Abstract
Data Types . . . . . . . . . . . . . . . 21--25
M. Elizabeth C. Hull Occam --- a Programming Language for
Multiprocessor Systems . . . . . . . . . 27--37
James W. Hooper Language Features for Discrete
Simulation . . . . . . . . . . . . . . . 39--46
Marc Feeley and
Guy Lapalme Using Closures for Code Generation . . . 47--66
Paul A. Bailes G: a Functional Language with Generic
Abstract Data Types . . . . . . . . . . 69--94
Thomas W. Strothotte and
Gordon V. Cormack Structured Program Lookahead . . . . . . 95--108
Christopher T. Haynes and
Daniel P. Friedman Abstracting Timed Preemption with
Engines . . . . . . . . . . . . . . . . 109--121
M. Zaki and
Al. H. Albarhamtoshy Formal Design of an Arabic Text
Formatter for Microcomputers . . . . . . 123--143
R. Ford and
M. Wagner Performance evaluation methodologies for
abstract data type implementation
techniques . . . . . . . . . . . . . . . 145--162
J. D. Eckart and
R. J. LeBlanc Overloading in the Ada language: is it
too restrictive? . . . . . . . . . . . . 163--171
T. Rus An algebraic model for programming
languages . . . . . . . . . . . . . . . 173--195
M. Felleisen Reflections on Landin's J-operator: a
partly historical note . . . . . . . . . 197--207
Anonymous C Code for the PC . . . . . . . . . . . 52
H. K. Haripriyan and
Y. N. Srikant and
Priti Shankar A compiler writing system based on affix
grammars . . . . . . . . . . . . . . . . 1--11
Ralph E. Griswold and
Janalee O'Bagy Seque: a Programming Language for
Manipulating Sequences . . . . . . . . . 13--22
Ken-Chih Liu On String Pattern Matching: a
Quantitative Analysis and a Proposal . . 23--29
Manfred Broy Broadcasting Buffering Communication . . 31--47
Ira Pohl and
Daniel Edelson A to Z: C language shortcomings . . . . 51--64
David T. Barnard and
James R. Cordy SL parses the LR languages . . . . . . . 65--74
D. M. Dhamdhere Register assignment using code placement
techniques . . . . . . . . . . . . . . . 75--93
A. J. Fisher A critique of Occam channel types . . . 95--105
William G. Bail and
Marvin V. Zelkowitz Program complexity using hierarchical
abstract computers . . . . . . . . . . . 109--123
M. Zaki Design of a graphics interface for
computer-based biomedical applications 125--141
Dragan D. Djakovic RASP --- a language with operations on
fuzzy set . . . . . . . . . . . . . . . 143--147
Marco A. Casanova and
Antonio L. Furtado String pattern-matching in Prolog . . . 149--170
Don M. Coleman and
Ronald J. Leach Performance issues in C language
fault-tolerant software . . . . . . . . 1--9
John Franco and
Daniel P. Friedman Creating efficient programs by
exchanging data for procedures . . . . . 11--23
Mahadevan Ganapathi Semantic predicates in parser generators 25--33
Michael A. Jenkins and
Janice I. Glasgow A logical basis for nested array data
structures . . . . . . . . . . . . . . . 35--51
Ramez Abi-Akar Arabic text formatter: comments and
implementation . . . . . . . . . . . . . 53--60
Michael R. Hansen and
Bo S. Hansen and
Peter Lucas and
Peter van Emde Boas Integrating relational databases and
constraint languages . . . . . . . . . . 63--82
James W. Hooper Language features for prototyping and
simulation support of the software life
cycle . . . . . . . . . . . . . . . . . 83--92
David T. Barnard and
James R. Cordy Automatically generating SL parsers from
LL(1) grammars . . . . . . . . . . . . . 93--98
Robert W. Sebesta On context-free programmed grammars . . 99--108
R. Kent Dybvig and
Robert Hieb Engines from continuations . . . . . . . 109--123
M. E. Szabo and
E. J. Farkas A probabilistic analysis of loop
programs . . . . . . . . . . . . . . . . 125--136
Daniel Edelson and
Ira Phol C++: solving C's shortcomings? . . . . . 137--152
Kenneth W. Walker First-class patterns for Icon . . . . . 153--163
Jacek Leszczylowski and
James M. Bieman Prosper. A language for specification by
prototyping . . . . . . . . . . . . . . 165--180
Colin Runciman What about the natural numbers? (in
language design) . . . . . . . . . . . . 181--191
Mahadevan Ganapathi Prolog based retargetable code
generation . . . . . . . . . . . . . . . 193--204
Janos J. Sarbo and
Matthias Moritz Translator inversion . . . . . . . . . . 205--224
Arvind M. Murching and
Y. N. Srikant Incremental attribute evaluation through
recursive procedures . . . . . . . . . . 225--237
Nikolaos G. Bourbakis and
Christos Alexopoulos and
Allen Klinger A parallel implementation of the SCAN
language . . . . . . . . . . . . . . . . 239--254
Michael Coffin and
Ronald A. Olsson An SR approach to multiway rendezvous 255--262
Carlo Ghezzi and
Dino Mandrioli and
Sandro Morasca and
Mauro Pezze Symbolic execution of concurrent systems
using Petri nets . . . . . . . . . . . . 263--281
Paul A. Bailes The hierarchical development of a
generic type mechanism for functional
languages . . . . . . . . . . . . . . . 1--26
J. R. Nawrocki and
C. H. A. Koster On display optimization for Algol-like
languages . . . . . . . . . . . . . . . 27--39
Kelvin Nilsen A stream data type that supports
goal-directed pattern matching on
unbounded sequences of values . . . . . 41--54
John Franco and
Daniel P. Friedman Towards a facility for lexically scoped,
dynamic mutual recursion in Scheme . . . 55--64
Joachim Biskup and
Uwe Räsch and
Holger Stiefeling An extension of SQL for querying graph
relations . . . . . . . . . . . . . . . 65--82
D. M. Dhamdhere A usually linear algorithm for register
assignment using edge placement of load
and store instructions . . . . . . . . . 83--94
Roger Hayes and
Norman C. Hutchinson and
Richard D. Schlichting Integrating Emerald into a system for
mixed-language programming . . . . . . . 95--108
John Franco and
Daniel P. Friedman and
Steven D. Johnson Multi-way streams in Scheme . . . . . . 109--125
A. Balachandran and
D. M. Dhamdhere and
S. Biswas Efficient retargetable code generation
using bottom-up tree pattern matching 127--140
Michele Di Santo and
Libero Nigro and
Wilma Russo Programmer-defined control abstractions
in Modula-2 . . . . . . . . . . . . . . 141--152
A. Burns and
A. J. Wellings The notion of priority in real-time
programming languages . . . . . . . . . 153--162
Daniel T. Huang and
Ronald A. Olsson An exception handling mechanism for SR 163--176
Leo Y. Liu and
R. K. Shyamasundar Exception handling in RT-CDL . . . . . . 177--192
Arvind M. Murching and
Y. V. Prasad and
Y. N. Srikant Incremental recursive descent parsing 193--204
R. Nigel Horspool Incremental generation of LR parsers . . 205--223
Wolfgang Kreutzer and
Malcolm Stairmand C-Flavours: A Scheme-based flavour
system with coroutines and its
application to the design of
object-oriented simulation software . . 225--249
Jean-Chrysostome Bolot and
Pankaj Jalote Functional semantics of programs with
exceptions . . . . . . . . . . . . . . . 251--265
David C. Rine Introduction: Computer Language: A
Perspective . . . . . . . . . . . . . . 1--3
Vijay K. Garg and
C. V. Ramamoorthy ConC. A language for concurrent
programming . . . . . . . . . . . . . . 5--18
Jose P. Diaz-Gonzalez and
Joseph E. Urban Language aspects of ENVISAGER. An
object-oriented environment for the
specification of real-time systems . . . 19--37
Marco Baldassari and
Giorgio Bruno PROTOB: An Object Oriented Methodology
for Developing Discrete Event Dynamic
Systems . . . . . . . . . . . . . . . . 39--63
Kwei-Jay Lin and
Swaminathan Natarajan FLEX: Towards Flexible Real-Time
Programs . . . . . . . . . . . . . . . . 65--79
P. J. Hatcher The equational specification of
efficient compiler code generation . . . 81--95
James R. Cordy and
Charles D. Halpern-Hamu and
Eric Promislow TXL: A rapid prototyping system for
programming language dialects . . . . . 97--107
Pei Hsia and
David C. Rine Introduction: Development of Computer
Languages and Software . . . . . . . . . 109--111
Valdis Berzins Black-box specification in Spec . . . . 113--127
Henri E. Bal and
Andrew S. Tanenbaum Distributed programming with shared data 129--146
Michael J. Oudshoorn and
Chris D. Marlin A layered, operational model of data
control in programming languages . . . . 147--165
Manuel E. Bermudez A unifying model for lookahead LR
parsing . . . . . . . . . . . . . . . . 167--178
Carl McCrosky Intermediate container removal . . . . . 179--195
James M. Purtilo and
Pankaj Jalote An environment for prototyping
distributed applications . . . . . . . . 197--207
Michael L. Scott The Lynx distributed programming
language: motivation, design and
experience . . . . . . . . . . . . . . . 209--233
John Placer The multiparadigm language G . . . . . . 235--258
George W. Ernst and
Raymond J. Hookway and
James A. Menegay and
William F. Ogden Modular verification of Ada generics . . 259--280
Linda Weiser Friedman From Babbage to Babel and beyond: a
brief history of programming languages 1--17
Ching-Lin Wang A continuation-based language embedded
in Scheme . . . . . . . . . . . . . . . 19--37
Eric Salzman Activity simulation in Modula-2: an
exercise in language extension . . . . . 39--60
D. T. Barnard and
D. B. Skillicorn Context-free parsing on $O(n)$
processors . . . . . . . . . . . . . . . 61--66
Claudio Sergio Da Ros de Carvalho and
Tomasz Kowaltowski On open arrays and variable number of
parameters . . . . . . . . . . . . . . . 67--74
Pankaj Jalote Specification and testing of abstract
data types . . . . . . . . . . . . . . . 75--82
Shmuel Rotenstreich Orthogonal languages: a framework for
program development . . . . . . . . . . 83--100
N. Boudriga and
A. Mili and
R. Zalila and
Fatma Mili A relational model for the specification
of data types . . . . . . . . . . . . . 101--131
Bharat Jayaraman Sublist assertions for listless and lazy
evaluation . . . . . . . . . . . . . . . 133--146
Heidi E. Myers and
James M. Purtilo Interface type checking of large C
applications . . . . . . . . . . . . . . 147--154
Pei Hsia and
David C. Rine Introduction: Special-Purpose Languages 155--156
Tim Sheard and
David Stemple Inheritance of theory in the ADABTPL
language . . . . . . . . . . . . . . . . 157--167
Robert J. Klerer and
Melvin Klerer and
Fred Grossman A language for automated programming of
mathematical applications . . . . . . . 169--184
M. A. Bassiouni and
M. J. Llewellyn A relational-calculus query language for
historical databases . . . . . . . . . . 185--197
Jen-yen Chen and
Pei Hsia MDL (Methodology Definition Language): a
language for defining and automating
software development processes . . . . . 199--211
Paolo Ciancarini Parallel programming with logic
languages: a survey . . . . . . . . . . 213--239
Husheng Liao Removing partial parametrization for
efficient implementation of functional
languages . . . . . . . . . . . . . . . 241--250
Marc Feeley and
Guy Lapalme Closure generation based on viewing
lambda as epsilon plus compile . . . . . 251--267
Ronald A. Olsson and
Carole M. McNamee Inter-entry selection: non-determinism
and explicit control mechanisms . . . . 269--282
R. Nigel Horspool Recursive ascent-descent parsing . . . . 1--15
S. Radha and
C. R. Muthukrishnan A portable implementation of UNITY on
von Neumann machines . . . . . . . . . . 17--30
Paul A. Bailes and
Dan B. Johnston and
Eric J. Salzman A proposal for a genuinely-lazy streams
facility for Ada . . . . . . . . . . . . 31--55
H. Justin Coven Altering and applying predicates . . . . 57--75
Luqi Real-time constraints in a rapid
prototyping language . . . . . . . . . . 77--103
Evelina Lamma and
Paola Mello and
Gianfranco Rossi Parametric composable modules in a logic
programming language . . . . . . . . . . 105--123
K. H. Shekhar and
Y. N. Srikant LINDA sub system on Transputers . . . . 125--136
Mark-Jan Nederhof and
Janos J. Sarbo Partial evaluation grammars . . . . . . 137--151
Andrea Clematis and
Vittoria Gianuzzi Structuring conversation in
operation/procedure oriented programming
languages . . . . . . . . . . . . . . . 153--168
Stephen S. Yau and
Jacob V. Gore Constraint-driven programming in
strongly-typed object-oriented languages 169--183
Domenico Talia A survey of PARLOG and Concurrent
Prolog: the integration of logic and
parallelism . . . . . . . . . . . . . . 185--196
Alberto Coen-Porisini and
Flavio De Paoli Array representation in symbolic
execution . . . . . . . . . . . . . . . 197--216
Janalee O'Bagy and
Kenneth Walker and
Ralph E. Griswold An operational semantics for Icon:
implementation of a procedural
goal-directed language . . . . . . . . . 217--239
Carl McCrosky and
Ken Sailor A synthesis of type-checking and parsing 241--250
Paul A. Bailes and
Trevor Chorvat Facet Grammars: towards static semantic
analysis by context-free parsing . . . . 251--271
Shaoying Liu An abstract programming language and
correctness proofs . . . . . . . . . . . 273--282
Tom Axford and
Mike Joy List processing primitives for parallel
computation . . . . . . . . . . . . . . 1--17
Roberto Ierusalimschy A denotational approach for
type-checking in object-oriented
programming languages . . . . . . . . . 19--40
Wai-Mee Ching and
Paul Carini and
Dz-Ching Ju A primitive-based strategy for producing
efficient code for very high level
programs . . . . . . . . . . . . . . . . 41--50
Domenico Talia Distributed termination of concurrent
processes in Occam . . . . . . . . . . . 51--62
James R. Cordy and
Mario Barbacci Introduction to the special issue on
ICCL '92 . . . . . . . . . . . . . . . . 63--64
R. Nigel Horspool and
Jan Vitek Static analysis of PostScript code . . . 65--78
Uday S. Reddy and
Samuel N. Kamin On the power of abstract interpretation 79--89
Peter J. Thiemann Optimizing structural recursion in
functional programs . . . . . . . . . . 91--103
Keith D. Cooper and
Mary W. Hall and
Ken Kennedy A methodology for procedure cloning . . 105--117
Laurie J. Hendren and
Guang R. Gao Designing programming languages for the
analyzability of pointer data structures 119--134
Angelika Zobel Program structure as basis for the
parallelization of global register
allocation . . . . . . . . . . . . . . . 135--155
Andrew Malton The denotational semantics of a
functional tree-manipulation language 157--168
R. Venugopal and
Y. N. Srikant Heuristic chaining in directed acyclic
graphs . . . . . . . . . . . . . . . . . 169--184
Eva Kuhn and
Herbert Pohlai and
Franz Puntigam Concurrency and backtracking in Vienna
Parallel Logic . . . . . . . . . . . . . 185--203
S. Mansoor Sarwar Run-time behavior of SASL programs: a
performance study . . . . . . . . . . . 205--211
Kyung-Goo Doh and
David A. Schmidt Action semantics-directed prototyping 213--233
Young K. Nam and
Lawrence J. Henschen A controlling scheme for Prolog through
count terms . . . . . . . . . . . . . . 235--245
Gwen Clarke and
David T. Barnard Error handling in a parallel LR
substring parser . . . . . . . . . . . . 247--259
M. A. Bassiouni and
M. J. Llewellyn and
A. Mukherjee Time-based operators for relational
algebra query languages . . . . . . . . 261--276
Leo YuHsiang Liu and
R. K. Shyamasundar RT-CDL: A distributed real-time design
language and its operational semantics 1--23
Keehang Kwon and
Gopalan Nadathur and
Debra Sue Wilson Implementing polymorphic typing in a
logic programming language . . . . . . . 25--42
B. Pradeep and
C. Siva Ram Murthy Parallel recognition and parsing on mesh
connected computers with multiple
broadcasting . . . . . . . . . . . . . . 43--51
Gregory F. Johnson and
Dominic Duggan First-class stores and partial
continuations in a programming language
and environment . . . . . . . . . . . . 53--68
Steven J. Drew and
K. John Gough Exception handling: expecting the
unexpected . . . . . . . . . . . . . . . 69--87
Janos J. Sarbo Grammar transformations for optimizing
backtrack parsers . . . . . . . . . . . 89--100
Ken Sailor and
Carl McCrosky A practical approach to type-sensitive
parsing . . . . . . . . . . . . . . . . 101--116
Jun Shen and
Gordon V. Cormack Access control for private declarations
in Ada . . . . . . . . . . . . . . . . . 117--126
S. Mansoor Sarwar and
Mansour H. A. Jaragh and
Mike Wind An empirical study of the run-time
behavior of quicksort, Shellsort and
mergesort for medium to large size data 127--134
U. Nagaraj Shenoy and
Y. N. Srikant and
V. P. Bhatkar An automatic parallelization framework
for multicomputers . . . . . . . . . . . 135--150
N. Viswanathan and
Y. N. Srikant Parallel incremental LR parsing . . . . 151--175
Pieter H. Hartel and
Willem G. Vree Experiments with destructive updates in
a lazy functional language . . . . . . . 177--192
Johann Blieberger Discrete loops and worst case
performance . . . . . . . . . . . . . . 193--212
Teodor Rus and
Tom Halverson Algebraic tools for language processing 213--238
J. A. Dain A practical minimum distance method for
syntax error handling . . . . . . . . . 239--252
Gudula Rünger and
Kurt Sieber A process oriented semantics of the
PRAM-language FORK . . . . . . . . . . . 253--265
B. Pradeep and
C. Siva Ram Murthy Parallel arithmetic expression
evaluation on reconfigurable meshes . . 267--277
Albert Nymeyer A grammatical specification of
human-computer dialogue . . . . . . . . 1--16
Richard H. Crawford and
Ronald A. Olsson and
W. Wilson Ho and
Christopher E. Wee Semantic issues in the design of
languages for debugging . . . . . . . . 17--37
James M. Purtilo and
Thomas M. Swiss and
Elizabeth L. White Extracting program structure for
packaging in a component-based
environment . . . . . . . . . . . . . . 39--48
R. Venugopal and
Y. N. Srikant Scheduling expression trees with
reusable registers on delayed-load
architectures . . . . . . . . . . . . . 49--65
Wolfgang Golubski and
Wolfram-M. Lippe A complete semantics for SMALLTALK-80 67--79
K. W. Ng and
C. K. Luk I$^+$: a multiparadigm language for
object-oriented declarative programming 81--100
Kelvin S. Bryant and
Jon Mauney GRAS: a general framework for combining
automatic code generation and register
allocation . . . . . . . . . . . . . . . 101--112
Christoph W. Kessler and
Thomas Rauber Generating optimal contiguous
evaluations for expression DAGs . . . . 113--127
Roberto Ierusalimschy and
Noemi Rodriguez Side-effect free functions in
object-oriented languages . . . . . . . 129--146
A. Romanovsky Conversations of objects . . . . . . . . 147--163
Wayne Citrin and
Alistair Cockburn Carla: a rule language for specifying
communications architectures . . . . . . 165--189
Mansoor Al-A'Ali and
Mohammed Hamid Design of an Arabic programming language
(ARABLAN) . . . . . . . . . . . . . . . 191--200
H. Heping and
H. Zedan An executable specification language for
fast prototyping parallel responsive
systems . . . . . . . . . . . . . . . . 1--13
S. E. Mitchell and
A. J. Wellings Synchronisation, concurrent
object-oriented programming and the
inheritance anomaly . . . . . . . . . . 15--26
Wuu Yang Mealy machines are a better model of
lexical analyzers . . . . . . . . . . . 27--38
S. Mansoor Sarwar and
Syed Aqeel Sarwar and
Mansour H. A. Jaragh and
Jesse Brandeburg Engineering Quicksort . . . . . . . . . 39--47
Jean-Marie Jacquet and
Luís Monteiro Towards resource handling in logic
programming: the PPL framework and its
semantics . . . . . . . . . . . . . . . 51--77
Vicenzo Ambriola and
Giovanni A. Cignoni and
Laura Semini A proposal to merge Multiple Tuple
Spaces, Object Orientation, and Logic
Programming . . . . . . . . . . . . . . 79--93
Paolo Ciancarini and
Mauro Gaspari Rule-based coordination of logic
programs . . . . . . . . . . . . . . . . 95--113
Enrico Pontelli and
Gopal Gupta and
Dongxing Tang and
Manuel Carro and
Manuel V. Hermenegildo Improving the efficiency of
nondeterministic independent
AND-parallel systems . . . . . . . . . . 115--142
Manuel V. Hermenegildo and
Manuel Carro Relating data-parallelism and
(AND-)parallelism in logic programs . . 143--163
Olivier Michel Design and implementation of $8_{1/2}$:
a declarative data-parallel language . . 165--179
Hamish Taylor Assembling a resolution multiprocessor
from interface, programming and
distributed processing components . . . 181--192
S. J. Drew Fail-safety techniques and their
extensions to concurrent systems . . . . 193--203
M. D. Feng and
W. F. Wong and
C. K. Yuen BaLinda Lisp: design and implementation 205--214
S. L. Jenkins and
G. T. Leavens Polymorphic type-checking in Scheme . . 215--223
W. X. Li Building efficient incremental LL
parsers by augmenting LL tables and
threading parse trees . . . . . . . . . 225--235
A. Ciampolini and
E. Lamma and
C. Stefanelli and
P. Mello Distributed logic objects . . . . . . . 237--258
C. M. McNamee and
W. A. Crow Inter-entry selection control
mechanisms: implementation and
evaluation . . . . . . . . . . . . . . . 259--278
Muhammed Al-Mulhem and
Shahid Ali Visual Occam: syntax and semantics . . . 1--24
J. H. M. Lee and
P. K. C. Pun Object logic integration: A
multiparadigm design methodology and a
programming language . . . . . . . . . . 25--42
Alexander Romanovsky Practical exception handling and
resolution in concurrent programs . . . 43--58
Michael Hanus Lazy narrowing with simplification . . . 61--85
M. Diaz and
B. Rubio and
J. M. Troya DRL: a distributed real-time logic
language . . . . . . . . . . . . . . . . 87--120
Manuel M. T. Chakravarty and
Hendrik C. R. Lock Towards the uniform implementation of
declarative languages . . . . . . . . . 121--160
James Harland On goal-directed provability in
classical logic . . . . . . . . . . . . 161--178
G. Falkman Program separation and definitional
higher order programming . . . . . . . . 179--206
Daniel E. Cooke \em SequenceL provides a different way
to view programming . . . . . . . . . . 1--32
Christoph W. Kessler Scheduling expression DAGs for minimal
register need . . . . . . . . . . . . . 33--53
Owen Kaser and
C. R. Ramakrishnan Evaluating inlining techniques . . . . . 55--72
Pierpaolo Degano and
Corrado Priami LR techniques for handling syntax errors 73--98
Muhammed Al-Mulhem and
Shahid Ali Formal semantics of Visual Occam . . . . 99--114
Stéphane Vialle and
Yannick Lallement and
Thierry Cornu Design and implementation of a parallel
cellular language for MIMD architectures 125--153
P. Rondogiannis and
M. Gergatsoulis and
T. Panayiotopoulos Branching-time logic programming: the
language \em Cactus and its applications 155--178
Bharat Jayaraman and
Kannan Govindarajan and
Surya Mantha Preference logic grammars . . . . . . . 179--196
Stefano Crespi Reghizzi and
Giuseppe Psaila Grammar partitioning and modular
deterministic parsing1 . . . . . . . . . 197--227
C. K. Yuen and
M. D. Feng Active objects as atomic control
structures in BaLinda K . . . . . . . . 229--244
M. Chung and
R. A. Olsson New mechanisms for invocation handling
in concurrent programming languages . . 245--270
A. C. Reeves and
C. Rattray A sketch-based technique for the
derivation of self-interpreters . . . . 1--37
M. A. Bassiouni and
M. Llewellyn Extending temporal query languages to
handle imprecise time intervals . . . . 39--54
Ravi K. Gedela and
Sol M. Shatz and
Haiping Xu Compositional Petri net models of
advanced tasking in Ada-95 . . . . . . . 55--87
Wong and
W. F. Optimizing floating point operations in
Scheme . . . . . . . . . . . . . . . . . 89--112
R. S. Ledley \em Countdown Y2K; Peter de Jager,
Richard Bergeon. John Wiley & Sons, Inc.
ISBN: 0-471-32734-4 . . . . . . . . . . 113--113
R. S. Ledley \em Mobile Processing in Distributed and
Open Environments; Peter Sapaty. John
Wiley and Sons, Inc. ISBN: 0-471-19572-3 113--114
R. S. Ledley Dr \em Building Microsoft SQL Server 7
Applications with COM; By Sanjiv Purba.
John Wiley & Sons, Inc. ISBN:
0-471-19233-3 . . . . . . . . . . . . . 114--115
R. S. Ledley \em Building N-Tier Applications with
COM And Visual Basic 6.0; Ash Rofail,
Tony Martin. John Wiley & Sons, Inc.
ISBN: 0-471-29549-3 . . . . . . . . . . 115--116
R. S. Ledley Dr \em 3-Tier Client/Server at Work,
Revised Edition; By Jeri Edwards. John
Wiley & Sons, Inc. ISBN: 0-471-31502-8 116--117
Jimmy H. M. Lee and
Ho-fung Leung An execution scheme for interactive
problem-solving in concurrent constraint
logic programming languages . . . . . . 119--144
Wuu Yang A finest partitioning algorithm for
attribute grammars . . . . . . . . . . . 145--164
Kasper Òsterbye and
Wolfgang Kreutzer Synchronization abstraction in the BETA
programming language . . . . . . . . . . 165--187
Krishnaprasad Thirunarayan and
Günter Kniesel and
Haripriyan Hampapuram Simulating multiple inheritance and
generics in Java . . . . . . . . . . . . 189--210
Antonio Brogi and
Chiara Renso and
Franco Turini Dynamic composition of parameterised
logic modules . . . . . . . . . . . . . 211--242
Anonymous Volume 25 index . . . . . . . . . . . . ??
Annalisa Bossi and
Sandro Etalle and
Sabina Rossi Semantics of well-moded input-consuming
logic programs . . . . . . . . . . . . . 1--25
G. Tremblay and
B. Malenfant Lenient evaluation and parallelism . . . 27--41
G. Tremblay Lenient evaluation is neither strict nor
lazy . . . . . . . . . . . . . . . . . . 43--66
M. Mosconi and
M. Porta Iteration constructs in data-flow visual
programming languages . . . . . . . . . 67--104
Stefano Crespi-Reghizzi and
Matteo Pradella and
Pierluigi San Pietro Associative definition of programming
languages . . . . . . . . . . . . . . . 105--123
Paolo Ciancarini and
Daniela Fogli and
Mauro Gaspari A declarative coordination language . . 125--163
Marco Cadoli and
Giovambattista Ianni and
Luigi Palopoli and
Andrea Schaerf and
Domenico Vasile NP-SPEC: an executable specification
language for solving all problems in NP 165--195
Anonymous Index to Volume 26 . . . . . . . . . . . ??
Anonymous Editorial: Introduction by the Guest
Editor . . . . . . . . . . . . . . . . . 1--2
Rob van Ommering and
René Krikhaar and
Loe Feijs Languages for formalizing, visualizing
and verifying software architectures . . 3--18
M. C. W. Geilen and
J. P. M. Voeten and
P. H. A. van der Putten and
L. J. van Bokhoven and
M. P. J. Stevens Object-oriented modelling and
specification using SHE . . . . . . . . 19--38
Paul Oude Luttighuis and
Marc Lankhorst and
Rob van de Wetering and
René Bal and
Harmen van den Berg Visualising business processes . . . . . 39--59
Florence Maraninchi and
Yann Rémond Argos: an automaton-based synchronous
language . . . . . . . . . . . . . . . . 61--92
Martin Fränzle and
Karsten Lüth Visual temporal logic as a rapid
prototyping tool . . . . . . . . . . . . 93--113
Nikolai Mansurov Automatic synthesis of SDL from MSC and
its applications in forward and reverse
engineering . . . . . . . . . . . . . . 115--136
Anna Ciampolini and
Evelina Lamma and
Paola Mello and
Paolo Torroni LAILA: a language for coordinating
abductive reasoning among logic agents 137--161
Franz Puntigam State inference for dynamically changing
interfaces . . . . . . . . . . . . . . . 163--202
Anonymous Index to Volume 27, 2001 . . . . . . . . ??
Agostino Cortesi and
Riccardo Focardi Computer languages and security . . . . 1--2
David Clark and
Chris Hankin and
Sebastian Hunt Information flow for Algol-like
languages . . . . . . . . . . . . . . . 3--28
Torben Amtoft and
Assaf J. Kfoury and
Santiago M. Pericas-Geertsen Orderly communication in the Ambient
Calculus . . . . . . . . . . . . . . . . 29--60
Michele Bugliesi and
Giuseppe Castagna Behavioural typing for safe ambients . . 61--99
Chiara Braghin and
Agostino Cortesi and
Riccardo Focardi Security boundaries in mobile ambients 101--127
Dilsun Kìrlì Distributed call-tracking for security 129--154
C. Ururahy and
N. Rodriguez and
R. Ierusalimschy ALua: flexibility for parallel
programming . . . . . . . . . . . . . . 155--180
E. Pontelli and
D. Ranjan and
A. Dal Palú An optimal data structure to handle
dynamic environments in
non-deterministic computations . . . . . 181--201
Jien-Tsai Chan and
Wuu Yang An attribute-grammar framework for
specifying the accessibility in Java
programs . . . . . . . . . . . . . . . . 203--235
Anonymous Editorial Board . . . . . . . . . . . . CO2--CO2
Woo Hyong Lee and
Morris Chang A study of dynamic memory management in
C++ programs . . . . . . . . . . . . . . 237--272
Wuu Yang and
Chey-Woei Tsay and
Jien-Tsai Chan On the applicability of the
longest-match rule in lexical analysis 273--288
John C. Lusth Unified selection from lists, arrays,
and objects . . . . . . . . . . . . . . 289--305
Anonymous Editorial Board . . . . . . . . . . . . CO2--CO2
Eugene F. Fodor and
Ronald A. Olsson SIR: inter-program concurrency support
for SR programs . . . . . . . . . . . . 307--325
Ronald A. Olsson and
Gregory D. Benson and
Tingjian Ge and
Aaron W. Keen Fairness in shared invocation servicing 327--351
Anonymous Inside Front Cover - Editorial Board . . CO2--CO2
Anonymous Volume Contents . . . . . . . . . . . . ??
Alvaro E. Campos and
Dionel A. Suazo Data-race and concurrent-write freedom
are undecidable . . . . . . . . . . . . 1--13
Uday P. Khedker and
Dhananjay M. Dhamdhere and
Alan Mycroft Bidirectional data flow analysis for
type inferencing . . . . . . . . . . . . 15--44
Anonymous Inside Front cover - Editorial board . . CO2--CO2
Patricia M. Hill and
Fausto Spoto Logic programs as compact denotations 45--73
Anonymous Inside Front cover - Editorial board . . CO2--CO2
Justin T. Maris and
Matthew D. Roper and
Ronald A. Olsson DesCaRTeS: a run-time system with
SR-like functionality for programming a
network of embedded systems . . . . . . 75--100
Anonymous Inside Front Cover --- Editorial Board CO2--CO2
Stephane Ducasse and
Roel Wuyts Editorial . . . . . . . . . . . . . . . 1--3
Daniel Vainsencher MudPie: layers in the ball of mud . . . 5--19
Johan Fabry and
Tom Mens Language-independent detection of
object-oriented design patterns . . . . 21--33
Tom Tourwé and
Johan Brichau and
Andy Kellens and
Kris Gybels Induced intentional software views . . . 35--47
Noury Bouraqadi Safe metaclass composition using
mixin-based inheritance . . . . . . . . 49--61
Roel Wuyts and
Stéphane Ducasse Unanticipated integration of development
tools using the classification model . . 63--77
Nathanael Schärli and
Andrew P. Black A browser for incremental programming 79--95
Anonymous Inside Front Cover --- Editorial Board CO2--CO2
L. Zuck Special issue of VMCAI'03 . . . . . . . 97--98
A. Prasad Sistla Employing symmetry reductions in model
checking . . . . . . . . . . . . . . . . 99--137
Lenore Zuck and
Amir Pnueli Model checking and abstraction to the
aid of parameterized systems (a survey) 139--169
B. Meenakshi and
R. Ramanujam Reasoning about layered message passing
systems . . . . . . . . . . . . . . . . 171--206
Chiara Braghin and
Agostino Cortesi and
Riccardo Focardi and
Flaminia L. Luccio and
Carla Piazza Nesting analysis of mobile ambients . . 207--230
Annalisa Bossi and
Riccardo Focardi and
Carla Piazza and
Sabina Rossi Verifying persistent security properties 231--258
Anonymous IFC --- Editorial Board . . . . . . . . CO2--CO2
Marjan Mernik and
Viljem \vZumer Incremental programming language
development . . . . . . . . . . . . . . 1--16
Analía Amandi and
Marcelo Campo and
Alejandro Zunino JavaLog: a framework-based integration
of Java and Prolog for agent-oriented
programming . . . . . . . . . . . . . . 17--33
Yusuf Hasan and
Morris Chang A study of best-fit memory allocators 35--48
Anonymous Author Index . . . . . . . . . . . . . . ??
Anonymous Inside Front Cover --- Editorial Board CO2--CO2
Anonymous Keyword Index . . . . . . . . . . . . . ??
Anonymous Volume Contents . . . . . . . . . . . . ??
Gyung-Ok Lee On the prediction of reduction goals: a
deterministic approach . . . . . . . . . 49--70
Giuseppe Della Penna A type system for static and dynamic
checking of C++ pointers . . . . . . . . 71--101
Anonymous Inside Front Cover --- Editorial Board CO2--CO2
Noury Bouraqadi and
Roel Wuyts Introduction . . . . . . . . . . . . . . 103--105
Alexandre Bergel and
Stéphane Ducasse and
Oscar Nierstrasz and
Roel Wuyts Classboxes: controlling visibility of
class extensions . . . . . . . . . . . . 107--126
Jakob R. Andersen and
Lars Bak and
Steffen Grarup and
Kasper V. Lund and
Toke Eskildsen and
Klaus Marius Hansen and
Mads Torgersen Design, implementation, and evaluation
of the Resilient Smalltalk embedded
platform . . . . . . . . . . . . . . . . 127--141
Stéphane Ducasse and
Nathanael Schärli and
Roel Wuyts Uniform and safe metaclass composition 143--164
Eliot Miranda and
David Leibs and
Roel Wuyts Parcels: A fast and feature-rich binary
deployment technology . . . . . . . . . 165--181
Kim Mens and
Tom Tourwé Delving source code with formal concept
analysis . . . . . . . . . . . . . . . . 183--197
Reza Razavi and
Noury Bouraqadi and
Joseph Yoder and
Jean-François Perrot and
Ralph Johnson Language support for adaptive
object-models using metaclasses . . . . 199--218
Anonymous Inside Front Cover --- Editorial Board CO2--CO2
Anonymous Volume Contents, Author and Keyword
Index . . . . . . . . . . . . . . . . . ??
Anonymous Publisher's note . . . . . . . . . . . . 1--1
Paul Cockshott and
Greg Michaelson Orthogonal parallel processing in vector
Pascal . . . . . . . . . . . . . . . . . 2--41
John C. Lusth and
R. Sean Bowman A minimalist approach to objects . . . . 42--55
Uwe Zdun Tailorable language for behavioral
composition and configuration of
software components . . . . . . . . . . 56--82