Computer-music interfaces: a survey
ACM Computing Surveys (CSUR)
Communications of the ACM - Special issue on parallelism
A computerized test for conformance to the APL standard
ACM SIGAPL APL Quote Quad
APL '87 Proceedings of the international conference on APL: APL in transition
APL '87 Proceedings of the international conference on APL: APL in transition
The Illinois functional programming interpreter
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Towards functional programming in Prolog
ACM SIGPLAN Notices
Scope and access classes in APL
APL '88 Proceedings of the international conference on APL
Crystal: from functional description to efficient parallel code
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
Conception, evolution, and application of functional programming languages
ACM Computing Surveys (CSUR)
SPAA '89 Proceedings of the first annual ACM symposium on Parallel algorithms and architectures
Scans as Primitive Parallel Operations
IEEE Transactions on Computers
Compilation of Haskell array comprehensions for scientific computing
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Making languages more powerful by removing limitations
Conference proceedings on Formal methods in software development
Scan primitives for vector computers
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Size and access inference for data-parallel programs
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
APL '91 Proceedings of the international conference on APL '91
ACM SIGPLAN Notices
A bibliography of APL articles on modeling and KBES
ACM SIGAPL APL Quote Quad
IBM Systems Journal
IBM Systems Journal
Parallel expression in the APL2 language
IBM Systems Journal
Language as an intellectual tool: from hieroglyphics to APL
IBM Systems Journal
IBM Systems Journal
Transforming high-level data-parallel programs into vector operations
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
History of the Icon programming language
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Automatic array alignment in data-parallel programs
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The role of APL and J in high-performance computation
APL '93 Proceedings of the international conference on APL
APL '93 Proceedings of the international conference on APL
Towards increased productivity of algorithm implementation
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Compiling nested data-parallel programs for shared-memory multiprocessors
ACM Transactions on Programming Languages and Systems (TOPLAS)
ICS '94 Proceedings of the 8th international conference on Supercomputing
Compiling performance models from parallel programs
ICS '94 Proceedings of the 8th international conference on Supercomputing
The APL theory of human vision
APL '94 Proceedings of the international conference on APL : the language and its applications: the language and its applications
Powerlist: a structure for parallel recursion
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compiler transformations for high-performance computing
ACM Computing Surveys (CSUR)
The role of composition in computer programming
APL '95 Proceedings of the international conference on Applied programming languages
A query language for multidimensional arrays: design, implementation, and optimization techniques
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Integrating ordinary type and many languages with the APL alphabet and keyboard
APL '85 Proceedings of the international conference on APL: APL and the future
Konrad Zuse: reflections on the 80th birthday of the German computing pioneer
ACM SIGNUM Newsletter
Problem space promotion and its evaluation as a technique for efficient parallel computation
ICS '99 Proceedings of the 13th international conference on Supercomputing
Regions: an abstraction for expressing array computation
Proceedings of the conference on APL '99 : On track to the 21st century: On track to the 21st century
Accelerating APL programs with SAC
Proceedings of the conference on APL '99 : On track to the 21st century: On track to the 21st century
Programming notation in systems design
IBM Systems Journal
Connection Machine Lisp: fine-grained parallel symbolic processing
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Algorithms for Parallel-Search Memories
Journal of the ACM (JACM)
Efficient Exercising of Switching Elements in Nets of Identical Gates
Journal of the ACM (JACM)
The Closure Statement: A Programming Language Construct Allowing Ultraconcurrent Execution
Journal of the ACM (JACM)
Mechanical Discovery of Classes of Problem-Solving Strategies
Journal of the ACM (JACM)
APL '98 Proceedings of the APL98 conference on Array processing language
Flowcharting With the ANSI Standard: A Tutorial
ACM Computing Surveys (CSUR)
A Survey of Interactive Graphical Systems for Mathematics
ACM Computing Surveys (CSUR)
A Survey of Some Theoretical Aspects of Multiprocessing
ACM Computing Surveys (CSUR)
Identifier Search Mechanisms: A Survey and Generalized Model
ACM Computing Surveys (CSUR)
An Overview of Programming Practices
ACM Computing Surveys (CSUR)
Behavioral Aspects of Text Editors
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Handling Operator Precedence in Arithmetic Expressions with Tree Transformations
ACM Transactions on Programming Languages and Systems (TOPLAS)
Associons: A Program Notation with Tuples Instead of Variables
ACM Transactions on Programming Languages and Systems (TOPLAS)
The VAL Language: Description and Analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
A language for bitmap manipulation
ACM Transactions on Graphics (TOG)
Use of tree structures for processing files
Communications of the ACM - Special 25th Anniversary Issue
Communications of the ACM
Recursive data structures in APL
Communications of the ACM
Communications of the ACM
Curriculum recommendations for graduate professional programs in information systems
Communications of the ACM
Programming systems and languages 1965-1975
Communications of the ACM
Dynamic partitioning for array languages
Communications of the ACM
Index ranges for matrix calculi
Communications of the ACM
A computer science course program for small colleges
Communications of the ACM
Implementation of a high level language machine
Communications of the ACM
Some complete calculi for matrices
Communications of the ACM
Curriculum recommendations for undergraduate programs in information systems
Communications of the ACM
Optimum merging from mass storage
Communications of the ACM
The role of programming in a Ph.D. computer science program
Communications of the ACM
Information science in a Ph.D. computer science program
Communications of the ACM
Organizing matrices and matrix operations for paged memory systems
Communications of the ACM
A university's educational program in computer science
Communications of the ACM
A generalized partial pass block sort
Communications of the ACM
NPL: highlights of a new programming language
Communications of the ACM
Code structures for protection and manipulation of variable-length items
Communications of the ACM
Algorithms for finding a fundamental set of cycles for an undirected linear graph
Communications of the ACM
Formalism in programming languages
Communications of the ACM
A programming package for some general modes of arithmetic
Communications of the ACM
Communications of the ACM
Mechanical languages: a course specification
Communications of the ACM
An ALGOL-like computer design language
Communications of the ACM
PUFFT—The Purdue University fast FORTRAN translator
Communications of the ACM
An undergraduate program in computer science—preliminary recommendations
Communications of the ACM
Internal and tape sorting using the replacement-selection technique
Communications of the ACM
A comparison between the polyphase and oscillating sort techniques
Communications of the ACM
Use of tree structures for processing files
Communications of the ACM
Addressing multidimensional arrays
Communications of the ACM
Communications of the ACM
A potpourri of notational pet peeves (and their resolution in modcap)
ACM SIGPLAN Notices
An experiment in teaching programming languages
ACM SIGCSE Bulletin
A parallel approach to compilation
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Carrier arrays: an idiom-preserving extension to APL
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Computer-aided schema for instructional gaming
ACM '72 Proceedings of the ACM annual conference - Volume 1
APL '00 Proceedings of the international conference on APL-Berlin-2000 conference
Vector pascal reference manual
ACM SIGPLAN Notices
ACM SIGAPL APL Quote Quad
ACM SIGAPL APL Quote Quad
ACM SIGAPL APL Quote Quad
Of noughts and if's and matrices: some comments on APLQQ[9;2;]
ACM SIGAPL APL Quote Quad
Aplanar, two-dimensional geometry in APL
ACM SIGAPL APL Quote Quad
A real-time version of SequenceL
Annals of Software Engineering
Bubble sort: an archaeological algorithmic analysis
SIGCSE '03 Proceedings of the 34th SIGCSE technical symposium on Computer science education
Konrad Zuse's Plankalkül: The First High-Level, "non von Neumann" Programming Language
IEEE Annals of the History of Computing
The Classification, Fusion, and Parallelization of Array Language Primitives
IEEE Transactions on Parallel and Distributed Systems
Implementing the NAS Benchmark MG in SAC
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
SVP: A Model Capturing Sets, Lists, Streams, and Parallelism
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Abstraction, concurrency, and communal computing in SequenceL
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
A Database Array Algebra for Spatio-Temporal Data and Beyond
NGIT '99 Proceedings of the 4th International Workshop on Next Generation Information Technologies and Systems
Computational Indexes for Time Series
SSDBM '96 Proceedings of the Eighth International Conference on Scientific and Statistical Database Management
Parallel Programming by Transformation
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
A Case Study: Effects of WITH-Loop-Folding on the NAS Benchmark MG in SAC
IFL '98 Selected Papers from the 10th International Workshop on 10th International Workshop
Shared Memory Multiprocessor Support for SAC
IFL '98 Selected Papers from the 10th International Workshop on 10th International Workshop
A Compilation Scheme for a Hierarchy of Array Types
IFL '02 Selected Papers from the 13th International Workshop on Implementation of Functional Languages
The design and implementation of a parallel array operator for the arbitrary remapping of data
Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming
Syntactic experiments with arrays of functions and operators
APL '84 Proceedings of the international conference on APL
APL '84 Proceedings of the international conference on APL
APL '83 Proceedings of the international conference on APL
A comparison of reduction in APL with polyarity in LISP
APL '83 Proceedings of the international conference on APL
The Boolean Vector Machine [BVM]
ISCA '83 Proceedings of the 10th annual international symposium on Computer architecture
APLNET, a local computer network
APL '82 Proceedings of the international conference on APL
APL '82 Proceedings of the international conference on APL
HOPE: An experimental applicative language
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Data structure architectures - a major operational principle
ISCA '78 Proceedings of the 5th annual symposium on Computer architecture
Learning mathematics with recursive computer programs
SIGCSE '76 Proceedings of the ACM SIGCSE-SIGCUE technical symposium on Computer science and education
A design tool for the multilevel description and simulation of systems of interconnected modules
ISCA '76 Proceedings of the 3rd annual symposium on Computer architecture
A design study of a shared resource computing system
ISCA '76 Proceedings of the 3rd annual symposium on Computer architecture
GPMS, a general purpose memory management system—user's memory—that is.
APL '76 Proceedings of the eighth international conference on APL
APL Econometric Planning Language (EPLAN)
APL '76 Proceedings of the eighth international conference on APL
APL '75 Proceedings of seventh international conference on APL
APL '75 Proceedings of seventh international conference on APL
A generalized APL shared variable system
APL '75 Proceedings of seventh international conference on APL
Approaches to design of high level languages for microprogramming
MICRO 7 Conference record of the 7th annual workshop on Microprogramming
A report on the value of some advanced high level language operators on current sequential computers
HLLCA '73 Proceedings of the ACM-IEEE symposium on High-level-language computer architecture
Structure of digital system description languages
ISCA '73 Proceedings of the 1st annual symposium on Computer architecture
Flowware—a flow charting procedure to describe digital networks
ISCA '73 Proceedings of the 1st annual symposium on Computer architecture
A varistructured fail-soft cellular computer
ISCA '73 Proceedings of the 1st annual symposium on Computer architecture
A suggested approach to computer arithmetic for designers of multi-valued logic processors
MVL '78 Proceedings of the eighth international symposium on Multiple-valued logic
Levels of representation of programs and the architecture of universal host machines
MICRO 11 Proceedings of the 11th annual workshop on Microprogramming
APL '79 Proceedings of the international conference on APL: part 1
The nested rectangular array as a model of data
APL '79 Proceedings of the international conference on APL: part 1
GESOP: A relational data base using generalized arrays and data-base primitives
APL '79 Proceedings of the international conference on APL: part 1
APL '79 Proceedings of the international conference on APL: part 1
APL and the Grzegorczyk hierarchy
APL '79 Proceedings of the international conference on APL: part 1
On the locus of program flow within and among secondary functions
APL '79 Proceedings of the international conference on APL: part 1
The design of a system for the synthesis of correct microprograms
MICRO 8 Proceedings of the 8th annual workshop on Microprogramming
Quality of designs from an automatic logic generator (ALERT)
DAC '70 Proceedings of the 7th Design Automation Workshop
Indexing and indexed replacement in APL
APL '81 Proceedings of the international conference on APL
A language for the description of digital computer processors
DAC '68 Proceedings of the 5th annual Design Automation Workshop
Information retrieval: information storage and retrieval using AVL trees
ACM '65 Proceedings of the 1965 20th national conference
Design of a microprogramming language
MICRO 6 Conference record of the 6th annual workshop on Microprogramming
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
An applicative compiler for a parallel machine
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
The design of a procedureless programming language
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Use of APL in microprogrammable machine modeling
Proceedings of the SIGPLAN symposium on Languages for system implementation
Simulators and assemblers for minicomputers
ANSS '75 Proceedings of the 3rd symposium on Simulation of computer systems
Is APL epidemic? or a study of its growth through an extended bibliography
APL '72 Proceedings of the fourth international conference on APL
A PL/1 batch processor for APL
APL '72 Proceedings of the fourth international conference on APL
ACM SIGPLAN Notices - Special issue: History of programming languages conference
A language design for vector machines
Proceedings of the conference on Programming languages and compilers for parallel and vector machines
Proceedings of the conference on Programming languages and compilers for parallel and vector machines
Lexical analysis and parsing techniques for a vector machine
Proceedings of the conference on Programming languages and compilers for parallel and vector machines
A formal method for computer design verification
DAC '82 Proceedings of the 19th Design Automation Conference
Computer science education in small colleges - a report with recommendations
SIGUCCS '72 Proceedings of the annual ACM SIGUCCS symposium on The administration and management of small-college computing centers
FAD, a functional programming language that supports abstract data types
ACM '80 Proceedings of the ACM 1980 annual conference
An empirical evaluation of algorithms for dynamically maintaining binary search trees
ACM '80 Proceedings of the ACM 1980 annual conference
Yet another conversational programming language - BPL
ACM '78 Proceedings of the 1978 annual conference - Volume 2
ACM '74 Proceedings of the 1974 annual conference - Volume 1
APL as a lingua franca in the computer science curriculum
SIGCSE '74 Proceedings of the fourth SIGCSE technical symposium on Computer science education
The computerized statesman: Further explorations into the escalation of conflict
ACM '71 Proceedings of the 1971 26th annual conference
Specifications for a design automation system
DAC '65 Proceedings of the SHARE design automation project
Formal description of processes—the first step in design automation
DAC '65 Proceedings of the SHARE design automation project
Change control in automated design
DAC '66 Proceedings of the SHARE design automation project
A meta-compiler as a design automation tool
DAC '66 Proceedings of the SHARE design automation project
APL unary matrix operators as represented by the eighth order Dihedral group
APL '74 Proceedings of the sixth international conference on APL
A computer system providing microcoded APL
APL '74 Proceedings of the sixth international conference on APL
The PCS APL shared file system
APL '74 Proceedings of the sixth international conference on APL
APL\XAD: An extension of APL for abstract data manipulation
APL '74 Proceedings of the sixth international conference on APL
Goal-directed program transformation
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
The Making of the MCM/70 Microcomputer
IEEE Annals of the History of Computing
The data flow programming language CAJOLE - an informal introduction
ACM SIGPLAN Notices
OOPAL: integrating array programming in object-oriented programming
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
A model for the configurable composition and synchronization of complex trading activities
Proceedings of the 2003 ACM symposium on Applied computing
Computer augmented teacher training
ACM SIGCUE Outlook
A report on the value of some advanced high level language operators on current sequential computers
HLLCA '73 Proceedings of a symposium on High-level-language computer architecture
Sixty-character representation of APL symbols
ACM SIGPLAN Notices
Single Assignment C: efficient support for high-level array operations in a functional setting
Journal of Functional Programming
A tutorial on the universality and expressiveness of fold
Journal of Functional Programming
Virtual information in data-base systems
ACM SIGMOD Record
A survey of control structures in programming languages
ACM SIGPLAN Notices - Special issue on control structures in programming languages
Sixty-character representation of APL symbols
ACM SIGPLAN Notices
Parallel programming techniques for compilers
ACM SIGPLAN Notices
A language for regular operations in graphics
ACM SIGGRAPH Computer Graphics
Specifications for a tree processing language
COLING '65 Proceedings of the 1965 conference on Computational linguistics
A basic characteristic of twin primes and its generalization
Smarandache Notions Journal
IBM Journal of Research and Development
Models for machine learning and data mining in functional programming
Journal of Functional Programming
ACM SIGLASH Newsletter
History of programming languages---II
History of the Icon programming language
History of programming languages---II
Typesetting APL dialects: a bitter legacy of the 20th century?
ACM SIGAPL APL Quote Quad
Simulators and assemblers for minicomputers
ACM SIGSIM Simulation Digest
A Variadic Extension of Curry's Fixed-Point Combinator
Higher-Order and Symbolic Computation
On data structures in associative memories
ACM SIGPLAN Notices
Representation and manipulation of data structures in APL
ACM SIGPLAN Notices
ACM-SE 33 Proceedings of the 33rd annual on Southeast regional conference
DLS '05 Proceedings of the 2005 symposium on Dynamic languages
History of programming languages I
Bridging the gap between principles and practices in microprogramming
ACM SIGMICRO Newsletter
Merging compositions of array skeletons in SAC
Parallel Computing - Algorithmic skeletons
ACM SIGAPL APL Quote Quad - In honor of Kenneth E. Iverson
A translator system for the MATLAB language: Research Articles
Software—Practice & Experience
Machine and collection abstractions for user-implemented data-parallel programming
Scientific Programming
Case study on algebraic software methodologies for scientific computing
Scientific Programming
Designing Interdisciplinary Approaches To Problem Solving Into Computer Languages
Journal of Integrated Design & Process Science
Proceedings of the nineteenth annual ACM symposium on Parallel algorithms and architectures
SAC: off-the-shelf support for data-parallelism on multicores
Proceedings of the 2007 workshop on Declarative aspects of multicore programming
Scan primitives for GPU computing
Proceedings of the 22nd ACM SIGGRAPH/EUROGRAPHICS symposium on Graphics hardware
ACM Turing award lectures
ACM Turing award lectures
Proceedings of the 2007 symposium on Dynamic languages
A Comparison of Register Transfer Languages for Describing Computers and Digital Systems
IEEE Transactions on Computers
Minimization of Exclusive or and Logical Equivalence Switching Circuits
IEEE Transactions on Computers
System Design of a Cellular APL Computer
IEEE Transactions on Computers
Technology and Design Tradeoffs in the Creation of a Modern Supercomputer
IEEE Transactions on Computers
Automated Scaling for Hybrid Computers
IEEE Transactions on Computers
The MPG System: A Machine-Independent Efficient Microprogram Generator
IEEE Transactions on Computers
Methods Used in an Automatic Logic Design Generator (ALERT)
IEEE Transactions on Computers
Strum: Structured Microprogram Development System for Correct Firmware
IEEE Transactions on Computers
Functional Microprogramming as a Logic Design Aid
IEEE Transactions on Computers
IEEE Transactions on Computers
IEEE Transactions on Computers
Programming Languages The First 25 Years
IEEE Transactions on Computers
An Inductive Assertion Method for Register Transfer Level Design Verification
IEEE Transactions on Computers
B69-1 Digital Computer System Principles
IEEE Transactions on Computers
Scout: a data-parallel programming language for graphics processors
Parallel Computing
Normalize, transpose, and distribute: An automatic approach for handling nonscalars
ACM Transactions on Programming Languages and Systems (TOPLAS)
Fast scan algorithms on graphics processors
Proceedings of the 22nd annual international conference on Supercomputing
Hierarchical pathfinding and AI-based learning approach in strategy game design
International Journal of Computer Games Technology - Joint International Conference on Cyber Games and Interactive Entertainment 2006
AIEE-IRE '62 (Spring) Proceedings of the May 1-3, 1962, spring joint computer conference
A common language for hardware, software, and applications
AFIPS '62 (Fall) Proceedings of the December 4-6, 1962, fall joint computer conference
An interrupt control for the B5000 data processor system
AFIPS '63 (Fall) Proceedings of the November 12-14, 1963, fall joint computer conference
The mechanization of a push-down stack
AFIPS '63 (Fall) Proceedings of the November 12-14, 1963, fall joint computer conference
Computer organization for array processing
AFIPS '65 (Fall, part I) Proceedings of the November 30--December 1, 1965, fall joint computer conference, part I
The time-sharing monitor system
AFIPS '64 (Fall, part I) Proceedings of the October 27-29, 1964, fall joint computer conference, part I
Remote computing--an experimental system: part 2: internal design
AFIPS '64 (Spring) Proceedings of the April 21-23, 1964, spring joint computer conference
An algorithmic search procedure for program generation
AFIPS '67 (Spring) Proceedings of the April 18-20, 1967, spring joint computer conference
Observations on high-performance machines
AFIPS '67 (Fall) Proceedings of the November 14-16, 1967, fall joint computer conference
Batch, conversational, and incremental compilers
AFIPS '69 (Spring) Proceedings of the May 14-16, 1969, spring joint computer conference
TRANQUIL: a language for an array processing computer
AFIPS '69 (Spring) Proceedings of the May 14-16, 1969, spring joint computer conference
Computer generated graphic segments in a raster display
AFIPS '69 (Spring) Proceedings of the May 14-16, 1969, spring joint computer conference
Natural language inquiry to an open-ended data library
AFIPS '70 (Spring) Proceedings of the May 5-7, 1970, spring joint computer conference
The architecture of a large associative processor
AFIPS '70 (Spring) Proceedings of the May 5-7, 1970, spring joint computer conference
A language-oriented computer design
AFIPS '70 (Fall) Proceedings of the November 17-19, 1970, fall joint computer conference
Cyclic redundancy checking by program
AFIPS '71 (Fall) Proceedings of the November 16-18, 1971, fall joint computer conference
Software: historical perspectives and current trends
AFIPS '72 (Fall, part II) Proceedings of the December 5-7, 1972, fall joint computer conference, part II
A survey of languages for stating requirements for computer-based information systems
AFIPS '72 (Fall, part II) Proceedings of the December 5-7, 1972, fall joint computer conference, part II
APL as a development tool for special-purpose processors
AFIPS '74 Proceedings of the May 6-10, 1974, national computer conference and exposition
The control data STAR-100: performance measurements
AFIPS '74 Proceedings of the May 6-10, 1974, national computer conference and exposition
APLG-An APL based system for interactive computer graphics
AFIPS '74 Proceedings of the May 6-10, 1974, national computer conference and exposition
An information base for procedure independent design of information systems
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
Hilbert Space Models Commodity Exchanges
QI '09 Proceedings of the 3rd International Symposium on Quantum Interaction
A compositional framework for developing parallel programs on two-dimensional arrays
International Journal of Parallel Programming
Reducers and other Cilk++ hyperobjects
Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures
Orthogonal parallel processing in vector Pascal
Computer Languages, Systems and Structures
IBM Systems Journal
A general management business simulation in APL
IBM Systems Journal
File organization and addressing
IBM Systems Journal
Programming notation in systems design
IBM Systems Journal
Combinatory programming and combinatorial analysis
IBM Journal of Research and Development
System capacity and performance evaluation
IBM Systems Journal
A formal description of SYSTEM/360
IBM Systems Journal
Diagnosis of automata failures: a calculus and a method
IBM Journal of Research and Development
Use of a terminal system for data acquisition
IBM Journal of Research and Development
High-speed calculation of the critical paths of large networks
IBM Systems Journal
Internal sorting with minimal comparing
IBM Systems Journal
Symbolic polynomial operations with APL
IBM Journal of Research and Development
On proving correctness of microprograms
IBM Journal of Research and Development
Axioms and theorems for a theory of arrays
IBM Journal of Research and Development
IBM Journal of Research and Development
The evolution of the MVS operating system
IBM Journal of Research and Development
History of IBM's technical contributions to high level programming languages
IBM Journal of Research and Development
Extreme terseness: some languages are more agile than others
XP'03 Proceedings of the 4th international conference on Extreme programming and agile processes in software engineering
SIMD: an additional pattern for PLPP (pattern language for parallel programming)
Proceedings of the 14th Conference on Pattern Languages of Programs
SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
State-of-the-art in heterogeneous computing
Scientific Programming
New abstractions for data parallel programming
HotPar'09 Proceedings of the First USENIX conference on Hot topics in parallelism
Parallelism and Array Processing
IEEE Transactions on Computers
Pointfree expression and calculation: from quantification to temporal logic
Formal Methods in System Design
Proceedings of the 14th International Conference on Extending Database Technology
IEEE Transactions on Computers
Staged static techniques to efficiently implement array copy semantics in a MATLAB JIT compiler
CC'11/ETAPS'11 Proceedings of the 20th international conference on Compiler construction: part of the joint European conferences on theory and practice of software
GPU-efficient recursive filtering and summed-area tables
Proceedings of the 2011 SIGGRAPH Asia Conference
MOLAP cube based on parallel scan algorithm
ADBIS'11 Proceedings of the 15th international conference on Advances in databases and information systems
Descriptor-free representation of arrays with dependent types
IFL'08 Proceedings of the 20th international conference on Implementation and application of functional languages
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software
Parallelizing user-defined and implicit reductions globally on multiprocessors
ACSAC'06 Proceedings of the 11th Asia-Pacific conference on Advances in Computer Systems Architecture
Extending a C-like language for portable SIMD programming
Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
With-Loop fusion for data locality and parallelism
IFL'05 Proceedings of the 17th international conference on Implementation and Application of Functional Languages
SequenceL provides a different way to view programming
Computer Languages
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Interactive programming and automated mathematics
Symposium on Interactive Systems for Experimental Applied Mathematics: Proceedings of the Association for Computing Machinery Inc. Symposium
Symposium on Interactive Systems for Experimental Applied Mathematics: Proceedings of the Association for Computing Machinery Inc. Symposium
AMTRAN: automatic mathematical translation
Symposium on Interactive Systems for Experimental Applied Mathematics: Proceedings of the Association for Computing Machinery Inc. Symposium
Modulo intervals: a proposed notation
ACM SIGACT News
An effective and efficient parallel approach for random graph generation over GPUs
Journal of Parallel and Distributed Computing
"Adore", a logical meta-model supporting business process evolution
Science of Computer Programming
Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity
River trail: a path to parallelism in JavaScript
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
Sierra: a SIMD extension for C++
Proceedings of the 2014 Workshop on Programming models for SIMD/Vector processing
Hi-index | 0.56 |
From the PrefaceApplied mathematics is largely concerned with the design andanalysis of explicit procedures for calculating the exact orapproximate values of various functions. Such explicit proceduresare called algorithms or programs. Because an effective notationfor the description of programs exhibits considerable syntacticstructure, it is called a programming language.Much of applied mathematics, particularly the more recentcomputer-related areas which cut across the older disciplines,suffers from the lack of an adequate programming language. It isthe central thesis of this book that the descriptive and analyticpower of an adequate programming language amply repays theconsiderable effort required for its mastery. This thesis isdeveloped by first presenting the entire language and then applyingit in later chapters to several major topics.The areas of application are chosen primarily for theirintrinsic interest and lack of previous treatment, but they arealso designed to illustrate the universality and other facets ofthe language. For example, the microprogramming of Chapter 2illustrates the divisibility of the language, i.e., the ability totreat a restricted area using only a small portion of the completelanguage. Chapter 6 (Sorting) shows its capacity to compass arelatively complex and detailed topic in a short space. Chapter 7(The Logical Calculus) emphasizes the formal manipulability of thelanguage and its utility in theoretical work.The material was developed largely in a graduate course givenfor several years at Harvard and in a later course presentedrepeatedly at the IBM Systems Research Institute in New York. Itshould prove suitable for a two-semester course at the senior orgraduate level. Although for certain audiences an initialpresentation of the entire language may be appropriate, I havefound it helpful to motivate the development by presenting theminimum notation required for a given topic, proceeding to itstreatment (e.g., microprogramming), and then returning to furthernotation. The 130-odd problems not only provide the necessaryfinger exercises but also develop results of general interest.Chapter 1 or some part of it is prerequisite to each of theremaining "applications" chapters, but the applications chaptersare virtually independent of one another. A complete appreciationof search techniques (Chapter 4) does, however, require a knowledgeof methods of representation (Chapter 3). The cross referenceswhich do occur in the applications chapters are either nonessentialor are specific to a given figure, table, or program. The entirelanguage presented in Chapter 1 is summarized for reference at theend of the book.