journals/tcs/DekhtyarDV03:::Michael I. Dekhtyar::Alexander Ja. Dikovsky::Mars K. Valiev:::On feasible cases of checking multi-agent systems behavior.
journals/tcs/Weispfenning86:::Volker Weispfenning:::The Complexity of the Word Problem for Abelian l-Groups.
journals/tcs/Reznik02:::Yuriy A. Reznik:::Some results on tries with adaptive branching.
journals/tcs/SilvaS02:::Pedro V. Silva::Benjamin Steinberg:::Extensions and submonoids of automatic monoids.
journals/tcs/Kaplan84:::Stéphane Kaplan:::Conditional Rewrite Rules.
journals/tcs/Peladeau92:::Pierre Péladeau:::Logically Defined Subsets of N k.
journals/tcs/Maggiolo-SchettiniPT03:::Andrea Maggiolo-Schettini::Adriano Peron::Simone Tini:::A comparison of Statecharts step semantics.
journals/tcs/Crolard01:::Tristan Crolard:::Subtractive logic.
journals/tcs/JennerT95:::Birgit Jenner::Jacobo Torán:::Computing Functions with Parallel Queries to NP.
journals/tcs/Hirokawa98:::Sachio Hirokawa:::Infiniteness of Proof(alpha) is Polynomial-Space Complete.
journals/tcs/Heinemann99:::Bernhard Heinemann:::Temporal Aspects of the Modal Logic of Subset Spaces.
journals/tcs/HeadL86:::Tom Head::Barbara Lando:::Periodic D0L Languages.
journals/tcs/Golin01:::Mordecai J. Golin:::A combinatorial approach to Golomb forests.
journals/tcs/VanSL93:::Do Long Van::Bertrand Le Saëc::Igor Litovsky:::Stability for the Zigzag Submonoids.
journals/tcs/RobilliardS00:::Denis Robilliard::David Simplot:::Undecidability of existential properties in picture languages.
journals/tcs/Hesselink88a:::Wim H. Hesselink:::Deadlock and Fairness in Morphisms of Transition Systems.
journals/tcs/CrescenziLGLPR03:::Pierluigi Crescenzi::Alberto Del Lungo::Roberto Grossi::Elena Lodi::Linda Pagli::Gianluca Rossi:::Text sparsification via local maxima.
journals/tcs/FiechH94:::Adrian Fiech::Michael Huth:::Algebraic Domains of Natural Transformations.
journals/tcs/Beatty80:::John C. Beatty:::Two Iteration Theorems for the LL(k) Languages.
journals/tcs/KavvadiasPSZ96:::Dimitris J. Kavvadias::Grammati E. Pantziou::Paul G. Spirakis::Christos D. Zaroliagis:::Hammock-on-Ears Decomposition: A Technique for the Efficient Parallel Solution of Shortest Paths and Other Problems.
journals/tcs/NepomniaschyS93:::V. A. Nepomniaschy::A. A. Sulimov:::Problem-Oriented Verification System and its Application to Linear Algebra Programs.
journals/tcs/ElradF84:::Tzilla Elrad::Nissim Francez:::A Weakest Precondition Semantics for Communicating Processes.
journals/tcs/CattaniW03:::Gian Luca Cattani::Glynn Winskel:::Presheaf models for CCS-like languages.
journals/tcs/Berline00:::Chantal Berline:::From computation to foundations via functions and application: The -calculus and its webbed models.
journals/tcs/Decoste93:::Hélène Décoste:::Séries indicatrices et q-séries.
journals/tcs/Blaser03:::Markus Bläser:::The complexity of bivariate power series arithmetic.
journals/tcs/Bozapalidis92:::Symeon Bozapalidis:::Alphabetic Tree Relations.
journals/tcs/GruauRW95:::Frédéric Gruau::Jean-Yves Ratajszczak::Gilles Wiber:::A Neural Compiler.
journals/tcs/Geffert98:::Viliam Geffert:::A Communication Hierarchy of Parallel Computations.
journals/tcs/KeesmaatK97:::N. W. Keesmaat::H. C. M. Kleijn:::Restrictions and Representations of Vector Controlled Concurrent System Behaviours.
journals/tcs/Graaf97:::Willem A. de Graaf:::An Algorithm for the Decomposition of Semisimple Lie Algebras.
journals/tcs/EhrigFHLJP90:::Hartmut Ehrig::Werner Fey::Horst Hansen::Michael Löwe::Dean Jakobs::Francesco Parisi-Presicce:::Compatibility Problems in the Development of Algebraic Module Specifications.
journals/tcs/Grant80:::Philip W. Grant:::Some More Independence Results in Complexity Theory.
journals/tcs/DevolderL91:::Jeanne Devolder::Igor Litovsky:::Finitely Generated bi-omega-Languages.
journals/tcs/GuptaLLPW81:::U. I. Gupta::D. T. Lee::Joseph Y.-T. Leung::J. W. Pruitt::C. K. Wong:::Record Allocation for Minimizing Seek Delay.
journals/tcs/MiyazawaW03:::F. K. Miyazawa::Y. Wakabayashi:::Cube packing.
journals/tcs/InoueTH89:::Katsushi Inoue::Itsuo Takanami::Juraj Hromkovic:::A Leaf-Size Hierarchy of Two-Dimensional Alternating Turing Machines.
journals/tcs/InoueTT83:::Katsushi Inoue::Itsuo Takanami::Hiroshi Taniguchi:::A Relationship between Two-Dimensional Finite Automata and Three-Way Tape-Bounded Two-Dimensional Turing Machines.
journals/tcs/Watrous03:::John Watrous:::PSPACE has constant-round quantum interactive proof systems.
journals/tcs/Muller99:::Norbert Th. Müller:::Computability on Random Variables.
journals/tec/Chellapilla97:::Kumar Chellapilla:::Evolving computer programs without subtree crossover.
journals/tec/LuY03:::Haiming Lu::Gary G. Yen:::Rank-density-based multiobjective genetic algorithm and benchmark test function study.
journals/tec/DebAPM02:::Kalyanmoy Deb::Samir Agrawal::Amrit Pratap::T. Meyarivan:::A fast and elitist multiobjective genetic algorithm: NSGA-II.
journals/tec/Virirakis03:::Lefteris Virirakis:::GENETICA: A computer language that supports general formal expression with evolving data structures.
journals/tec/Beyer01:::Hans-Georg Beyer:::On the performance of (1, Lambda)-evolution strategies for the ridge function class.
journals/tec/KimM97:::Jong-Hwan Kim::Hyun Myung:::Evolutionary programming techniques for constrained optimization problems.
journals/tec/AlpaydinBD03:::Guner Alpaydin::Sina Balkir::Günhan Dündar:::An evolutionary approach to automatic synthesis of high-performance analog integrated circuits.
journals/tec/PedryczSS02:::Witold Pedrycz::Giancarlo Succi::Ofer Shai:::Genetic-fuzzy approach to the Boolean satisfiability problem.
journals/tec/ThompsonLZ99:::Adrian Thompson::Paul J. Layzell::Ricardo Salem Zebulum:::Explorations in design space: unconventional electronics design through artificial evolution.
journals/tec/PalP03:::Tandra Pal::Nikhil R. Pal:::SOGARG: A self-organized genetic algorithm-based rule generation scheme for fuzzy controllers.
journals/tec/Tesfatsion01:::Leigh Tesfatsion:::Guest editorial agent-based modeling of evolutionary economic systems.
journals/tec/MullerMAK02:::Sibylle D. Müller::Jarno Marchetto::Stefano Airaghi::Petros Koumoutsakos:::Optimization based on bacterial chemotaxis.
journals/tec/NijssenB03:::Siegfried Nijssen::Thomas Bäck:::An analysis of the behavior of simplified evolutionary algorithms on trap functions.
journals/tec/FreanA01:::Marcus R. Frean::Edward R. Abraham:::A voter model of the spatial prisoner's dilemma.
journals/tec/YaoLL99:::Xin Yao::Yong Liu::Guangming Lin:::Evolutionary programming made faster.
journals/tec/McFadzeanTS01:::David McFadzean::Leigh Tesfatsion::Deron Stewart:::A computational laboratory for evolutionary trade networks.
journals/tec/SierraMC01:::Alejandro Sierra::Jose A. Macías::Fernando J. Corbacho:::Evolution of functional link networks.
journals/tec/CaponettoFFX03:::Riccardo Caponetto::Luigi Fortuna::Stefano Fazzino::Maria Gabriella Xibilia:::Chaotic sequences to improve the performance of evolutionary algorithms.
journals/tec/FogelCA99:::David B. Fogel::Kumar Chellapilla::Peter J. Angeline:::Inductive reasoning and bounded rationality reconsidered.
journals/tec/Jaszkiewicz03:::Andrzej Jaszkiewicz:::Do multiple-objective metaheuristics deliver on their promises? A computational experiment on the set-covering problem.
journals/tec/ChenAHTH02:::Dingjun Chen::Takafumi Aoki::Naofumi Homma::Toshiki Terasaki::Tatsuo Higuchi:::Graph-based evolutionary design of arithmetic circuits.
journals/tec/GoulermasL03:::John Yannis Goulermas::Panos Liatsis:::A collective-based adaptive symbiotic model for surface reconstruction in area-based stereo.
journals/tec/Sanchez00:::Luciano Sánchez:::Interval-valued GA-P algorithms.
journals/tec/EibenHM99:::A. E. Eiben::Robert Hinterding::Zbigniew Michalewicz:::Parameter control in evolutionary algorithms.
journals/tec/ParmeeC02:::Ian C. Parmee::Dragan Cvetkovic:::Preferences and their application in evolutionary multiobjective optimization.
journals/tec/Smith00:::Alice E. Smith:::Swarm intelligence: from natural to artificial systems.
journals/tec/LuttonV98:::Evelyne Lutton::Jacques Lévy Véhel:::Holder functions and deception of genetic algorithms.
journals/tec/Garis99:::Hugo de Garis:::Proceedings of the first NASD/DoD workshop on evolvable hardware.
journals/tec/KozaBCDDFGGIR99:::John R. Koza::Wolfgang Banzhaf::Kumar Chellapilla::Kalyanmoy Deb::M. Dorigo::David B. Fogel::Max H. Garzon::David E. Goldberg::Hitoshi Iba::R. L. Riolo:::Genetic Programming 1998: Proceedings of the Third Annual Conference.
journals/tec/OlmiBP00:::R. Olmi::M. Bini::S. Priori:::A genetic algorithm approach to image reconstruction in electrical impedance tomography.
journals/tec/Hurford01:::James R. Hurford:::Random Boolean nets and features of language.
journals/tec/GarnierK00:::Josselin Garnier::Leila Kallel:::Statistical distribution of the convergence time of evolutionary algorithms for long-path problems.
journals/spe/RobillardCC91:::Pierre N. Robillard::Daniel Coupal::François Coallier:::Profiling Software through the Use of Metrics.
journals/spe/Lichtman86:::Zavid L. Lichtman:::The Function of T and NIL in LISP.
journals/spe/Er85:::M. C. Er:::Practical Considerations of Global and Local Variables.
journals/spe/Ardo87:::Anders Ardö:::Experience Acquiring and Retargeting a Portable Ada Computer.
journals/spe/Wu00:::Pei-Chi Wu:::Transition from national standards to Unicode: multilingual support in operating systems and programming languages.
journals/spe/MageeC91:::Jeff Magee::Shing-Chi Cheung:::Parallel Algorithm Design for Workstation Clusters.
journals/spe/MillerPP87:::Barton P. Miller::David L. Presotto::Michael L. Powell:::DEMOS/MP: The Development of a Distributed Operating System.
journals/spe/DouglisO91:::Fred Douglis::John K. Ousterhout:::Transparent Process Migration: Design Alternatives and the Sprite Implementation.
journals/spe/Sommerville82:::Ian Sommerville:::A Pattern Matching System.
journals/spe/AncilottiLBN81:::Paolo Ancilotti::Norma Lijtmaer::Maurelio Boari::Antonio Natali:::Linguistic Mechanisms for Resource Management Strategies.
journals/spe/GrossS90:::Thomas Gross::Peter Steenkiste:::Structured Dataflow Analysis for Arrays and its Use in an Optimizing Compiler.
journals/spe/Cohn73:::Charles Erwin Cohn:::Improving the Efficiency of Direct-Memory-Access Output Operations.
journals/spe/HendersonG81:::Peter B. Henderson::Roger B. Gimson:::Modularization of Large Programs.
journals/spe/BroomH87:::M. A. Broom::T. R. Hopkins:::The Implementation and Use of Toolpack/1 on a Graphics Workstation.
journals/spe/ChengS91:::Hsiao-Chung Cheng::Jang-Ping Sheu:::Design and Implementation of a Distributed File System.
journals/spe/Foster86:::David G. Foster:::Seperate Compilation in a Modula-2 Compiler.
journals/spe/Foster89:::Ian T. Foster:::Implementation of a Declarative State-transition System.
journals/spe/Kotula01:::Jeff Kotula:::Branded interface toolkits.
journals/spe/BrownS99:::Ian Brown::C. Richard Snow:::A Proxy Approach to e-Mail Security.
journals/spe/Wadler87:::Philip Wadler:::Fixing some Space Leaks with a Garbage Collector.
journals/spe/Hopkins80:::T. R. Hopkins:::PBASIC-A Verifier for BASIC.
journals/spe/BresnahanBM84:::J. Barrie Bresnahan::David T. Barnard::Ian A. Macleod:::WSH-A New Command Interpreter for UNIX.
journals/spe/McIlroy99:::M. Douglas McIlroy:::A Killer Adversary for Quicksort.
journals/spe/Johnsen78:::Kari Johnsen:::A Simplification of Code Tables in a One-pass PL/M Compiler.
journals/spe/Wentworth90:::E. P. Wentworth:::Pitfalls of Conservative Garbage Collection.
journals/spe/GatS76:::Israel Gat::Harry J. Saal:::Memoryless Execution: A Programmer's Viewpoint.
journals/spe/HartelGW94:::Pieter H. Hartel::Hugh Glaser::John M. Wild:::Compilation of Functional Languages using Flow Graph Analysis.
journals/spe/FoxL75:::D. A. Fox::T. Lang:::Development of an Advanced Satellite System.
journals/spe/PatilF97:::Harish Patil::Charles N. Fischer:::Low-Cost, Concurrent Checking of Pointer and Array Accesses in C Programs.
journals/spe/Pagan84:::Frank G. Pagan:::Toward Complete Programming Language Descriptions that are both Formal and Understandable.
journals/spe/CharltonM83:::Colin C. Charlton::K. C. Mander:::Tools and Techniques for Teaching Microprocessor Software Development.
journals/spe/RafeaS93:::Ahmed A. Rafea::Khaled F. Shaalan:::Lexical Analysis of Inflected Arabic Words using Exhaustive Search of an Augmented Transition Network.
journals/spe/Palme74:::Jacob Palme:::List Structures in SIMULA and PL/1-a Comparison.
journals/spe/Palme76:::Jacob Palme:::Experience from the Standardization of the SIMULA Programming Language.
journals/spe/Palme78:::Jacob Palme:::How I Fought with Hardware and Software and Succeeded.
journals/spe/Palme79:::Jacob Palme:::A Human-Computer Interface for Non-computer Specialists.
journals/spe/Hac84:::Anna Hac:::PL/I as a Discrete Event Simulation Tool.
journals/spe/Foxley78:::Eric Foxley:::Programming Aids for the Teaching of Programming.
journals/spe/BellW71:::D. A. Bell::Brian A. Wichmann:::An ALGOL-like Assembly Language for a Small Computer.
journals/spe/Hope71:::Alexander K. Hope:::A Planar Graph Drawing Program.
journals/spe/Waite85:::William M. Waite:::Treatment of Tab Characters by a Compiler.
journals/spe/Chiueh97:::Tzi-cker Chiueh:::Chitra Venkatramani, Michael Vernick: Design and Implementation of the Stony Brook Video Server.
journals/spe/BilirisDG93:::Alexandros Biliris::Shaul Dar::Narain H. Gehani:::Making C++ Objects Persistent: the Hidden Pointers.
journals/spe/Liu01:::Mengchi Liu:::The Relationlog system prototype.
journals/spe/StephensY86:::P. D. Stephens::J. K. Yarwood:::Providing Multi-Users Access to Distributed Array Processors.
journals/spe/Hunt80:::J. G. Hunt:::Interrupts.
journals/spe/LeungLW98:::Kwong-Sak Leung::Kin-Hong Lee::Yuk-Yin Wong:::DJM: A Global Distributed Virtual Machine on the Internet.
journals/spe/GraefKLM79:::Norwin Graef::Horst Kretschmar::Klaus-Peter Löhr::Bernt Morawetz:::How To Design and Implement Small Time-Sharing Systems Using Concurrent.
journals/spe/Freeman78:::Peter Freeman:::Software Design Representation: A Case Study.
journals/spe/Mancini88:::Luigi V. Mancini:::A Technique for Subclassing and its Implementation Exploiting Polymorphic Procedures.
journals/spe/Kerr80:::John D. Kerr:::FORALL: An Extensible Fortran System for Conversationally Accessing Subroutine Libraries.
journals/spe/RamseyM91:::Norman Ramsey::Carla Marceau:::Literate Programming on a Team Project.
journals/spe/CollofelloG93:::James S. Collofello::Bakul P. Gosalla:::An Application of Causal Analysis to the Software Modification Process.
journals/spe/Hansen81:::Per Brinch Hansen:::Edison-a Multiprocessor Language.
journals/spe/Hansen87:::Per Brinch Hansen:::Joyce - A Programming Language for Distributed Systems.
journals/spe/Hanson99:::David R. Hanson:::Early Experience with ASDL in lcc.
journals/spe/HomerS89:::William Homer::Richard Schooler:::Independent Testing of Compiler Phases Using a Test Case Generator.
journals/spe/LeeK99:::Sang-Won Lee::Hyoung-Joo Kim:::Object-Versioning in an ODMG-compliant Object Daatabase System.
journals/spe/Lesk72:::Arthur M. Lesk:::Generation of Interactive Displays from FORTRAN using the PDP-10/LSD-1 Computer Graphics System.
journals/spe/ProebstingT00:::Todd A. Proebsting::Gregg M. Townsend:::A new implementation of the Icon language.
journals/spe/RohlEC75:::Jeffrey S. Rohl::H. D. Ellison::R. J. Collins:::An In-Core Batching Standard FORTRAN Compiler for Large ICL 1900 Machine.
journals/spe/LoHC97:::Siu Ling Ann Lo::Norman C. Hutchinson::Samuel T. Chanson:::A Flexible Real-Time Scheduling Abstraction: Design and Implementation.
journals/spe/Voros84:::G. Vörös:::Calculation of Co-ordinates for Optimal Hatching.
journals/spe/ComerS82:::Douglas Comer::Vincent Yun Shen:::Hash-Bucket Search: A Fast Technique for Searching an English Spelling Dictionary.
journals/spe/Walker86:::A. N. Walker:::The Ilem Project: Pascal to Algol in Easy Stages I: Outward Bound.
journals/spe/Walker90:::John Q. Walker II:::A Node-positioning Algorithm for General Trees.
journals/spe/AtkinsonM78:::L. V. Atkinson::J. J. McGregor:::CONA-A Conversational Algol System.
journals/spe/Fisher83:::D. L. Fisher:::Global Variables Versus Local Variables.
journals/spe/PerkinsV84:::Daniel R. Perkins::Dennis Volper:::UCSD Pascal on the VAX, Portability and Performance.
journals/spe/Lyon85:::Gordon Lyon:::Structural Dimensions of Small Programming Environments.
journals/spe/LindstromS81:::Hans Lindstrom::Jan Skansholm:::How to Make Your Own Simulation System.
journals/spe/Onodera93:::Tamiya Onodera:::Reducing Compilation Time by a Compilation Server.
journals/spe/HumeS91:::Andrew Hume::Daniel Sunday:::Fast String Searching.
journals/spe/Mateti83:::Prabhaker Mateti:::A Specification Schema for Indenting Programs.
journals/spe/GanzingerW85:::Harald Ganzinger::Walter Willmertinger:::FOAM: A Two-Level Approach to Text Formatting on a Microcomputer System.
journals/spe/Brereton86:::Pearl Brereton:::Management of Replicated Files in a UNIX Environments.
journals/spe/OffuttPTZ96:::A. Jefferson Offutt::Jie Pan::Kanupriya Tewary::Tong Zhang:::An Experimental Evaluation of Data Flow and Mutation Testing.
journals/spe/Carter85:::B. S. Carter:::NEWLONG: A Program for Manipulation of Data on Populations of Individuals Subject to Change.
journals/spe/Griswold80:::Ralph E. Griswold:::Linguistic Extension of Abstract Machine Modelling to Aid Software Development.
journals/spe/Levison83:::Michael Levison:::Editing Mathematical Formulae.
journals/spe/Fjellheim79:::Roar A. Fjellheim:::A Message Distribution Technique and its Application to Network Control.
journals/spe/Ravn82:::Anders P. Ravn:::Pointer Variables in Concurrent Pascal.
journals/spe/Pyle79:::I. C. Pyle:::Input/Output in High Level Programming Languages.
journals/spe/Pyle80:::I. C. Pyle:::Axioms for User-defined Operators.
journals/spe/Wirth90:::Niklaus Wirth:::Ceres-Net: A Low-cost Computer Network.
journals/spe/Sale81:::Arthur H. J. Sale:::Forward-declared Procedures, Parameter-lists and Scope.
journals/spe/BondS90:::Alan H. Bond::Basuki Soetarman:::Integrating Prolog and CADAM to Produce an Intelligent CAD System.
journals/spe/Tagg88:::A. G. Tagg:::Low-level Programming in Modula-2: an Experience with Local Area Network Access.
journals/spe/DearnleyS99:::P. A. Dearnley::D. J. Smith:::Discovering and Using Entity Mappings in Federated Databases.
journals/spe/Waters89:::Richard C. Waters:::Automated Software Management Based on Structural Models.
journals/spe/DaviesB86:::G. Davies::S. Bowsher:::Algorithms for Pattern Matching.
journals/spe/TavanapongH01:::Wallapak Tavanapong::Kien A. Hua:::Design and implementation of a video browsing system for the Internet.
journals/spe/SymesO77:::Lawrence R. Symes::R. R. Oldehoeft:::Success and Failure Analysis of a Problem Solving System Implementation.
journals/spe/WortmanKL76:::David B. Wortman::Philip J. Khaiat::David M. Laskar:::Six PL/I Compilers.
journals/spe/ChenS97:::Zhanliang Chen::Richard D. Schlichting:::Interconnecting Interactive and Remote Parallel Components Using Schooner.
journals/spe/Wand79:::I. C. Wand:::Systems Implementation Languages and IRONMAN.
journals/spe/FitzgeraldKRST00:::Robert P. Fitzgerald::Todd B. Knoblock::Erik Ruf::Bjarne Steensgaard::David Tarditi:::Marmot: an optimizing compiler for Java.
journals/spe/McCluskeyPNTJ95:::T. L. McCluskey::J. M. Porteous::Y. Naik::C. N. Taylor::S. Jones:::A Requirements Capture Method and its use in an Air Traffic Control Application.
journals/spe/KrugerK97:::A. Kruger::W. F. Krajewski:::Efficient Storage of Weather Radar Data.
journals/spe/Wilkes73:::Maurice V. Wilkes:::The Cambridge Multiple-Access System in Retrospect.
journals/spe/WatanabeOKT81:::Tan Watanabe::Tsuneharu Ohsawa::Hisao Kuma::Wakunaga Tsukada:::Micro MUMPS: An Interactive Database Language for Micro-Computers.
journals/spe/Buyya00:::Rajkumar Buyya:::PARMON: a portable and scalable monitoring system for clusters.
journals/spe/IyengarC85:::S. Sitharama Iyengar::Hsi Chang:::Efficient Algorithms to Create and Maintain Balanced and Threaded Binary.
journals/spe/DentiO99:::Enrico Denti::Andrea Omicini:::An Architecture for Tuple-Based Coordination of Multi-Agent Systems.
journals/spe/QinSA90:::Bin Qin::Howard A. Sholl::Reda A. Ammar:::A Tool to Minimize the Time Costs of Parallel Computations Through Optimal Processing Power Allocation.
journals/spe/Kahrs95:::Mark Kahrs:::The Heart of IGES.
journals/spe/Vaucher80:::Jean G. Vaucher:::Pretty-Printing of Trees.
journals/spe/FurutaSO91:::Richard Furuta::P. David Stotts::Jefferson Ogata:::Ytracc: a Parse Browser for Yacc Grammars.
journals/spe/DeganoP95:::Pierpaolo Degano::Corrado Priami:::Comparison of Syntactic Error Handling in LR Parsers.
journals/spe/Thimbleby89:::Harold W. Thimbleby:::Using Sentinels in Insert Sort.
journals/spe/BarcucciP84:::Elena Barcucci::Gianluca Pelacani:::A Software Development System Based on a Macroprocessor.
journals/spe/CookL82:::Robert P. Cook::Insup Lee:::A Contextual Analysis of Pascal Programs.
journals/spe/GoswamiMC00:::Diganta Goswami::Rajib Mall::Prosenjit Chatterjee:::Static slicing in Unix process environment.
journals/spe/Cordy84:::James R. Cordy:::Compile-Time Detection of Aliasing in Euclid Programs.
journals/spe/HoskingNWCD01:::Antony L. Hosking::Nathaniel Nystrom::David Whitlock::Quintin I. Cutts::Amer Diwan:::Partial redundancy elimination for access path expressions.
journals/spe/Steensgaard-Madsen99:::Jørgen Steensgaard-Madsen:::HTEL: a HyperText Expression Language.
journals/spe/Delft99:::André van Delft:::A Java Extension with Support for Dimensions.
journals/spe/Cowie87:::James R. Cowie:::A Direct Access Technique for Sequential Files with Variable Length Records.
journals/spe/BogottF75:::Robert P. Bogott::Mark A. Franklin:::Evaluation of Markov Program Models in Virtual Memory Systems.
journals/spe/Dewan93:::Prasun Dewan:::Designing and Implementing Multi-user Applications: a Case Study.
journals/spe/Dewey84:::M. E. Dewey:::QS: a Tool for General Data Input.
journals/spe/Dewey86:::Michael E. Dewey:::TBFLP-A Simple Preprocessor for Tables.
journals/spe/LueckeHHJC91:::Glenn R. Luecke::Wagar Haque::James Hoekstra::Howard W. Jespersen::James Coyle:::Evaluation of Fortran Vector Compilers and Preprocessors.
journals/spe/Wirth77a:::Niklaus Wirth:::The Use of Modula.
journals/spe/Newman86:::I. A. Newman:::Processing Variable Length Abbreviations: Some Observations.
journals/spe/Crowe91:::David R. Crowe:::NovAtel's Novel Approach to CPU Usage Measurement.
journals/spe/CabodiQC98:::Gianpiero Cabodi::Stefano Quer::Paolo Camurati:::Memory Optimization in Function and Set Manipulation with BDDs.
journals/spe/Elliott82a:::Brig Elliott:::Design of a Simple Screen Editor.
