journals/cj/AvisonW91:::David E. Avison::A. T. Wood-Harper:::Information Systems Development Research: An Exploration of Ideas in Practice.
journals/cj/Godwin96:::Anthony N. Godwin:::Building a Semantic Description for a Data Modelling Language.
journals/cj/Gunton70:::A. Gunton:::Recovery Procedures for Direct Access Commercial Systems.
journals/cj/Balakirsky02:::Vladimir B. Balakirsky:::A New Coding Algorithm for TreesVladimir B. Balakirsky.
journals/cj/BishopB80:::Judy M. Bishop::D. W. Barron:::Procedure Calling and Structured Architecture.
journals/cj/Layzell85:::Paul J. Layzell:::The History of Macro Processors in Programming Language Extensibility.
journals/cj/Bailes88:::Paul A. Bailes:::An Advanced Problem-Oriented Introduction to Imperative Programming with Modula-2.
journals/cj/BhagavathiGO94:::Dharmavani Bhagavathi::C. E. Grosch::Stephan Olariu:::A Greedy Hypercube-Labeling Algorithm.
journals/cj/Davenport81:::R. A. Davenport:::Design of Distributed Data Base Systems.
journals/cj/Klein97:::Shmuel T. Klein:::Efficient Optimal Recompression.
journals/cj/TosserD77:::A. Tosser::D. Dubus:::Algebraic Optimisation of NAND-NOR Switching Circuits.
journals/cj/Willers76:::I. M. Willers:::The Syntax Directed Graph Algorithm for the Input of Equations to the Taylor Series System for Solving Ordinary Differential Equations.
journals/cj/MullenderT86:::Sape J. Mullender::Andrew S. Tanenbaum:::The Design of a Capability-Based Distributed Operating System.
journals/cj/Prather88:::Ronald E. Prather:::Comparison and Extension of Theories of Zipf and Halstead.
journals/cj/Burton88:::F. Warren Burton:::Nondeterminism with Referential Transparency in Functional Programming Languages.
journals/cj/DuncanZW75:::F. G. Duncan::D. Zissos::Maureen Walls:::A Postfix Notation for Logic Circuits.
journals/cj/CardenasS75:::Alfonso F. Cardenas::R. W. Seeley:::A Simple Data Structure for Interactive Graphic Design/Drafting.
journals/cj/LavingtonKK71:::Simon H. Lavington::D. J. Kinniment::Alan E. Knowles:::An Experimental Paging Unit.
journals/cj/Helsgaun84:::Keld Helsgaun:::Backtrack Programming with SIMULA.
journals/cj/Taylor70:::P. J. Taylor:::The Stability of the Du Fort-Frankel Method for the Diffusion Equation with Boundary Conditions Involving Space Derivatives.
journals/cj/Taylor90:::Malcolm C. Taylor:::Logical Optimisation of Distributed Knowledge Base Queries.
journals/cj/EhrigMCO92a:::Hartmut Ehrig::Bernd Mahr::Ingo Claßen::Fernando Orejas:::Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications.
journals/cj/DjordjevicBH85:::Jovan Djordjevic::Mario Barbacci::Brad Hosler:::A PMS Level Notation for the Description and Simulation of Digital Systems.
journals/cj/Loretan76:::R. P. Lorétan:::Timing Problems in Electronic Lockout Chains.
journals/cj/Leith83:::Philip Leith:::Hierarchically Structured Production Rules.
journals/cj/DawsonJ95:::Scott Dawson::Farnam Jahanian:::Probing and Fault Injection of Dependable Distributed Protocols.
journals/cj/GiddyN94:::Jonathan Giddy::Reihaneh Safavi-Naini:::Automated Cryptanalysis of Transposition Ciphers.
journals/cj/DixonPSW89:::Graeme N. Dixon::Graham D. Parrington::Santosh K. Shrivastava::Stuart M. Wheater:::The Treatment of Persistent Objects in Arjuna.
journals/cj/RohlG86:::Jeffrey S. Rohl::Tamás D. Gedeon:::The Reve's Puzzle.
journals/cj/Lewin71:::D. W. Lewin:::Advanced Aspects of Asynchronous Logic Design.
journals/cj/Alpiar71:::R. Alpiar:::Double Syntax Oriented Processing.
journals/cj/Segev87:::Arie Segev:::Optimising Two-Way Joins in Horizontally Partitioned Database Systems.
journals/cj/WeideHB98:::Theo P. van der Weide::T. W. C. Huibers::Patrick van Bommel:::The Incremental Searcher Satisfaction Model for Information Retrieval.
journals/cj/ZdrahalBS81:::Z. Zdrahal::Ivan Bratko::A. Shapiro:::Recognition of Complex Patterns Using Cellular Arrays.
journals/cj/Clarke99:::B. Clarke:::Discussion of the Papers by Rissanen, and by Wallace and Dowe.
journals/cj/Parhami92:::Behrooz Parhami:::Systolic Number Radix Converters.
journals/cj/Selim88:::Selim M. Selim:::Split Vertices in Vertex Colouring and Their Application in Developing a Solution to the Faculty Timetable Problem.
journals/cj/HalbertTW89:::Alan R. Halbert::Stephen Todd::John R. Woodwark:::Generalizing Active Zones for Set-Theoretic Solid Models.
journals/cj/Wright82:::William E. Wright:::Single Versus Double Buffering in Constrained Merging.
journals/cj/Wright83:::William E. Wright:::Some File Structure Considerations Pertaining to Magnetic Bubble Memory.
journals/cj/Rissanen99:::Jorma Rissanen:::Hypothesis Selection and Testing by the MDL Principle.
journals/cj/Reingold81:::Edward M. Reingold:::A Comment on the Evaluation of Polish Postfix Expressions.
journals/cj/BarlowE79:::R. H. Barlow::D. J. Evans:::A Parallel Organisation of the Bisection Algorithm.
journals/cj/HuxtableP77:::D. H. R. Huxtable::J. M. M. Pinkerton:::The Hardware/Software Interface of the ICL 2900 Range of Computers.
journals/cj/LinCH99:::Min-Cheng Lin::Deng-Jyi Chen::Maw-Sheng Horng:::The Reliability Analysis of Distributed Computing Systems with Imperfect Nodes.
journals/cj/Shave81:::Michael J. R. Shave:::Entities, Functions and Binary Relations: Steps to a Conceptual Schema.
journals/cj/Jelinek79:::J. Jélinek:::An Algebraic Theory for Parallel Processor Design.
journals/cj/KolliasSD77:::John G. Kollias::Peter M. Stocker::P. A. Dearnley:::Improving the Performance of an Intelligent Data Management System.
journals/cj/ClarkeCB95:::Charles L. A. Clarke::Gordon V. Cormack::Forbes J. Burkowski:::An Algebra for Structured Text Search and a Framework for its Implementation.
journals/cj/CramptonLO01a:::Jason Crampton::George Loizou::Greg O'Shea:::A Logic of Access Control.
journals/cj/Williams85:::M. Howard Williams:::A Linear Algorithm for Colouring Planar Graphs with Five Colours.
journals/cj/ZhaoR88:::Liping Zhao::S. A. Roberts:::An Object-Oriented Data Model for Database Modelling, Implementation and Access.
journals/cj/MorrisseyB96:::Joan M. Morrissey::W. T. Bealor:::Minimizing Data Transfers in Distributed Query Processing: A Comparative Study and Evaluation.
journals/cj/Bolognesi97:::Tommaso Bolognesi:::Expressive Flexibility of a Constraint-Oriented Notation.
journals/cj/Earnshaw80:::Rae A. Earnshaw:::Line Tracking for Incremental Plotters.
journals/cj/ChuangH99:::Po-Jen Chuang::Huey-Ming Hsu:::Effective Fault Diagnosis Approaches for Multiphath Networks.
journals/cj/KulkarniA86:::K. G. Kulkarni::Malcolm P. Atkinson:::EFDM: Extended Functional Data Model.
journals/cj/VarolR81:::Yaakov L. Varol::Doron Rotem:::An Algorithm to Generate all Topological Sorting Arrangements.
journals/cj/Macleod81:::Ian A. Macleod:::The Relational Model as a Basis for Document Retrieval System Design.
journals/cj/Macleod91:::Ian A. Macleod:::A Query Language for Retrieving Information from Hierarchic Text Structures.
journals/cj/AlayliogluEH76:::Ayse Alaylioglu::G. A. Evans::J. Hyslop:::The Use of Chebyshev Series for the Evaluation of Oscillatory Integrals.
journals/cj/CormackHK85:::Gordon V. Cormack::R. Nigel Horspool::M. Kaiserswerth:::Practical Perfect Hashing.
journals/cj/BurnsMD92:::Alan Burns::John A. McDermid::John E. Dobson:::On the Meaning of Safety and Security.
journals/cj/Scarrott89:::G. G. Scarrott:::The Nature of Information.
journals/cj/FrantiN93:::Pasi Fränti::Olli Nevalainen:::A Two-Stage Modelling Method for Compressing Binary Images by Arithmetic Coding.
journals/cj/WallaceD99b:::Chris S. Wallace::David L. Dowe:::Rejoinder.
journals/cj/LoiaQ96:::Vincenzo Loia::Michel Quaggetto:::The OPLA System: Designing Complex Systems in an Object-Oriented Logic Programming Framework.
journals/cj/Smith71:::L. B. Smith:::Drawing Ellipses, Hyperbolas or Parabolas with a Fixed Number of Points and Maximum Inscribed Area.
journals/cj/PratherG81:::Ronald E. Prather::Shirla G. Giulieri:::Decomposition of Flowchart Schemata.
journals/cj/BatemanD81:::S. O. Bateman Jr.::S. D. Danielopoulos:::Computerised Analytic Solutions of Second Order Differential Equations.
journals/cj/Snell70:::J. Snell:::The Solution in Chebyshev Series of Systems of Linear Differential Equations with General Boundary Conditions.
journals/cj/BoitenPTV92:::Eerke A. Boiten::Helmuth Partsch::Daniel Tuijnman::Norbert Völker:::How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations.
journals/cj/UllmannHS85:::Julian R. Ullmann::Robert M. Haralick::Linda G. Shapiro:::Computer Architecture for Solving Consistent Labelling Problems.
journals/cj/Erkio84:::Hannu Erkiö:::The Worst Case Permutation for Median-of-Three Quicksort.
journals/cj/SongG00:::Suk-Kyu Song::Narasimhaiah Gorla:::A Genetic Algorithm for Vertical Fragmentation and Access Path Selection.
journals/cj/ZviranH93:::Moshe Zviran::William J. Haga:::A Comparison of Password Techniques for Multilevel Authentication Mechanisms.
journals/cj/DearleB88:::Alan Dearle::Alfred L. Brown:::Safe Browsing in a Strongly Typed Persistent Environment.
journals/cj/Wichmann89:::Brian A. Wichmann:::Towards a Formal Specification of Floating Point.
journals/cj/KranakisKR96:::Evangelos Kranakis::Danny Krizanc::S. S. Ravi:::On Multi-Label Linear Interval Routing Schemes.
journals/cj/GarsideP80:::G. R. Garside::P. E. Pintelas:::An ALGOL 68 Package for Implementing Graph Algorithms.
journals/cj/KnibbS71:::D. Knibb::R. E. Scraton:::On the Solution of Parabolic Partial Differential Equations in Chebyshev Series.
journals/cj/Weldon80:::Jay-Louise Weldon:::Using Data Base Abstractions for Logical Design.
journals/cj/BateCKM01:::Iain Bate::Philippa Conmy::Tim Kelly::John A. McDermid:::Use of Modern Processors in Safety-Critical Applications.
journals/cj/BaldoniQR01:::Roberto Baldoni::Francesco Quaglia::Michel Raynal:::Consistent Checkpointing for Transaction Systems.
journals/cj/BurtonL81:::F. Warren Burton::Brian Lings:::Abstract Data Types, Subtypes and Data Independence.
journals/cj/Takaoka99:::Tadao Takaoka:::O(1) Time Algorithms for Combinatorial Generation by Tree Traversal.
journals/cj/NewmanSW87:::Ian A. Newman::R. P. Stallard::M. C. Woodward:::A Hybrid Multiple Processor Garbage Collection Algorithm.
journals/cj/Burkhard75:::Walter A. Burkhard:::Full Table Quadratic Quotient Searching.
journals/cj/SchiederB99:::Birgit Schieder::Manfred Broy:::Adapting Calculational Logic to the Undefined.
journals/cj/ChattergyP79:::Rahul Chattergy::Udo W. Pooch:::A Distributed Function Computer with Dedicated Processors.
journals/cj/KoberS93:::Rudolph Köber::Thomas Schwederski:::Special Issue Editorial: Parallel Processing.
journals/cj/Goodwin85a:::D. T. Goodwin:::The Computability of Stack Non-Underflow.
journals/cj/RobisonHS89:::A. D. Robison::B. J. Hafner::S. S. Sciena:::Eight Pieces Cannot Cover a Chess Board.
journals/cj/MayhewD87:::P. J. Mayhew::P. A. Dearnley:::An Alternative Prototyping Classification.
journals/cj/Norris78:::G. Norris:::Summary of the Report: `The Computer Board: Policies Past, Present and Future?'
journals/cj/BoardmanR86:::J. T. Boardman::G. C. A. Robson:::Towards a Problem-Solving Methodology for Coping with Increasing Complexity: An Engineering Approach.
journals/cj/JonesES98:::B. F. Jones::D. E. Eyres::H.-H. Sthamer:::A Strategy for Using Genetic Algorithms to Automate Branch and Fault-Based Testing.
journals/cj/WilliamsM84:::M. Howard Williams::K. T. Milne:::The Performance of Algorithms for Colouring Planar Graphs.
journals/cj/Fuller76:::A. T. Fuller:::The Period of Pseudo-Random Numbers Generated by Lehmer's Congruential Method.
journals/cj/TsanakasAP89:::Panayotis Tsanakas::N. A. Alexandridis::George K. Papakonstantinou:::An FP-Based Design Methodology for Problem-Oriented Architectures.
journals/cj/ZhangL03:::Chang N. Zhang::Hua Li:::Design of Reconfigurable VLSI Architecture for Hybrid Arithmetic in $GF(2^m)$.
journals/cj/NicklasS77:::B. M. Nicklas::Gunter Schlageter:::Index Structuring in Inverted Data Bases by TRIES.
journals/cj/GuntherL94:::Oliver Günther::Johannes Lamberts:::Object-oriented Techniques for the Management of Geographic and Environmental Data.
journals/cj/Barringer87:::Howard Barringer:::Up and Down The Temporal Wey.
journals/cj/CogganW71:::G. C. Coggan::J. A. Wilson:::On-Line State Estimation with a Small Computer.
journals/cj/ErnvallN82:::Jarmo Ernvall::Olli Nevalainen:::An Algorithm for Unbiased Random Sampling.
journals/cj/ChanCMS97:::Fun Ting Chan::Tsong Yueh Chen::Jeng Kei Mak::Shir Ming Shen:::On Some Properties of the Optimally Refined Proportional Sampling Strategy.
journals/cj/Clement92:::T. Clement:::The Role of Data Reification in Program Refinement: Origins, Synthesis and Appraisal.
journals/cj/HuhtalaKPT99:::Ykä Huhtala::Juha Kärkkäinen::Pasi Porkka::Hannu Toivonen:::TANE: An Efficient Algorithm for Discovering Functional and Approximate Dependencies.
journals/cj/DavisW88:::Martin D. Davis::Elaine J. Weyuker:::Metric Space- Based Test-Data Adequacy Criteria.
journals/cj/Harrison95:::John Harrison:::Binary Decision Diagrams as a HOL Derived Rule.
journals/cj/Llewellyn83:::John A. Llewellyn:::Finite State Models in the Study of Comma-Free Codes.
journals/cj/BurdorfM93:::Christopher Burdorf::Jed Marti:::Load Balancing Strategies for Time Warp on Multi-User Workstations.
journals/cj/UedaC90:::Kazunori Ueda::Takashi Chidayama:::Design of the Kernel Language for the Parallel Inference Machine.
journals/cj/Carlsson92:::R. Carlsson:::A Note on Heapsort (Short Note).
journals/cj/Frost92:::Richard A. Frost:::Constructing Programs as Executable Attribute Grammars.
journals/cj/LeeuwenW93:::Jan van Leeuwen::Derick Wood:::Interval Heaps.
journals/cj/Challab92:::D. J. Challab:::Flexible Arrays: Evaluation of the B-Tree Based System (Short Note).
journals/cj/Bjorn-Andersen88:::Niels Bjørn-Andersen:::Are `Human Factors' Human?
journals/cj/Challis93:::Michael F. Challis:::Two New Techniques for Computing Extremal h-bases A<sub>k</sub>.
journals/cj/Dawson73:::J. L. Dawson:::Combining Interpretive Code with Machine Code.
journals/cj/PittewayG82:::Michael L. V. Pitteway::A. J. R. Green:::Bresenham's Algorithm with Run Line Coding Shortcut.
journals/cj/BorgerD96:::Egon Börger::Igor Durdanovic:::Correctness of Compiling Occam to Transputer Code.
journals/cj/ChangLC92:::Chin-Chen Chang::H. F. Lin::C. Y. Chen:::Optimality Properties of the Disc Modulo Allocation Method for k-ary Multiple Key Hashing Files.
journals/cj/GreenK73:::D. H. Green::R. G. Kelsch:::Nonlinear Ternary Feedback Shift Registers.
journals/cj/GreenS78:::P. J. Green::R. Sibson:::Computing Dirichlet Tessellations in the Plane.
journals/cj/NieBL95:::Jian-Yun Nie::Martin Brisebois::Francoise Lepage:::Information Retrieval as Counterfactual.
journals/cj/Furber02:::Steve Furber:::Validating the AMULET Microprocessors.
journals/cj/Sarbazi-AzadOM00:::Hamid Sarbazi-Azad::Mohamed Ould-Khaoua::Lewis M. Mackenzie:::Message Latency in Hypercubes in the Presence of Matrix-Transpose Traffic.
journals/cj/TsengC03:::Hsien-Wen Tseng::Chin-Chen Chang:::Construction of Symmetrical Reversible Variable Length Codes Using Backtracking.
journals/cj/RobsonK92:::A. P. Robson::D. J. Kinniment:::SIMSTRICT: A Behavioural Simulator for Use with the STRICT Hardware Description Language (Short Note).
journals/cj/BalterLR94:::Roland Balter::Serge Lacourte::Michel Riveill:::The Guide Language.
journals/cj/HofstedeO99:::Arthur H. M. ter Hofstede::Maria E. Orlowska:::On the Complexity of Some Verification Problems in Process Control Specifications.
journals/cj/Cucker93:::Felipe Cucker:::On the Complexity of Quantifier Elimination: the Structural Approach.
journals/cj/HaoLK94:::Ying Hao::Jyh-Charn Liu::Junguk L. Kim:::An All-Sharing Load-Balancing Scheme on the COMA/CD Network and its Analysis.
journals/cj/OsborneW71:::M. R. Osborne::G. A. Watson:::On an Algorithm for Discrete Nonlinear L<sub>1</sub> Approximation.
journals/cj/Dearnley76:::P. A. Dearnley:::An Investigation Into Database Resilience.
journals/cj/FoleyH71:::M. Foley::C. A. R. Hoare:::Proof of a Recursive Program: Quicksort.
journals/cj/McLain76:::D. H. McLain:::Two Dimensional Interpolation from Random Data.
journals/cj/BozyigitP79:::M. Bozyigit::Y. Paker:::A Fixed Routing Problem in Large and High Connectivity Networks.
journals/cj/Haverkort95:::Boudewijn R. Haverkort:::In Search of Probability Mass: Probabilistic Evaluation of High-Level Specified Markov Models.
journals/cj/Quinlan83:::J. Ross Quinlan:::Inferno: A Cautious Approach To Uncertain Inference.
journals/cj/Noble00:::James Noble:::Arguments and Results.
journals/cj/BoultonW73a:::D. M. Boulton::Chris S. Wallace:::An Information Measure for Hierarchic Classification.
journals/cj/ManolopoulosKH86:::Yannis Manolopoulos::John G. Kollias::Michael Hatzopoulos:::Sequential vs. Binary Batched Searching.
journals/cj/Varol76:::Yaakov L. Varol:::Some Remarks on Computer Acquisition.
journals/cj/Varol77:::Yaakov L. Varol:::On the Generation of the Pseudo-Remainder in Polynomial Division.
journals/cj/HeindelR74:::L. E. Heindel::J. T. Roberto:::ARPL - A Retrieval Process Language.
journals/cj/Murtagh02:::Fionn Murtagh:::Statistics and Trends.
journals/cj/TurnerL85:::R. Turner::Barry G. T. Lowden:::An Introduction to the Formal Specification of Relational Query Languages.
journals/cj/DufreneL92:::W. R. Dufrene Jr.::F. C. Lin:::An Efficient External Sort Algorithm with no Additional Space (Short Note).
journals/cj/DvorakK74:::S. Dvorák::B. Kropác:::Decomposition of the Gozinto's Graph with the Use of a Nesting Store.
journals/cj/WellingsB96:::Andy J. Wellings::Alan Burns:::Programming Replicated Systems in Ada 95.
journals/cj/Fokkinga96:::Maarten M. Fokkinga:::Expressions That Talk About Themselves.
journals/cj/Jajodia86:::Sushil Jajodia:::Recognizing Multivalued Dependencies in Relation Schemas.
journals/cl/Li96:::Warren X. Li:::Building Efficient Incremental LL Parsers by Augmenting LL Tables and Threading Parse Trees.
journals/cl/Romanovsky95:::Alexander B. Romanovsky:::Conversations of Objects.
journals/cl/Gehani82:::Narain H. Gehani:::Concurrency in Ada and Multicomputers.
journals/cl/Broy88:::Manfred Broy:::Broadcasting Buffering Communication.
journals/cl/Stewart76:::S. L. Stewart:::STAPLE, An Experimental Structured Programming Language.
journals/cl/Magnenat-Thalmann82:::Nadia Magnenat-Thalmann:::Choosing an Implementation Language for Automatic Translation.
journals/cl/BerryEL77:::Daniel M. Berry::Z. Erlich::Carlos José Pereira de Lucena:::Pointers and Data Abstractions in High Level Languages - I: Language Proposals.
journals/cl/Crowley79:::Charles Crowley:::Parallel Developments in Programming Languages and Operating Systems.
journals/cl/LeeL99:::Jimmy Ho-Man Lee::Ho-Fung Leung:::An execution scheme for interactive problem-solving in concurrent constraint logic programming languages.
journals/cl/Orman83:::Levent V. Orman:::A Familial Specification Language for Database Application Systems.
journals/cl/LozinskiiN86:::Eliezer L. Lozinskii::Sergei Nirenburg:::Parsing in Parallel.
journals/cl/Hooper87:::James W. Hooper:::Language Features for Discrete Simulation.
journals/cl/Coen-PorisiniP93:::Alberto Coen-Porisini::Flavio De Paoli:::Array Representation in Symbolic Execution.
journals/cl/RusH94:::Teodor Rus::Tom Halverson:::Algebraic Tools for Language Processing.
journals/cl/BailesC93:::Paul A. Bailes::Trevor Chorvat:::Facet Grammars: Towards Static Semantic Analysis by Context-Free Parsing.
journals/cl/JacquetM96:::Jean-Marie Jacquet::Luís Monteiro:::Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics.
journals/cl/YauG93:::Stephen S. Yau::Jacob V. Gore:::Constraint-Driven Programming in Strongly-Typed Object-Oriented Languages.
journals/cl/YenF83:::Wei C. Yen::King-sun Fu:::A Distributed Synchronization Mechanism for Interacting Processes.
journals/cl/BassiouniL99:::Mostafa A. Bassiouni::M. Llevellyn:::Extending Temporal Query Languages to Handle Imprecise Time Intervals.
journals/cl/FeeleyL87:::Marc Feeley::Guy Lapalme:::Using Closures for Code Generation.
journals/cl/FeeleyL92:::Marc Feeley::Guy Lapalme:::Closure Generation Based on Viewing Lambda as Epsilon Plus Compile.
journals/cl/YangTC02:::Wuu Yang::Chey-Woei Tsay::Jien-Tsai Chan:::On the applicability of the longest-match rule in lexical analysis.
journals/cl/Cooke98:::Daniel E. Cooke:::SequenceL Provides a Different Way to View Programming.
journals/cl/HaynesFW86:::Christopher T. Haynes::Daniel P. Friedman::Mitchell Wand:::Obtaining Coroutines with Continuations.
journals/cl/Crespi-ReghizziPP00:::Stefano Crespi-Reghizzi::Matteo Pradella::Pierluigi San Pietro:::Associative definition of programming languages.
journals/cl/CordyHP91:::James R. Cordy::Charles D. Halpern-Hamu::Eric Promislow:::TXL: A Rapid Prototyping System for Programming Language Dialects.
journals/cl/BarrosoF78:::P. B. Barroso::Antonio L. Furtado:::Implementing a Data Definition Facility Driven by Graph Grammars.
journals/cl/Ganapathi89a:::Mahadevan Ganapathi:::Prolog Based Retargetable Code Generation.
journals/cl/VenugopalS95:::R. Venugopal::Y. N. Srikant:::Scheduling Expression Trees with Reusable Registers on Delayed-Load Architectures.
journals/cl/GedelaSX99:::Ravi K. Gedela::Sol M. Shatz::Haiping Xu:::Compositional Petri net models of advanced tasking in Ada-95.
journals/cl/PeterssonS86:::Kent Petersson::Jan M. Smith:::Program Derivation in Type Theory: A Partitioning Problem.
journals/cl/Taylor96:::Hamish Taylor:::Assembling a Resolution Multiprocessor from Interface Programming and Distributed Processing Components.
journals/cl/BalachandranDB90:::A. Balachandran::Dhananjay M. Dhamdhere::S. Biswas:::Efficient Retargetable Code Generation Using Bottom-up Tree Pattern Matching.
journals/cl/Barman82:::Mervyn Barman:::LASS: A Language for Stochastic Systems.
journals/cl/AmtoftKP02:::Torben Amtoft::A. J. Kfoury::Santiago M. Pericás-Geertsen:::Orderly communication in the Ambient Calculus.
journals/cl/CrawfordOHW95:::Richard H. Crawford::Ronald A. Olsson::W. Wilson Ho::Christopher E. Wee:::Semantic Issues in the Design of Languages for Debugging.
journals/cl/Sharma76:::Onkar P. Sharma:::Syntax Optimization for and Parsing of Patterns.
journals/cl/YuenF98:::Chung-Kwong Yuen::Ming-Dong Feng:::Active Objects as Atomic Control Structures in BaLinda K.
journals/cl/Salzman92:::Eric Salzman:::Activity Simulation in Modula-2: An Exercise in Language Extension.
journals/cl/HendrenG93:::Laurie J. Hendren::Guang R. Gao:::Designing Programming Languages for the Analyzability of Pointer Data Structures.
journals/cl/BryantG84:::Barrett R. Bryant::A. A. Grau:::An Intermediate Language to Define Dynamic Semantics.
journals/cl/MurchingS89:::Arvind M. Murching::Y. N. Srikant:::Incremental Attribute Evaluation Through Recursive Procedures.
journals/cl/StrothotteC87:::Thomas Strothotte::Gordon V. Cormack:::Structured Program Lookahead.
journals/cl/Fleck84:::Arthur C. Fleck:::A Proposal for Comparison of Types in Pascal and Associated Semantic Models.
journals/cl/CarvalhoK92:::Claudio Sergio Da Rós de Carvalho::Tomasz Kowaltowski:::On Open Arrays and Variable Number of Parameters.
