Table of contents for issues of Computer Languages

Last update: Wed Jun 19 15:59:31 MDT 2019                Valid HTML 3.2!

Volume 1, Number 1, January, 1975
Volume 1, Number 2, June, 1975
Volume 1, Number 3, September, 1975
Volume 1, Number 4, 1975
Volume 2, Number 1-2, 1976
Volume 2, Number 3, 1977
Volume 2, Number 4, 1977
Volume 3, Number 1, 1978
Volume 3, Number 2, 1978
Volume 3, Number 3, 1978
Volume 3, Number 4, 1978
Volume 4, Number 4, 1978
Volume 4, Number 1, 1979
Volume 4, Number 2, 1979
Volume 4, Number 3-4, 1979
Volume 5, Number 1, 1980
Volume 5, Number 2, 1980
Volume 5, Number 3-4, 1980
Volume 6, Number 1, 1981
Volume 6, Number 2, 1981
Volume 6, Number 3-4, 1981
Volume 7, Number 1, 1982
Volume 7, Number 2, 1982
Volume 7, Number 3-4, 1982
Volume 8, Number 1, 1983
Volume 8, Number 2, 1983
Volume 8, Number 3-4, 1983
Volume 9, Number 1, 1984
Volume 9, Number 2, 1984
Volume 9, Number 3-4, 1984
Volume 10, Number 1, 1985
Volume 10, Number 2, 1985
Volume 10, Number 3-4, 1985
Volume 11, Number 1, 1986
Volume 11, Number 2, 1986
Volume 11, Number 3-4, 1986
Volume 12, Number 1, 1987
Volume 12, Number 2, 1987
Volume 12, Number 3-4, 1987
Volume 5, Number 2, February, 1988
Volume 13, Number 1, 1988
Volume 13, Number 2, 1988
Volume 13, Number 3-4, 1988
Volume 14, Number 1, 1989
Volume 14, Number 2, 1989
Volume 14, Number 3, 1989
Volume 14, Number 4, 1989
Volume 15, Number 1, 1990
Volume 15, Number 2, 1990
Volume 15, Number 3, 1990
Volume 15, Number 4, 1990
Volume 16, Number 1, 1991
Volume 16, Number 2, 1991
Volume 16, Number 3-4, 1991
Volume 17, Number 1, 1992
Volume 17, Number 2, April, 1992
Volume 17, Number 3, July, 1992
Volume 17, Number 4, October, 1992
Volume 18, Number 1, 1993
Volume 18, Number 2, 1993
Volume 18, Number 3, 1993
Volume 18, Number 4, 1993
Volume 19, Number 1, January, 1993
Volume 19, Number 2, April, 1993
Volume 19, Number 3, July, 1993
Volume 19, Number 4, October, 1993
Volume 20, Number 1, March, 1994
Volume 20, Number 2, May, 1994
Volume 20, Number 3, August, 1994
Volume 20, Number 4, November, 1994
Volume 21, Number 1, April, 1995
Volume 21, Number 2, July, 1995
Volume 21, Number 3-4, October / December, 1995
Volume 22, Number 1, April, 1996
Volume 22, Number 2--3, July / October, 1996
Volume 22, Number 4, December, 1996
Volume 23, Number 1, April, 1997
Volume 23, Number 2-4, July / December, 1997
Volume 24, Number 1, April 1, 1998
Volume 24, Number 2, July 1, 1998
Volume 24, Number 3, October 1, 1998
Volume 24, Number 4, December 1, 1998
Volume 25, Number 1, April 1, 1999
Volume 25, Number 2, July, 1999
Volume 25, Number 3, October 1, 2000
Volume 25, Number 4, December, 1999
Volume 26, Number 1, April, 2000
Volume 26, Number 2--4, July, 2000
Volume 27, Number 1--3, April / October, 2001
Volume 27, Number 4, December, 2001
Volume 28, Number 1, April, 2002
Volume 28, Number 2, December 15, 2002
Volume 28, Number 3, October, 2002
Volume 28, Number 4, December, 2002
Volume 29, Number 1--2, April / July, 2003
Volume 29, Number 3, October, 2003
Volume 29, Number 4, December, 2003
Volume 30, Number 1--2, April / July, 2004
Volume 30, Number 3--4, October / December, 2004
Volume 31, Number 1, April, 2005
Volume 31, Number 2, July, 2005
Volume 31, Number 3--4, October / December, 2005
Volume 32, Number 1, April, 2006
Volume 32, Number 2--3, July / October, 2006
Volume 32, Number 4, December, 2006
Volume 33, Number 1, April, 2007
Volume 33, Number 2, July, 2007
Volume 33, Number 3--4, October / December, 2007
Volume 34, Number 1, April, 2008
Volume 34, Number 2--3, July / October, 2008
Volume 34, Number 4, December, 2008
Volume 35, Number 1, April, 2009
Volume 35, Number 2, July, 2009
Volume 35, Number 3, October, 2009
Volume 35, Number 4, December, 2009
Volume 36, Number 1, April, 2010
Volume 36, Number 2, July, 2010
Volume 36, Number 3, October, 2010
Volume 36, Number 4, December, 2010
Volume 37, Number 1, April, 2011
Volume 37, Number 2, July, 2011
Volume 37, Number 3, July, 2011
Volume 37, Number 4, October, 2011
Volume 38, Number 1, April, 2012
Volume 38, Number 2, July, 2012
Volume 38, Number 3, October, 2012
Volume 38, Number 4, December, 2012
Volume 39, Number 1, April, 2013
Volume 39, Number 2, July, 2013
Volume 39, Number 3, October, 2013
Volume 39, Number 4, December, 2013
Volume 40, Number 1, April, 2014
Volume 40, Number 2, 2014
Volume 40, Number 3--4, October / December, 2014
Volume 41, Number ??, April, 2015
Volume 42, Number ??, 2015
Volume 43, Number ??, October, 2015
Volume 44 (part A), Number ??, December, 2015
Volume 44 (part B), 2016
Volume 44 (Part C), Number ??, December, 2015
Volume 45, Number ??, April, 2016
Volume 46, Number ??, November, 2016
Volume 47 (part 1), Number ??, 2017
Volume 47 (Part 2), Number ??, 2017
Volume 48, Number ??, 2017
Volume 49, Number ??, September, 2017
Volume 50, Number ??, December, 2017
Volume 51, Number ??, January, 2018
Volume 52, Number ??, June, 2018
Volume 53, Number ??, September, 2018
Volume 54, Number ??, December, 2018


