Last update:
Wed Jun 19 15:59:31 MDT 2019
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
W. F. Wong 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 \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 \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
Anonymous Announcement . . . . . . . . . . . . . . 83--83
Serge Stinckwich and
Stéphane Ducasse Introduction to the Smalltalk special
issue . . . . . . . . . . . . . . . . . 85--86
Robert Hirschfeld and
Stefan Hanenberg Open Aspects . . . . . . . . . . . . . . 87--108
Kris Gybels and
Roel Wuyts and
Stéphane Ducasse and
Maja D'Hondt Inter-language reflection: a conceptual
model and its implementation . . . . . . 109--124
Marcus Denker and
Stéphane Ducasse and
Éric Tanter Runtime bytecode transformation for
Smalltalk . . . . . . . . . . . . . . . 125--139
Kim Mens and
Andy Kellens and
Frédéric Pluquet and
Roel Wuyts Co-evolving code and design with
intensional views: a case study . . . . 140--156
Hernán Wilkinson and
Máximo Prieto and
Luciano Romeo A point based model of the Gregorian
Calendar . . . . . . . . . . . . . . . . 157--183
A. Demaid and
S. Ogden and
J. Zucker Access Enhancement Objects for data
management in Smalltalk . . . . . . . . 185--202
José de Oliveira Guimarães The Green language . . . . . . . . . . . 203--215
Anonymous Volume contents, Author and Keyword
index . . . . . . . . . . . . . . . . . ??
Hui-Xian Li and
Chun-Tian Cheng and
K. W. Chau Parallel resource co-allocation for the
computational grid . . . . . . . . . . . 1--10
Cristian Mateos and
Alejandro Zunino and
Marcelo Campo Extending movilog for supporting Web
services . . . . . . . . . . . . . . . . 11--31
Anonymous Call for Papers: Embedded Systems:
Compiler-Architecture Interaction . . . 32--32
Anonymous Call for Papers: Programming Language
and Compiler Support for Secure and
Reliable Computing . . . . . . . . . . . 33--34
Gilles Barthe and
Tamara Rezk and
Amitabh Basu Security types preserving compilation 35--59
Rajeev Kumar and
Vikram Agrawal Multiple dispatch in reflective runtime
environment . . . . . . . . . . . . . . 60--78
Frédéric Loulergue Introduction to the special issue on
semantics and costs models for
high-level parallel programming . . . . 79--81
Roberto Di Cosmo and
Zheng Li and
Susanna Pelagatti A calculus for parallel computations
over multidimensional dense arrays . . . 82--110
Armelle Merlin and
Gaétan Hains A bulk-synchronous parallel process
algebra . . . . . . . . . . . . . . . . 111--133
Nils Ellmenreich and
Christian Lengauer Costing stepwise refinements of parallel
programs . . . . . . . . . . . . . . . . 134--167
Thierry Gautier and
Hamid-Reza Hamidi Re-scheduling invocations of services
for RPC grids . . . . . . . . . . . . . 168--178
Marco Aldinucci and
Marco Danelutto Skeleton-based parallel programming:
Functional and parallel semantics in a
single shot . . . . . . . . . . . . . . 179--192
Kevin Cleereman and
Michelle Cheatham and
Krishnaprasad Thirunarayan Mechanisms for improved covariant
type-checking . . . . . . . . . . . . . 1--17
Shuangbao Wang and
Zegang Dong and
Jim X. Chen and
Robert S. Ledley PPL: a whole-image processing language 18--24
Nikolaos G. Bourbakis A generic, formal language-based
methodology for hierarchical
floorplanning-placement . . . . . . . . 25--42
Anonymous Reviewers 2007 . . . . . . . . . . . . . 43--43
Wolfgang De Meuter Preface . . . . . . . . . . . . . . . . 45--45
David Röthlisberger and
Marcus Denker and
Éric Tanter Unanticipated partial behavioral
reflection: Adapting applications at
runtime . . . . . . . . . . . . . . . . 46--65
Johan Brichau and
Andy Kellens and
Kris Gybels and
Kim Mens and
Robert Hirschfeld and
Theo D'Hondt Application-specific models and
pointcuts using a logic metalanguage . . 66--82
Alexandre Bergel and
Stéphane Ducasse and
Oscar Nierstrasz and
Roel Wuyts Stateful traits and their formalization 83--108
Alexandre Bergel and
Stéphane Ducasse and
Colin Putney and
Roel Wuyts Creating sophisticated development tools
with OmniBrowser . . . . . . . . . . . . 109--129
Luc Fabresse and
Christophe Dony and
Marianne Huchard Foundations of a simple and unified
component-oriented language . . . . . . 130--149
Bruce Childers and
Mahmut Kandemir Preface . . . . . . . . . . . . . . . . 151--152
Pao-Ann Hsiung and
Shang-Wei Lin Automatic synthesis and verification of
real-time embedded software for mobile
and ubiquitous systems . . . . . . . . . 153--169
Dong-Heon Jung and
JongKuk Park and
Sung-Hwan Bae and
Jaemok Lee and
Soo-Mook Moon Efficient exception handling in Java
bytecode-to-C ahead-of-time compiler for
embedded systems . . . . . . . . . . . . 170--183
Arquimedes Canedo and
Ben Abderazek and
Masahiro Sowa A new code generation algorithm for
2-offset producer order queue
computation model . . . . . . . . . . . 184--194
Edward K. Walters II and
J. Eliot B. Moss and
Trek Palmer and
Timothy Richards and
Charles C. Weems CASL: a rapid-prototyping language for
modern micro-architectures . . . . . . . 195--211
Serge Demeyer and
Jean-François Perrot Guest Editor Introduction . . . . . . . 1--1
Damien Cassou and
Stéphane Ducasse and
Roel Wuyts Traits at work: The design of a new
trait-based stream library . . . . . . . 2--20
Lukas Renggli and
Oscar Nierstrasz Transactional memory in a dynamic
language . . . . . . . . . . . . . . . . 21--30
Charlotte Herzeel and
Kris Gybels and
Pascal Costanza and
Coen De Roover and
Theo D'Hondt Forward chaining in HALO: An
implementation strategy for
history-based logic pointcuts . . . . . 31--47
Niklaus Haldiman and
Marcus Denker and
Oscar Nierstrasz Practical, pluggable types for a dynamic
language . . . . . . . . . . . . . . . . 48--62
Adrian Lienhard and
Stéphane Ducasse and
Tudor G\^\irba Taking an object-centric view on dynamic
information with object flow analysis 63--79
Tom Van Cutsem and
Stijn Mostinckx and
Wolfgang De Meuter Linguistic symbiosis between event loop
actors and threads . . . . . . . . . . . 80--98
Anonymous List of reviewers 2008 . . . . . . . . . 99--99
Francesco Logozzo Class invariants as abstract
interpretation of trace semantics . . . 100--142
A. Dovier and
E. Quintarelli Applying model-checking to solve queries
on semistructured data . . . . . . . . . 143--172
Masataka Sassa and
Yo Ito and
Masaki Kohama Comparison and evaluation of
back-translation algorithms for static
single assignment forms . . . . . . . . 173--195
Christos Pavlatos and
Alexandros C. Dimopoulos and
Andrew Koulouris and
Theodore Andronikos and
Ioannis Panagopoulos and
George Papakonstantinou Efficient reconfigurable embedded
parsers . . . . . . . . . . . . . . . . 196--215
Stergios Papadimitriou and
Konstantinos Terzidis jLab: Integrating a scripting
interpreter with Java technology for
flexible and efficient scientific
computation . . . . . . . . . . . . . . 217--240
Saso Greiner and
Janez Brest and
Viljem Zumer Zero --- a blend of static typing and
dynamic metaprogramming . . . . . . . . 241--251
Hai-Feng Guo and
Gopal Gupta Dynamic reordering of alternatives for
definite logic programs . . . . . . . . 252--265
Stefan Schaeckeler and
Weijia Shang Optimizing the stack size of recursive
functions . . . . . . . . . . . . . . . 266--276
Roman Gumzej and
Matjaz Colnaric and
Wolfgang A. Halang Safety shell for specification-PEARL
oriented UML real-time projects . . . . 277--292
Hiu Ning (Angela) Chan and
Andrew J. Gallagher and
Appu S. Goundan and
Yi Lin William Au Yeung and
Aaron W. Keen and
Ronald A. Olsson Generic operations and capabilities in
the JR concurrent programming language 293--305
Bard Bloom and
Paul Keyser and
Ian Simmonds and
Mark Wegman Ferret: Programming language support for
multiple dynamic classification . . . . 306--321
Adenilso Simão and
José Carlos Maldonado and
Roberto da Silva Bigonha A transformational language for mutant
description . . . . . . . . . . . . . . 322--339
R. Daniel Resler and
Victor Winter A higher-order strategy for eliminating
common subexpressions . . . . . . . . . 341--364
Hanne Riis Nielson and
Flemming Nielson A monotone framework for CCS . . . . . . 365--394
Ana M. Roldan and
Ernesto Pimentel and
Antonio Brogi Software composition with Linda . . . . 395--405
Zhi-jie Li and
Chun-tian Cheng and
Fei-xue Huang Utility-driven solution for optimal
resource allocation in computational
grid . . . . . . . . . . . . . . . . . . 406--421
Guija Choe and
Young-Kwang Nam and
Joseph Goguen and
Guilian Wang Query generation for retrieving data
from distributed semistructured
documents using a metadata interface . . 422--434
José de Oliveira Guimarães The Green language type system . . . . . 435--447
Marcelo G. Armentano and
Analía A. Amandi A framework for attaching personal
assistants to existing applications . . 448--463
Anonymous Editorial Board / Publication
information . . . . . . . . . . . . . . ??
Anonymous List of reviewers 2009 . . . . . . . . . 1--1
Minhaj Ahmad Khan Feedback-directed specialization of code 2--15
Xiaoqing Wu and
Barrett R. Bryant and
Jeff Gray and
Marjan Mernik Component-based LR parsing . . . . . . . 16--33
Xiao Yan Deng and
Greg Michaelson and
Phil Trinder Cost-driven autonomous mobility . . . . 34--59
Nicu G. Fruja Towards proving type safety of C# . . . 60--95
Srihari Sukumaran and
Ashok Sreenivas and
Ravindra Metta The dependence condition graph: Precise
conditions for dependence between
program points . . . . . . . . . . . . . 96--121
Daniel Fernández Lanvin and
Raúl Izquierdo Castanedo and
Aquilino Adolfo Juan Fuente and
Alberto Manuel Fernández Álvarez Extending object-oriented languages with
backward error recovery integrated
support . . . . . . . . . . . . . . . . 123--141
B. Silvestre and
S. Rossetto and
N. Rodriguez and
J.-P. Briot Flexibility and coordination in
event-based, loosely coupled,
distributed systems . . . . . . . . . . 142--157
Enrico Pontelli and
Hung Viet Le and
Tran Cao Son An investigation in parallel execution
of answer set programs on distributed
memory platforms: Task sharing and
dynamic scheduling . . . . . . . . . . . 158--202
Alexandros C. Dimopoulos and
Christos Pavlatos and
George Papakonstantinou A platform for the automatic generation
of attribute evaluation hardware systems 203--222
Saverio Perugini and
Naren Ramakrishnan Program transformations for information
personalization . . . . . . . . . . . . 223--249
Cesar J. Philippidis and
Weijia Shang On minimizing register usage of linearly
scheduled algorithms with uniform
dependencies . . . . . . . . . . . . . . 250--267
Philip W. L. Fong and
Simon Orr Isolating untrusted software extensions
by custom scoping rules . . . . . . . . 268--287
Cristian Mateos and
Alejandro Zunino and
Marcelo Campo An approach for non-intrusively adding
malleable fork/join parallelism into
ordinary JavaBean compliant applications 288--315
Avinash Malik and
Zoran Salcic and
Partha S. Roop and
Alain Girault SystemJ: a GALS language for system
level design . . . . . . . . . . . . . . 317--344
Sasa N. Malkov Customizing a functional programming
language for Web development . . . . . . 345--351
Mayla Brus\`o and
Agostino Cortesi Non-repudiation analysis using LySa with
annotations . . . . . . . . . . . . . . 352--377
Anonymous Editorial Board / Publication
information . . . . . . . . . . . . . . ??
Anonymous List of reviewers 2010 . . . . . . . . . 1--1
J. L. Pastrana and
E. Pimentel and
M. Katrib QoS-enabled and self-adaptive connectors
for Web Services composition and
coordination . . . . . . . . . . . . . . 2--23
Agostino Cortesi and
Matteo Zanioli Widening and narrowing operators for
abstract interpretation . . . . . . . . 24--42
Bruno Cabral and
Paulo Marques A transactional model for automatic
exception handling . . . . . . . . . . . 43--61
Chi-Chung Lam and
Thomas Rauber and
Gerald Baumgartner and
Daniel Cociorva and
P. Sadayappan Memory-optimal evaluation of expression
trees involving large objects . . . . . 63--75
Sven Groppe and
Jinghua Groppe and
Niklas Klein and
Ralf Bettentrupp and
Stefan Böttcher and
Le Gruenwald Transforming XSLT stylesheets into
XQuery expressions and vice versa . . . 76--111
Pierre Jouvelot and
Yann Orlarey Dependent vector types for data
structuring in multirate Faust . . . . . 113--131
Alexandre Bergel Reconciling method overloading and
dynamically typed scripting languages 132--150
Iztok Fister, Jr. and
Iztok Fister and
Marjan Mernik and
Janez Brest Design and implementation of
domain-specific language easytime . . . 151--167
Ozcan Ozturk Reducing memory space consumption
through dataflow analysis . . . . . . . 168--177
F. Bergenti and
L. Chiarabini and
G. Rossi Programming with partially specified
aggregates in Java . . . . . . . . . . . 178--192
Minhaj Ahmad Khan Improving performance through deep value
profiling and specialization with code
transformation . . . . . . . . . . . . . 193--203
Anonymous Publisher's note . . . . . . . . . . . . 204--204
Mariano Martinez Peck and
Noury Bouraqadi and
Stéphane Ducasse and
Luc Fabresse Object swapping challenges: an
evaluation of imageSegment . . . . . . . 1--15
Alexandre Bergel and
Felipe Bañados and
Romain Robbes and
David Röthlisberger Spy: a flexible code profiling framework 16--28
Luc Fabresse and
Noury Bouraqadi and
Christophe Dony and
Marianne Huchard A language to bridge the gap between
component-based design and
implementation . . . . . . . . . . . . . 29--43
Verónica Uquillas Gómez and
Stéphane Ducasse and
Theo D'Hondt Ring: a unifying meta-model and
infrastructure for Smalltalk source code
analysis tools . . . . . . . . . . . . . 44--60
Fabrizio Perin and
Lukas Renggli and
Jorge Ressia Linguistic style checking with program
checking tools . . . . . . . . . . . . . 61--72
Juan Rolando Reza Java supervenience . . . . . . . . . . . 73--97
J. Morris Chang and
Wei-Mei Chen and
Paul A. Griffin and
Ho-Yuan Cheng Cyclic reference counting by typed
reference fields . . . . . . . . . . . . 98--107
Rubén Mondéjar and
Pedro García-López and
Enrique Fernández-Casado and
Carles Pairot TaKo: Providing transparent
collaboration on single-user
applications . . . . . . . . . . . . . . 108--121
Anonymous Reviewers 2011 . . . . . . . . . . . . . 122--122
Raju Halder and
Agostino Cortesi Abstract interpretation of database
query languages . . . . . . . . . . . . 123--157
Vivek Nigam and
Limin Jia and
Boon Thau Loo and
Andre Scedrov Maintaining distributed logic programs
incrementally . . . . . . . . . . . . . 158--180
Nikos Tzevelekos Program equivalence in a simple language
with state . . . . . . . . . . . . . . . 181--198
Jorge Barbosa and
Fabiane Dillenburg and
Gustavo Lermen and
Alex Garzão and
Cristiano Costa and
João Rosa Towards a programming model for
context-aware applications . . . . . . . 199--213
James Gil de Lamadrid and
Jill Zimmerman Core FOBS: a hybrid functional and
object-oriented language . . . . . . . . 214--241
Vasileios Koutavas and
Matthew Hennessy First-order reasoning for higher-order
concurrency . . . . . . . . . . . . . . 242--277
Marcel Krizevnik and
Matjaz B. Juric Data-bound variables for WS--BPEL
executable processes . . . . . . . . . . 279--299
Michael English and
Tony Cahill and
Jim Buckley Construct specific coupling measurement
for C++ software . . . . . . . . . . . . 300--319
Wenchao Zhou and
Tao Tao and
Boon Thau Loo and
Yun Mao Declarative secure distributed
information systems . . . . . . . . . . 1--24
Florian Brandner and
Quentin Colombet Elimination of parallel copies using
code motion on data dependence graphs 25--47
Anonymous Reviewers 2012 . . . . . . . . . . . . . 48--48
Lennart Beringer and
Robert Grabowski and
Martin Hofmann Verifying pointer and string analyses
with region type systems . . . . . . . . 49--65
Herbert Prähofer and
Roland Schatz and
Christian Wirth and
Dominik Hurnaus and
Hanspeter Mössenböck Monaco --- a domain-specific language
solution for reactive process control
programming with hierarchical components 67--94
Gong Dandan and
Wang Tiantian and
Su Xiaohong and
Ma Peijun A test-suite reduction approach to
improving fault-localization
effectiveness . . . . . . . . . . . . . 95--108
Sepehr Amir-Mohammadian and
Mehran S. Fallah Noninterference in a predicative
polymorphic calculus for access control 109--120
Marjan Mernik and
Barrett R. Bryant Special issue on the Programming
Languages track at the 27th ACM
Symposium on Applied Computing . . . . . 121--122
Christian Häubl and
Christian Wimmer and
Hanspeter Mössenböck Context-sensitive trace inlining for
Java . . . . . . . . . . . . . . . . . . 123--141
Davide Ancona Regular corecursion in Prolog . . . . . 142--162
David Haraburda and
Paul Tarau Binary trees as a computational
framework . . . . . . . . . . . . . . . 163--181
Marjan Mernik and
Barrett R. Bryant Special issue on the Programming
Languages track at the 28th ACM
Symposium on Applied Computing . . . . . 1--1
Walter Cazzola and
Edoardo Vacchi @Java: Bringing a richer annotation
model to Java . . . . . . . . . . . . . 2--18
P. Maier and
R. Stewart and
P. W. Trinder Reliable scalable symbolic computation:
the design of SymGridPar2 . . . . . . . 19--35
Igor Rafael de Assis Costa and
Henrique Nazaré Santos and
Péricles Rafael Alves and
Fernando Magno Quintão Pereira Just-in-time value specialization . . . 37--52
Hidayet Burak Saritas and
Geylani Kardas A model driven architecture for the
development of smart card software . . . 53--72
Giuseppe Della Penna Model checking XSL transformations . . . 73--97
Yoonseok Ko and
Kihong Heo and
Hakjoo Oh A sparse evaluation technique for
detailed semantic analyses . . . . . . . 99--111
Tom Van Cutsem and
Elisa Gonzalez Boix and
Christophe Scholliers and
Andoni Lombide Carreton and
Dries Harnie and
Kevin Pinte and
Wolfgang De Meuter AmbientTalk: programming responsive
mobile peer-to-peer applications with
actors . . . . . . . . . . . . . . . . . 112--136
Max Kanovich and
Tajana Ban Kirigin and
Vivek Nigam and
Andre Scedrov Bounded memory protocols . . . . . . . . 137--154
Florian Brandner and
Alexander Jordan Refinement of worst-case execution time
bounds by graph pruning . . . . . . . . 155--170
Vassilios Karakoidas and
Dimitris Mitropoulos and
Panagiotis Louridas and
Diomidis Spinellis A type-safe embedding of SQL into Java
using the extensible compiler framework
J% . . . . . . . . . . . . . . . . . . . 1--20
Vasilios Kelefouras and
Angeliki Kritikakou and
Costas Goutis A methodology for speeding up loop
kernels by exploiting the software
information and the memory architecture 21--41
Juan José Cadavid and
Benoit Combemale and
Benoit Baudry An analysis of metamodeling practices
for MOF and OCL . . . . . . . . . . . . 42--65
Anonymous Reviewers 2014 . . . . . . . . . . . . . 66--66
Barrett R. Bryant Special issue on the programming
languages track at the 29th ACM
Symposium on Applied Computing . . . . . 1
Frédéric Dabrowski and
Frédéric Loulergue and
Thomas Pinsard A formal semantics of nested atomic
sections with thread escape . . . . . . 2--21
Marco Patrignani and
Dave Clarke Fully abstract trace semantics for
protected module architectures . . . . . 22--45
Leonardo V. S. Reis and
Vladimir O. Di Iorio and
Roberto S. Bigonha An on-the-fly grammar modification
mechanism for composing and defining
extensible languages . . . . . . . . . . 46--59
Edoardo Vacchi and
Walter Cazzola Neverlang: a framework for
feature-oriented language development 1--40
Agostino Cortesi and
Giulia Costantini and
Pietro Ferrara The abstract domain of Trapezoid Step
Functions . . . . . . . . . . . . . . . 41--68
Aleksandar Popovic and
Ivan Lukovic and
Vladimir Dimitrieski and
Verislav Djukic A DSL for modeling application-specific
functionalities of business applications 69--95
Jiunn-Yeu Chen and
Wuu Yang and
Bor-Yeh Shen and
Yuan-Jia Li and
Wei-Chung Hsu Automatic validation for binary
translation . . . . . . . . . . . . . . 96--115
Galina Besova and
Dominik Steenken and
Heike Wehrheim Grammar-based model transformations:
Definition, execution, and quality
properties . . . . . . . . . . . . . . . 116--138
Alberto Rodrigues da Silva Model-driven engineering: a survey
supported by the unified conceptual
model . . . . . . . . . . . . . . . . . 139--155
Benoit Combemale and
David J. Pearce and
Richard F. Paige and
Eric Van Wyk Special Issue on the 6th and 7th
International Conferences on Software
Language Engineering (SLE 2013 and SLE
2014) . . . . . . . . . . . . . . . . . 1--2
Emma Söderberg and
Görel Hedin Declarative rewriting through circular
nonterminal attributes . . . . . . . . . 3--23
Sebastian Erdweg and
Tijs van der Storm and
Markus Völter and
Laurence Tratt and
Remi Bosman and
William R. Cook and
Albert Gerritsen and
Angelo Hulshout and
Steven Kelly and
Alex Loh and
Gabriël Konat and
Pedro J. Molina and
Martin Palatnik and
Risto Pohjonen and
Eugen Schindler and
Klemens Schindler and
Riccardo Solmi and
Vlad Vergu and
Eelco Visser and
Kevin van der Vlist and
Guido Wachsmuth and
Jimi van der Woning Evaluating and comparing language
workbenches: Existing results and
benchmarks for the future . . . . . . . 24--47
Andrei Arusoaie and
Dorel Lucanu and
Vlad Rusu Symbolic execution based on language
transformation . . . . . . . . . . . . . 48--71
Petra Kaufmann and
Martin Kronegger and
Andreas Pfandler and
Martina Seidl and
Magdalena Widl Intra- and interdiagram consistency
checking of behavioral multiview models 72--88
Andrei Chis and
Marcus Denker and
Tudor G\^\irba and
Oscar Nierstrasz Practical domain-specific debuggers
using the Moldable Debugger framework 89--113
Jan Kurs and
Mircea Lungu and
Rathesan Iyadurai and
Oscar Nierstrasz Bounded seas . . . . . . . . . . . . . . 114--140
Hans-Wolfgang Loidl and
Ricardo Peña Editorial of Special Issue Trends in
Functional Programming 2011/12 . . . . . 141--142
Josef Svenningsson and
Emil Axelsson Combining deep and shallow embedding of
domain-specific languages . . . . . . . 143--165
Sjaak Smetsers and
Marko van Eekelen Derivation and inference of higher-order
strictness types . . . . . . . . . . . . 166--180
Marco T. Morazán Generative and accumulative recursion
made fun for beginners . . . . . . . . . 181--197
Edd Barrett and
Carl Friedrich Bolz and
Laurence Tratt Approaches to interpreter composition 199--217
Alejandro Sanchez and
Alexandre Madeira and
Luís S. Barbosa On the verification of architectural
reconfigurations . . . . . . . . . . . . 218--237
Artur Kornilowicz Flexary connectives in Mizar . . . . . . 238--250
Heejong Park and
Avinash Malik and
Zoran Salcic Compiling and verifying SC-SystemJ
programs for safety-critical reactive
systems . . . . . . . . . . . . . . . . 251--282
Kwanghoon Choi and
Byeong-Mo Chang A lightweight approach to
component-level exception mechanism for
robust Android apps . . . . . . . . . . 283--298
Vladimir Dimitrieski and
Milan Celikovi\'c and
Slavica Aleksi\'c and
Sonja Risti\'c and
Abdalla Alargt and
Ivan Lukovi\'c Concepts and evaluation of the extended
entity-relationship approach to database
design in a multi-paradigm information
system modeling tool . . . . . . . . . . 299--318
Elaheh Azadi Marand and
Elham Azadi Marand and
Moharram Challenger DSML4CP: a Domain-specific Modeling
Language for Concurrent Programming . . 319--341
Onur Ülgen and
Mutlu Avci The intelligent memory allocator
selector . . . . . . . . . . . . . . . . 342--354
Viktória Förd\Hos and
Melinda Tóth Supporting comprehensible presentation
of clone candidates through
two-dimensional maximisation . . . . . . 355--365
Khalid Aljasser Implementing design patterns as
parametric aspects using ParaAJ: the
case of the singleton, observer, and
decorator design patterns . . . . . . . 1--15
Walter Cazzola and
Edoardo Vacchi Language components for modular DSLs
using traits . . . . . . . . . . . . . . 16--34
Maria João Varanda Pereira and
João Fonseca and
Pedro Rangel Henriques Ontological approach for DSL development 35--52
Ali Jafari and
Ehsan Khamespanah and
Haukur Kristinsson and
Marjan Sirjani and
Brynjar Magnusson Statistical model checking of Timed
Rebeca models . . . . . . . . . . . . . 53--79
Alessandro Ricci Programming with event loops and control
loops --- From actors to agents . . . . 80--104
Dominik Charousset and
Raphael Hiesgen and
Thomas C. Schmidt Revisiting actor programming in C++ . . 105--131
Joeri De Koster and
Stefan Marr and
Tom Van Cutsem and
Theo D'Hondt Domains: Sharing state in the
communicating event-loop actor model . . 132--160
Philipp Haller and
Elisa Gonzalez Boix Special issue on the 3rd and 4th ACM
SIGPLAN workshops on programming based
on actors, agents, and decentralized
control (AGERE! 2013/2014) . . . . . . . 161--162
Barrett R. Bryant Special issue on the programming
languages track at the 30th ACM
Symposium on Applied Computing . . . . . 163
Irene Córdoba-Sánchez and
Juan de Lara Ann: a domain-specific language for the
effective design and validation of Java
annotations . . . . . . . . . . . . . . 164--190
Reed Milewicz and
Rajesh Vanka and
James Tuck and
Daniel Quinlan and
Peter Pirkelbauer Lightweight runtime checking of $C$
programs with RTC . . . . . . . . . . . 191--203
Edd Barrett and
Carl Friedrich Bolz and
Laurence Tratt Approaches to interpreter composition 199--217
Hai-Feng Guo A semantic approach for automated test
oracle generation . . . . . . . . . . . 204--219
Alejandro Sanchez and
Alexandre Madeira and
Luís S. Barbosa On the verification of architectural
reconfigurations . . . . . . . . . . . . 218--237
Artur Kornilowicz Flexary connectives in Mizar . . . . . . 238--250
Heejong Park and
Avinash Malik and
Zoran Salcic Compiling and verifying SC-SystemJ
programs for safety-critical reactive
systems . . . . . . . . . . . . . . . . 251--282
Kwanghoon Choi and
Byeong-Mo Chang A lightweight approach to
component-level exception mechanism for
robust Android apps . . . . . . . . . . 283--298
Vladimir Dimitrieski and
Milan Celikovi\'c and
Slavica Aleksi\'c and
Sonja Risti\'c and
Abdalla Alargt and
Ivan Lukovi\'c Concepts and evaluation of the extended
entity-relationship approach to database
design in a multi-paradigm information
system modeling tool . . . . . . . . . . 299--318
Elaheh Azadi Marand and
Elham Azadi Marand and
Moharram Challenger DSML4CP: a Domain-specific Modeling
Language for Concurrent Programming . . 319--341
Onur Ülgen and
Mutlu Avci The intelligent memory allocator
selector . . . . . . . . . . . . . . . . 342--354
Viktória Förd\Hos and
Melinda Tóth Supporting comprehensible presentation
of clone candidates through
two-dimensional maximisation . . . . . . 355--365
S. Vidal and
A. Bergel and
J. A. Díaz-Pace and
C. Marcos Over-exposed classes in Java: an
empirical study . . . . . . . . . . . . 1--19
Zeinab Iranmanesh and
Mehran S. Fallah Specification and static enforcement of
scheduler-independent noninterference in
a middleweight Java . . . . . . . . . . 20--43
Matús Sulír and
Milan Nosál and
Jaroslav Porubän Recording concerns in source code using
annotations . . . . . . . . . . . . . . 44--65
Elena Planas and
Jordi Cabot and
Cristina Gómez Lightweight and static verification of
UML executable models . . . . . . . . . 66--90
Radomír Polách and
Jan Trávnícek and
Jan Janousek and
Borivoj Melichar Efficient determinization of visibly and
height-deterministic pushdown automata 91--105
Huseyin Ergin and
Eugene Syriani and
Jeff Gray Design pattern oriented development of
model transformations . . . . . . . . . 106--139
Steven Capelli and
Patrizia Scandurra A framework for early design and
prototyping of service-oriented
applications with design patterns . . . 140--166
Rekha R. Pai Detection of redundant expressions: a
precise, efficient, and pragmatic
algorithm in SSA . . . . . . . . . . . . 167--181
S. M. Farhad and
Muhammad Ali Nayeem and
Md. Khaledur Rahman and
M. Sohel Rahman Mapping stream programs onto multicore
platforms by local search and genetic
algorithm . . . . . . . . . . . . . . . 182--205
David Méndez-Acuña and
José A. Galindo and
Thomas Degueule and
Beno\^\it Combemale and
Beno\^\it Baudry Leveraging Software Product Lines
Engineering in the development of
external DSLs: a systematic literature
review . . . . . . . . . . . . . . . . . 206--235
Anonymous Thank you Reviewers: 2016 . . . . . . . i--ii
Deepak D'Souza and
Akash Lal Special issue on the 16th International
Conference on Verification, Model
Checking, and Abstract Interpretation 1--1
Bishoksan Kafle and
John P. Gallagher Horn clause verification with convex
polyhedral abstraction and tree
automata-based refinement . . . . . . . 2--18
Khalil Ghorbal and
Andrew Sogokon and
André Platzer A hierarchy of proof rules for checking
positive invariance of algebraic and
semi-algebraic sets . . . . . . . . . . 19--43
Assalé Adjé and
Pierre-Lo\"\ic Garoche Automatic synthesis of $k$-inductive
piecewise quadratic invariants for
switched affine control programs . . . . 44--61
Andrei Dan and
Yuri Meshman and
Martin Vechev and
Eran Yahav Effective abstractions for verification
under relaxed memory models . . . . . . 62--76
Caterina Urban and
Antoine Miné Inference of ranking functions for
proving temporal properties by abstract
interpretation . . . . . . . . . . . . . 77--103
Jiangchao Liu and
Xavier Rival An array content static analysis based
on non-contiguous partitions . . . . . . 104--129
Tomasz Marek Kowalski and
Rados\law Adamus Optimisation of language-integrated
queries by query unnesting . . . . . . . 131--150
Ruchika Malhotra Special issue on search-based techniques
and their hybridizations in software
engineering . . . . . . . . . . . . . . 151--152
Amarjeet and
Jitender Kumar Chhabra Harmony search based remodularization
for object-oriented software systems . . 153--169
Reed Milewicz and
Peter Pirkelbauer Refinement of structural heuristics for
model checking of concurrent programs
through data mining . . . . . . . . . . 170--188
Reza Karimpour and
Guenther Ruhe Evolutionary robust optimization for
software product line scoping: an
explorative study . . . . . . . . . . . 189--210
Ankita Bansal Empirical analysis of search based
algorithms to identify change prone
classes of open source software . . . . 211--231
Aniruddha Gokhale and
Kenichi Asai and
Ulrik Pagh Schultz Special Issue on the 2015 International
Conference on Generative Programming:
Concepts & Experiences (GPCE) . . . . . . 1--2
Sanchit Chadha and
Antuan Byalik and
Eli Tilevich and
Alla Rozovskaya Facilitating the development of
cross-platform software via automated
code synthesis from web-based
programming resources . . . . . . . . . 3--19
Jaime Font and
Lorena Arcega and
Òystein Haugen and
Carlos Cetina Leveraging variability modeling to
address metamodel revisions in
Model-based Software Product Lines . . . 20--38
Pablo Inostroza and
Tijs van der Storm Modular interpreters with implicit
context propagation . . . . . . . . . . 39--67
Alexey Kolesnichenko and
Christopher M. Poskitt and
Sebastian Nanz SafeGPU: Contract- and library-based
GPGPU for object-oriented languages . . 68--88
Christoph Seidl and
Sven Schuster and
Ina Schaefer Generative software product line
development using variability-aware
design patterns . . . . . . . . . . . . 89--111
Mohamed Mejri and
Hamdi Yahyaoui Formal specification and integration of
distributed security policies . . . . . 1--35
Salvador Martínez and
Valerio Cosentino and
Jordi Cabot Model-based analysis of Java EE web
security misconfigurations . . . . . . . 36--61
Noah Van Es and
Quentin Stievenart and
Jens Nicolay and
Theo D'Hondt and
Coen De Roover Implementing a performant Scheme
interpreter for the web in \tt asm.js 62--81
Jinesh M. Kannimoola and
Bharat Jayaraman and
Pallavi Tambay and
Krishnashree Achuthan Temporal constrained objects:
Application and implementation . . . . . 82--100
Milan Nosál and
Jaroslav Porubän and
Matús Sulír Customizing host IDE for non-programming
users of pure embedded DSLs: a case
study . . . . . . . . . . . . . . . . . 101--118
A. Naumchev and
B. Meyer Seamless requirements . . . . . . . . . 119--132
Enrique Chavarriaga and
Francisco Jurado and
Fernando Díez An approach to build XML-based domain
specific languages solutions for
client-side web applications . . . . . . 133--151
Pablo Gómez-Abajo and
Esther Guerra and
Juan de Lara A domain-specific language for model
mutation and its application to the
automated generation of exercises . . . 152--173
Davide Di Ruscio and
Juan de Lara and
Alfonso Pierantonio Special issue on Flexible Model Driven
Engineering . . . . . . . . . . . . . . 174--175
Thomas Degueule and
Benoit Combemale and
Arnaud Blouin and
Olivier Barais and
Jean-Marc Jézéquel Safe model polymorphism for flexible
modeling . . . . . . . . . . . . . . . . 176--195
Daniel Strüber and
Felix Rieger and
Gabriele Taentzer A text-based visual notation for the
unit testing of model-driven tools . . . 196--215
Athanasios Zolotas and
Robert Clarisó and
Nicholas Matragkas and
Dimitrios S. Kolovos and
Richard F. Paige Constraint programming for type
inference in flexible model-driven
engineering . . . . . . . . . . . . . . 216--230
Vinay Arora and
Rajesh Bhatia and
Maninder Singh Synthesizing test scenarios in UML
activity diagram using a bio-inspired
approach . . . . . . . . . . . . . . . . 1--19
Jim Buffenbarger Amake: cached builds of top-level
targets . . . . . . . . . . . . . . . . 20--30
Youichi Horry Financial information description
language and visualization/analysis
tools . . . . . . . . . . . . . . . . . 31--52
Chakib Mustapha Anouar Zouaoui and
Nasreddine Taleb CL\_ARRAY: a new generic library of
multidimensional containers for C++
compilers with extension for OpenCL
framework . . . . . . . . . . . . . . . 53--81
Flemming Nielson and
Hanne Riis Nielson Atomistic Galois insertions for flow
sensitive integrity . . . . . . . . . . 82--107
Bostjan Slivnik On different LL and LR parsers used in
LLLR parsing . . . . . . . . . . . . . . 108--126
Amir Ashamalla and
Ghassan Beydoun and
Graham Low Model driven approach for real-time
requirement analysis of multi-agent
systems . . . . . . . . . . . . . . . . 127--139
Geylani Kardas and
Jorge J. Gomez-Sanz Special issue on model-driven
engineering of multi-agent systems in
theory and practice . . . . . . . . . . 140--141
Federico Bergenti and
Eleonora Iotti and
Stefania Monica and
Agostino Poggi Agent-oriented model-driven development
for JADE with the JADEL programming
language . . . . . . . . . . . . . . . . 142--158
Yves Wautelet and
Samedi Heng and
Soreangsey Kiv and
Manuel Kolp User-story driven development of
multi-agent systems: a process fragment
for agile methods . . . . . . . . . . . 159--176
Amarjeet and
Jitender Kumar Chhabra FP-ABC: Fuzzy-Pareto dominance driven
artificial bee colony algorithm for
many-objective software module
clustering . . . . . . . . . . . . . . . 1--21
Maarten Vandercammen and
Stefan Marr and
Coen De Roover A flexible framework for studying
trace-based just-in-time compilation . . 22--47
Ana Maria Sut\^\ii and
Mark van den Brand and
Tom Verhoeff Exploration of modularity and
reusability of domain-specific
languages: an expression DSL in MetaMod 48--70
Walter Cazzola and
Ruzanna Chitchyan and
Awais Rashid and
Albert Shaqiri $ \mu $-DSU: a Micro-Language Based
Approach to Dynamic Software Updating 71--89
Eden Burton and
Emil Sekerinski An object model for dynamic mixins . . . 90--101
Dietmar Seipel and
Falco Nogatz and
Salvador Abreu Domain-specific languages in Prolog for
declarative expert knowledge in rules
and ontologies . . . . . . . . . . . . . 102--117
Ankica Barisi\'c and
Vasco Amaral and
Miguel Goulão Usability driven DSL development with
USE-ME . . . . . . . . . . . . . . . . . 118--157
Somaia A. Hassan and
Mountasser M. M. Mahmoud and
A. M. Hemeida and
Mahmoud A. Saber Effective Implementation of
Matrix--Vector Multiplication on Intel's
AVX multicore Processor . . . . . . . . 158--175
Anonymous Editorial Board . . . . . . . . . . . . ii--ii
Davorka Radakovi\'c and
\Ethor\ethe Herceg Towards a completely extensible dynamic
geometry software with metadata . . . . 1--20
Ivano Azzini and
Ronal Muresano and
Marco Ratto Dragonfly: a multi-platform parallel
toolbox for MATLAB/Octave . . . . . . . 21--42
Eugene Syriani and
Lechanceux Luhunu and
Houari Sahraoui Systematic mapping study of
template-based code generation . . . . . 43--62
Jurriaan Hage and
Jay McCarthy Special issue on Trends in Functional
Programming 2013/14 . . . . . . . . . . 63--64
Joachim Breitner Call Arity . . . . . . . . . . . . . . . 65--91
Maarten Faddegon and
Olaf Chitil Type generic observation of intermediate
data structures for debugging lazy
functional programs . . . . . . . . . . 92--110
Anonymous Editorial Board . . . . . . . . . . . . ii--ii
Pedro Pinto and
Tiago Carvalho and
João Bispo and
Miguel António Ramalho and
João M. P. Cardoso Aspect composition for multiple target
languages using LARA . . . . . . . . . . 1--26
Mengmeng Zhu and
Hoang Pham A two-phase software reliability
modeling involving with software fault
dependency and imperfect fault removal 27--42
Christoph Rieger and
Herbert Kuchen A process-oriented modeling approach for
graphical development of mobile business
apps . . . . . . . . . . . . . . . . . . 43--58
David Insa and
Josep Silva Automatic assessment of Java code . . . 59--72
Elder Rodrigues and
Ricardo Terra How do developers use dynamic features?
The case of Ruby . . . . . . . . . . . . 73--89
Mora Segura Ángel and
Juan de Lara and
Patrick Neubauer and
Manuel Wimmer Automated modelling assistance by
integrating heterogeneous information
sources . . . . . . . . . . . . . . . . 90--120
Allan Blanchard and
Nikolai Kosmatov and
Frédéric Loulergue MMFilter: A CHR-Based Solver for
Generation of Executions under Weak
Memory Models . . . . . . . . . . . . . 121--142
Orhan Kislal and
Mahmut T. Kandemir Data access skipping for recursive
partitioning methods . . . . . . . . . . 143--162
Anonymous Editorial Board . . . . . . . . . . . . ii--ii
Michal Sicák and
Ján Kollár Supercombinator set acquired from
context-free grammar samples . . . . . . 1--19
Gennaro Costagliola and
Mattia De Rosa and
Vittorio Fuccella Using the local context for the
definition and implementation of visual
languages . . . . . . . . . . . . . . . 20--38
Tian Zhao and
Xiaobing Huang Design and implementation of DeepDSL: a
DSL for deep learning . . . . . . . . . 39--70
Mert Ozkaya and
Mehmet Alp Kose SAwUML --- UML-based, contractual
software architectures and their formal
analysis using SPIN . . . . . . . . . . 71--94
Pedro Oliveira and
Pedro Santos Neto and
Ricardo Britto and
Ricardo Rabêlo and
Ronyerison Braga and
Matheus Souza CIaaS --- computational intelligence as
a service with Athena . . . . . . . . . 95--118
Eric Papenhausen and
Klaus Mueller Coding Ants: Optimization of GPU code
using ant colony optimization . . . . . 119--138
Benoit Combemale and
Jörg Kienzle and
Gunter Mussbacher and
Olivier Barais and
Erwan Bousse and
Walter Cazzola and
Philippe Collet and
Thomas Degueule and
Robert Heinrich and
Jean-Marc Jézéquel and
Manuel Leduc and
Tanja Mayerhofer and
Sébastien Mosser and
Matthias Schöttle and
Misha Strittmatter and
Andreas Wortmann Concern-oriented language development
(COLD): Fostering reuse in language
engineering . . . . . . . . . . . . . . 139--155
Jacques Simonin and
John Puentes Automatized integration of a contextual
model into a process with data
variability . . . . . . . . . . . . . . 156--182
Asmaa Chebba and
Thouraya Bouabana-Tebibel and
Stuart H. Rubin Attributed and n-ary relations in OWL
for knowledge modeling . . . . . . . . . 183--198
Duc Minh Le and
Duc-Hanh Dang and
Viet-Ha Nguyen On domain driven design using
annotation-based domain specific
language . . . . . . . . . . . . . . . . 199--235
Abdelkader Ouared and
Yassine Ouhammou and
Ladjel Bellatreche QoSMOS: QoS metrics management tool
suite . . . . . . . . . . . . . . . . . 236--251
Samir Ribi\'c and
Razija Turcinhodzi\'c and
Amela Muratovi\'c-Ribi\'c and
Tomaz Kosar REDOSPLAT: a readable domain-specific
language for timetabling requirements
definition . . . . . . . . . . . . . . . 252--272
Fatemeh Imanimehr and
Mehran S. Fallah On transparent value-sensitive run-time
monitoring for information flow policies 273--296
Andreea Buga and
Atif Mashkoor and
Sorana Tania Nemes and
Klaus-Dieter Schewe and
Pornpan Songprasop An Event-B-based approach to hybrid
systems engineering and its application
to a hemodialysis machine case study . . 297--315
Alfonso de la Vega and
Diego García-Saiz and
Marta Zorrilla and
Pablo Sánchez FLANDM: a development framework of
domain-specific languages for data
mining democratisation . . . . . . . . . 316--336
Gwendal Le Moulec and
Arnaud Blouin and
Valérie Gouranton and
Bruno Arnaldi Automatic production of end user
documentation for DSLs . . . . . . . . . 337--357
Lynda Ait Oubelli and
Yamine A\"\it Ameur and
Judicaël Bedouet and
Romain Kervarc and
Beno\^ìt Chausserie-Laprée and
Béatrice Larzul A scalable model based approach for data
model evolution: Application to space
missions data models . . . . . . . . . . 358--385
Katrin Hölldobler and
Bernhard Rumpe and
Andreas Wortmann Software language engineering in the
large: towards composing and deriving
languages . . . . . . . . . . . . . . . 386--405
Wenbo Zhou and
Lei Liu and
Peng Zhang and
Shuai Lü and
Jingyao Li SDAC: a model for analysis of the
execution semantics of data processing
framework in cloud . . . . . . . . . . . 406--426
Larissa Braz and
Rohit Gheyi and
Melina Mongiovi and
Márcio Ribeiro and
Flávio Medeiros and
Leopoldo Teixeira and
Sabrina Souto A change-aware per-file analysis to
compile configurable systems with
#ifdefs . . . . . . . . . . . . . . . . 427--450
Juliana Alves Pereira and
Pawel Matuszyk and
Sebastian Krieter and
Myra Spiliopoulou and
Gunter Saake Personalized recommender systems for
product-line configuration processes . . 451--471
Vasco Amaral and
Jordi Cabot and
Miguel Goulão Special issue on quality in Model-Driven
Engineering . . . . . . . . . . . . . . 472--473
Martin Gogolla and
Frank Hilken and
Khanh-Hoang Doan Achieving model quality through model
validation, verification and exploration 474--511
Nils Przigoda and
Philipp Niemann and
Jonas Gomes Filho and
Robert Wille and
Rolf Drechsler Frame conditions in the automatic
validation and verification of UML/OCL
models: a symbolic formulation of
modifies only statements . . . . . . . . 512--527
Christian Dernehl and
Jan Kühn and
Stefan Kowalewski Case studies on automated verification
with slope boundaries for block diagrams 528--543
Opeyemi O. Adesina and
Timothy C. Lethbridge and
Stéphane S. Somé and
Vahdat Abdelzad and
Alvine Boaye Belle Improving formal analysis of state
machines with particular emphasis on
and-cross transitions . . . . . . . . . 544--585