Computer Languages
Volume 1, Number 1, January, 1975

                      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

Computer Languages
Volume 1, Number 2, June, 1975

                   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

Computer Languages
Volume 1, Number 3, September, 1975

                 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

Computer Languages
Volume 1, Number 4, 1975

                   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


Computer Languages
Volume 2, Number 1-2, 1976

                     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

Computer Languages
Volume 2, Number 3, 1977

                 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

Computer Languages
Volume 2, Number 4, 1977

                    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


Computer Languages
Volume 3, Number 1, 1978

             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

Computer Languages
Volume 3, Number 2, 1978

              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

Computer Languages
Volume 3, Number 3, 1978

            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

Computer Languages
Volume 3, Number 4, 1978

                    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


Computer Languages
Volume 4, Number 4, 1978

              A. Toni Choen and   
                   Leon S. Levy   Structured Flowcharts for
                                  Multiprocessing  . . . . . . . . . . . . 209--226

Computer Languages
Volume 4, Number 1, 1979

        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

Computer Languages
Volume 4, Number 2, 1979

                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

Computer Languages
Volume 4, Number 3-4, 1979

                  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


Computer Languages
Volume 5, Number 1, 1980

                 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

Computer Languages
Volume 5, Number 2, 1980

                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

Computer Languages
Volume 5, Number 3-4, 1980

              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


Computer Languages
Volume 6, Number 1, 1981

         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

Computer Languages
Volume 6, Number 2, 1981

             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

Computer Languages
Volume 6, Number 3-4, 1981

          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


Computer Languages
Volume 7, Number 1, 1982

         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

Computer Languages
Volume 7, Number 2, 1982

           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

Computer Languages
Volume 7, Number 3-4, 1982

          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


Computer Languages
Volume 8, Number 1, 1983

         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

Computer Languages
Volume 8, Number 2, 1983

                  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

Computer Languages
Volume 8, Number 3-4, 1983

             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


Computer Languages
Volume 9, Number 1, 1984

           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

Computer Languages
Volume 9, Number 2, 1984

                    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

Computer Languages
Volume 9, Number 3-4, 1984

            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


Computer Languages
Volume 10, Number 1, 1985

        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

Computer Languages
Volume 10, Number 2, 1985

               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

Computer Languages
Volume 10, Number 3-4, 1985

              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


Computer Languages
Volume 11, Number 1, 1986

               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

Computer Languages
Volume 11, Number 2, 1986

                    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

Computer Languages
Volume 11, Number 3-4, 1986

                 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


Computer Languages
Volume 12, Number 1, 1987

      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

Computer Languages
Volume 12, Number 2, 1987

                 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

Computer Languages
Volume 12, Number 3-4, 1987

                    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


Computer Languages
Volume 5, Number 2, February, 1988

                      Anonymous   C Code for the PC  . . . . . . . . . . . 52


Computer Languages
Volume 13, Number 1, 1988

           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

Computer Languages
Volume 13, Number 2, 1988

                   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

Computer Languages
Volume 13, Number 3-4, 1988

            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


Computer Languages
Volume 14, Number 1, 1989

             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

Computer Languages
Volume 14, Number 2, 1989

          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

Computer Languages
Volume 14, Number 3, 1989

             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

Computer Languages
Volume 14, Number 4, 1989

         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


Computer Languages
Volume 15, Number 1, 1990

                 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

Computer Languages
Volume 15, Number 2, 1990

             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

Computer Languages
Volume 15, Number 3, 1990

            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

Computer Languages
Volume 15, Number 4, 1990

         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


Computer Languages
Volume 16, Number 1, 1991

                  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

Computer Languages
Volume 16, Number 2, 1991

                   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

Computer Languages
Volume 16, Number 3-4, 1991

           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


Computer Languages
Volume 17, Number 1, 1992

          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

Computer Languages
Volume 17, Number 2, April, 1992

            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

Computer Languages
Volume 17, Number 3, July, 1992

                   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

Computer Languages
Volume 17, Number 4, October, 1992

               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


Computer Languages
Volume 18, Number 1, 1993

              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

Computer Languages
Volume 18, Number 2, 1993

                           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

Computer Languages
Volume 18, Number 3, 1993

            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

Computer Languages
Volume 18, Number 4, 1993

             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


Computer Languages
Volume 19, Number 1, January, 1993

                 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

Computer Languages
Volume 19, Number 2, April, 1993

             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

Computer Languages
Volume 19, Number 3, July, 1993

                  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

Computer Languages
Volume 19, Number 4, October, 1993

              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


Computer Languages
Volume 20, Number 1, March, 1994

           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

Computer Languages
Volume 20, Number 2, May, 1994

             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

Computer Languages
Volume 20, Number 3, August, 1994

          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

Computer Languages
Volume 20, Number 4, November, 1994

                 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


Computer Languages
Volume 21, Number 1, April, 1995

                 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

Computer Languages
Volume 21, Number 2, July, 1995

          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

Computer Languages
Volume 21, Number 3-4, October / December, 1995

      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


Computer Languages
Volume 22, Number 1, April, 1996

                  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

Computer Languages
Volume 22, Number 2--3, July / October, 1996

         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

Computer Languages
Volume 22, Number 4, December, 1996

                     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


Computer Languages
Volume 23, Number 1, April, 1997

         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

Computer Languages
Volume 23, Number 2-4, July / December, 1997

                  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


Computer Languages
Volume 24, Number 1, April 1, 1998

                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

Computer Languages
Volume 24, Number 2, July 1, 1998

                 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

Computer Languages
Volume 24, Number 3, October 1, 1998

     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

Computer Languages
Volume 24, Number 4, December 1, 1998

    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


Computer Languages
Volume 25, Number 1, April 1, 1999

               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

Computer Languages
Volume 25, Number 2, July, 1999

             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

Computer Languages
Volume 25, Number 3, October 1, 2000

            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

Computer Languages
Volume 25, Number 4, December, 1999

 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  . . . . . . . . . . . . ??


Computer Languages
Volume 26, Number 1, April, 2000

             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

Computer Languages
Volume 26, Number 2--4, July, 2000

                 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 . . . . . . . . . . . ??


Computer Languages
Volume 27, Number 1--3, April / October, 2001

                      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

Computer Languages
Volume 27, Number 4, December, 2001

            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 . . . . . . . . ??


Computer Languages, Systems and Structures
Volume 28, Number 1, April, 2002

           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

Computer Languages, Systems and Structures
Volume 28, Number 2, December 15, 2002

                 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

Computer Languages, Systems and Structures
Volume 28, Number 3, October, 2002

              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

Computer Languages, Systems and Structures
Volume 28, Number 4, December, 2002

            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  . . . . . . . . . . . . ??


Computer Languages, Systems and Structures
Volume 29, Number 1--2, April / July, 2003

           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

Computer Languages, Systems and Structures
Volume 29, Number 3, October, 2003

           Patricia M. Hill and   
                   Fausto Spoto   Logic programs as compact denotations    45--73
                      Anonymous   Inside Front cover --- Editorial Board   CO2--CO2

Computer Languages, Systems and Structures
Volume 29, Number 4, December, 2003

            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


Computer Languages, Systems and Structures
Volume 30, Number 1--2, April / July, 2004

           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

Computer Languages, Systems and Structures
Volume 30, Number 3--4, October / December, 2004

                        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


Computer Languages, Systems and Structures
Volume 31, Number 1, April, 2005

              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  . . . . . . . . . . . . ??

Computer Languages, Systems and Structures
Volume 31, Number 2, July, 2005

                   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

Computer Languages, Systems and Structures
Volume 31, Number 3--4, October / December, 2005

            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  . . . . . . . . . . . . . . . . . ??


Computer Languages, Systems and Structures
Volume 32, Number 1, April, 2006

                      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

Computer Languages, Systems and Structures
Volume 32, Number 2--3, July / October, 2006

                      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

Computer Languages, Systems and Structures
Volume 32, Number 4, December, 2006

                  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  . . . . . . . . . . . . . . . . . ??


Computer Languages, Systems and Structures
Volume 33, Number 1, April, 2007

                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

Computer Languages, Systems and Structures
Volume 33, Number 2, July, 2007

              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

Computer Languages, Systems and Structures
Volume 33, Number 3--4, October / December, 2007

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


Computer Languages, Systems and Structures
Volume 34, Number 1, April, 2008

            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

Computer Languages, Systems and Structures
Volume 34, Number 2--3, July / October, 2008

                      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

Computer Languages, Systems and Structures
Volume 34, Number 4, December, 2008

             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


Computer Languages, Systems and Structures
Volume 35, Number 1, April, 2009

              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

Computer Languages, Systems and Structures
Volume 35, Number 2, July, 2009

                      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

Computer Languages, Systems and Structures
Volume 35, Number 3, October, 2009

     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

Computer Languages, Systems and Structures
Volume 35, Number 4, December, 2009

           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  . . . . . . . . . . . . . . ??


Computer Languages, Systems and Structures
Volume 36, Number 1, April, 2010

                      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

Computer Languages, Systems and Structures
Volume 36, Number 2, July, 2010

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

Computer Languages, Systems and Structures
Volume 36, Number 3, October, 2010

           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

Computer Languages, Systems and Structures
Volume 36, Number 4, December, 2010

              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  . . . . . . . . . . . . . . ??


Computer Languages, Systems and Structures
Volume 37, Number 1, April, 2011

                      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

Computer Languages, Systems and Structures
Volume 37, Number 2, July, 2011

              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

Computer Languages, Systems and Structures
Volume 37, Number 3, July, 2011

            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

Computer Languages, Systems and Structures
Volume 37, Number 4, October, 2011

          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


Computer Languages, Systems and Structures
Volume 38, Number 1, April, 2012

      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

Computer Languages, Systems and Structures
Volume 38, Number 2, July, 2012

                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

Computer Languages, Systems and Structures
Volume 38, Number 3, October, 2012

              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

Computer Languages, Systems and Structures
Volume 38, Number 4, December, 2012

           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


Computer Languages, Systems and Structures
Volume 39, Number 1, April, 2013

               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

Computer Languages, Systems and Structures
Volume 39, Number 2, July, 2013

           Lennart Beringer and   
           Robert Grabowski and   
                 Martin Hofmann   Verifying pointer and string analyses
                                  with region type systems . . . . . . . . 49--65

Computer Languages, Systems and Structures
Volume 39, Number 3, October, 2013

      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

Computer Languages, Systems and Structures
Volume 39, Number 4, December, 2013

              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


Computer Languages, Systems and Structures
Volume 40, Number 1, April, 2014

              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

Computer Languages, Systems and Structures
Volume 40, Number 2, 2014

 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

Computer Languages, Systems and Structures
Volume 40, Number 3--4, October / December, 2014

                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


Computer Languages, Systems and Structures
Volume 41, Number ??, April, 2015

       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


Computer Languages, Systems and Structures
Volume 42, Number ??, 2015

              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


Computer Languages, Systems and Structures
Volume 43, Number ??, October, 2015

             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


Computer Languages, Systems and Structures
Volume 44 (part A), Number ??, December, 2015

           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


Computer Languages, Systems and Structures
Volume 44 (part B), 2016

        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


Computer Languages, Systems and Structures
Volume 44 (Part C), Number ??, December, 2015

                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


Computer Languages, Systems and Structures
Volume 45, Number ??, April, 2016

                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


Computer Languages, Systems and Structures
Volume 46, Number ??, November, 2016

                   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


Computer Languages, Systems and Structures
Volume 47 (part 1), Number ??, 2017

                      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


Computer Languages, Systems and Structures
Volume 47 (Part 2), Number ??, 2017

      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


Computer Languages, Systems and Structures
Volume 48, Number ??, 2017

          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


Computer Languages, Systems and Structures
Volume 49, Number ??, September, 2017

              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


Computer Languages, Systems and Structures
Volume 50, Number ??, December, 2017

                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


Computer Languages, Systems and Structures
Volume 51, Number ??, January, 2018

                   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


Computer Languages, Systems and Structures
Volume 52, Number ??, June, 2018

                      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


Computer Languages, Systems and Structures
Volume 53, Number ??, September, 2018

                      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


Computer Languages, Systems and Structures
Volume 54, Number ??, December, 2018

                      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