Inductive methods for proving properties of programs
Communications of the ACM
GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Recursive functions of symbolic expressions and their computation by machine, Part I
Communications of the ACM
Programming language semantics and closed applicative languages
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Discipline of Programming
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
A programming language
The promotion and accumulation strategies in transformational programming
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Efficient demand-driven evaluation. Part 1
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
ACM Transactions on Programming Languages and Systems (TOPLAS)
MULTILISP: a language for concurrent symbolic computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Programming languages for computer music synthesis, performance, and composition
ACM Computing Surveys (CSUR)
Modelling the combination of functional and logic programming languages
Journal of Symbolic Computation
Communications of the ACM - Special issue on parallelism
An execution architecture for FP
IBM Journal of Research and Development
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Efficient compilation of linear recursive functions into object level loops
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
A Formal Definition of Data Flow Graph Models
IEEE Transactions on Computers
Survey on special purpose computer architectures for AI
ACM SIGART Bulletin
Language constructs for programming by example
COCS '86 Proceedings of the third ACM-SIGOIS conference on Office information systems
An instruction fetch unit for a graph reduction machine
ISCA '86 Proceedings of the 13th annual international symposium on Computer architecture
APL '86 Proceedings of the international conference on APL
A methodology for synthesis of recursive functional programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM SIGPLAN Notices
Lazy evaluation and nondeterminism make Backus' FP-systems more practical
ACM SIGPLAN Notices
Iteration and abstract data types
ACM SIGPLAN Notices
Programming the Loral LDF 100 dataflow machine
ACM SIGPLAN Notices
Communications of the ACM
APL function definition notation
APL '87 Proceedings of the international conference on APL: APL in transition
Functional programming, the IEEE floating point standard and APL
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
Efficient interpretation of synchronizable series expressions
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Analytical modeling and architectural modifications of a dataflow computer
ISCA '87 Proceedings of the 14th annual international symposium on Computer architecture
Organization and analysis of a gracefully-degrading interleaved memory system
ISCA '87 Proceedings of the 14th annual international symposium on Computer architecture
An implementation of operators for symbolic algebra systems
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
A rule-based view of query optimization
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Journal of the ACM (JACM)
ACE: an automatic complexity evaluator
ACM Transactions on Programming Languages and Systems (TOPLAS)
Towards functional programming in Prolog
ACM SIGPLAN Notices
Denotational semantics for program analysis
ACM SIGPLAN Notices
Are applicative languages inefficient?
ACM SIGPLAN Notices
Types and persistence in database programming languages
ACM Computing Surveys (CSUR)
Systems semantics: principles, applications, and implementation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
Architectural Yield Optimization for WSI
IEEE Transactions on Computers
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Demand-Driven Interpretation of FP Programs on a Data-Flow Multiprocessor
IEEE Transactions on Computers - Special issue on architectural support for programming languages and operating systems
Grammar-like functional rules for representing query optimization alternatives
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Parallel scheduling of recursively defined arrays
Journal of Symbolic Computation
Functional programming with combinators
Journal of Symbolic Computation
Functional Development of Database Applications
IEEE Transactions on Software Engineering
Dataflow Computing Models, Languages, and Machines for Intelligence Computations
IEEE Transactions on Software Engineering - Special Issue on Artificial Intelligence in Software Applications
From a functional point of view: a framework for extensions to APL
APL '88 Proceedings of the international conference on APL
Iteration for applicative languages
ACM SIGPLAN Notices
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering
On the translation of relational queries into iterative programs
ACM Transactions on Database Systems (TODS)
Implementing functional programs on a hypercube multiprocessor
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
A parallel multiprocessor machine dedicated to relational and deductive data bases
SIGIR '88 Proceedings of the 11th annual international ACM SIGIR conference on Research and development in information retrieval
An adaptation of dataflow methods for WYSIWYG document processing
DOCPROCS '88 Proceedings of the ACM conference on Document processing systems
The escher document imaging model
DOCPROCS '88 Proceedings of the ACM conference on Document processing systems
The relation between problems in large-scale concurrent systems and distributed databases
DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
Parallelizing a database programming language
DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
Buckwheat: graph reduction on a shared-memory multiprocessor
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
A simple and efficient implmentation approach for single assignment languages
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
The MIMOLA design system: a computer aided digital processor design method
25 years of DAC Papers on Twenty-five years of electronic design automation
Efficient high-level iteration with accumulators
ACM Transactions on Programming Languages and Systems (TOPLAS)
Comparing Two Functional Programming Systems
IEEE Transactions on Software Engineering
Extensible query processing in starburst
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Message driven computing and its relationship to actors
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
EQL: The Language and its Implementation
IEEE Transactions on Software Engineering
Application programming as the construction of language interpreters
ACM SIGPLAN Notices
Logo as a prelude to LISP: some surprising results
ACM SIGCSE Bulletin
Never mind the language, what about the paradigm?
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Metamodels for system development
ACM SIGSOFT Software Engineering Notes
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
Conception, evolution, and application of functional programming languages
ACM Computing Surveys (CSUR)
Representational and Denotational Semantics of Digital Systems
IEEE Transactions on Computers
Automatic binding time analysis for a typed &lgr;-calculus
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Sacrificing simplicity for convenience: Where do you draw the line?
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A new model for the high level description and simulation of VLSI networks
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
APL '89 Conference proceedings on APL as a tool of thought
LCD-reification: a formal method for developing Prolog programs
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Functional languages in microcode compilers
MICRO 22 Proceedings of the 22nd annual workshop on Microprogramming and microarchitecture
A functional model of clocked microarchitectures
MICRO 22 Proceedings of the 22nd annual workshop on Microprogramming and microarchitecture
A computing unit for FFP function evaluation in support of correctness proofs
MICRO 22 Proceedings of the 22nd annual workshop on Microprogramming and microarchitecture
Proceedings of the 1989 ACM/IEEE conference on Supercomputing
Data-Driven Parallel Production Systems
IEEE Transactions on Software Engineering
Completeness of rewrite rules and rewrite strategies for FP
Journal of the ACM (JACM)
Performance Evaluation of a Dataflow Architecture
IEEE Transactions on Computers
ACM SIGPLAN Notices
A functional programming language compiler for massively parallel computers
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Program transformation in the presence of errors
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
APL '90 Conference proceedings on APL 90: for the future
Transformations on higher-order functions
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Parallel programming with coordination structures
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Static type inference in a dynamically typed language
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Making languages more powerful by removing limitations
Conference proceedings on Formal methods in software development
Constructing programs in a calculus of lazy interpreters
Conference proceedings on Formal methods in software development
Automatic transformation of series expressions into loops
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Insider's Evaluation of PAISLey
IEEE Transactions on Software Engineering
INC: a language for incremental computations
ACM Transactions on Programming Languages and Systems (TOPLAS)
Programming with Streams in a Pascal-Like Language
IEEE Transactions on Software Engineering
Size and access inference for data-parallel programs
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
Compiling APL for parallel and vector execution
APL '91 Proceedings of the international conference on APL '91
APL '91 Proceedings of the international conference on APL '91
APL '91 Proceedings of the international conference on APL '91
A fully abstract semantics for a first-order functional language with logic variables
ACM Transactions on Programming Languages and Systems (TOPLAS)
M-LISP: its natural semantics and equational logic
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
GT-EP: a novel high-performance real-time architecture
ISCA '91 Proceedings of the 18th annual international symposium on Computer architecture
An improved storage management scheme for block structured languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Multiparadigm research: a new direction of language design
ACM SIGPLAN Notices
Structured programming with limited private types in Ada: nesting if for the soaring eagles
ACM SIGAda Ada Letters
Compile-Time Scheduling and Assignment of Data-Flow Program Graphs with Data-Dependent Iteration
IEEE Transactions on Computers
Testability of Software Components
IEEE Transactions on Software Engineering
Automatic abstraction of real-time software and re-implementation in Ada
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Proof-aided design of verified hardware
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Cache behavior of combinator graph reduction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel expression in the APL2 language
IBM Systems Journal
The foundations of suitability of APL2 for music
IBM Systems Journal
Language as an intellectual tool: from hieroglyphics to APL
IBM Systems Journal
IBM Systems Journal
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Polymorphic time systems for estimating program complexity
ACM Letters on Programming Languages and Systems (LOPLAS)
Report on the programming language Haskell: a non-strict, purely functional language version 1.2
ACM SIGPLAN Notices - Haskell special issue
Four Dimensions of programming-language independence
ACM SIGPLAN Notices
ACM SIGPLAN Notices
M-LISP: a representation-independent dialect of LISP with reduction semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
Unification based FP interpreters
ACM SIGPLAN Notices
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Implementation of a portable nested data-parallel language
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
An equational language for data-parallelism
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
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
HOPL-II The second ACM SIGPLAN conference on History of programming languages
The CM-5 Connection Machine: a scalable supercomputer
Communications of the ACM
Widening the representation bottleneck: a functional implementation of relational programming
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
On the relation between functional and data parallel programming languages
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Projecting functional models of imperative programs
ACM SIGPLAN Notices
Equal rights for functional objects or, the more things change, the more they are the same
ACM SIGPLAN OOPS Messenger
An extensible data model for hyperdocuments
ECHT '92 Proceedings of the ACM conference on Hypertext
Compiling nested data-parallel programs for shared-memory multiprocessors
ACM Transactions on Programming Languages and Systems (TOPLAS)
A compiler approach to scalable concurrent-program design
ACM Transactions on Programming Languages and Systems (TOPLAS)
Soft typing with conditional types
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Compiling performance models from parallel programs
ICS '94 Proceedings of the 8th international conference on Supercomputing
Linear logic and permutation stacks—the Forth shall be first
ACM SIGARCH Computer Architecture News - Special issue: panel sessions of the 1991 workshop on multithreaded computers
Static dependent costs for estimating execution time
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
An alternative computer architecture course
ACM SIGCSE Bulletin
Structured design methodology for high-level design
DAC '94 Proceedings of the 31st annual Design Automation Conference
Powerlist: a structure for parallel recursion
ACM Transactions on Programming Languages and Systems (TOPLAS)
Safe: a semantic technique for transforming programs in the presence of errors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient execution of programs with static semantics
ACM SIGPLAN Notices
On structured data handling in parallel processing
ACM SIGARCH Computer Architecture News
Report of a workshop on future directions in programming languages and compilers
ACM SIGPLAN Notices
Geometric programming: a programming approach to geometric design
ACM Transactions on Graphics (TOG)
An approach to support automatic generation of user interfaces
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM SIGPLAN Lisp Pointers
VHDL based design methodology for hierarchy and component re-use
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
Total correctness by local improvement in the transformation of functional programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
History in the computer science curriculum
ACM SIGCSE Bulletin
Rule languages and internal algebras for rule-based optimizers
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Rules and strategies for transforming functional and logic programs
ACM Computing Surveys (CSUR)
Manipulating recovered software architecture views
ICSE '97 Proceedings of the 19th international conference on Software engineering
Towards efficient fine-grain software pipelining
ICS '90 Proceedings of the 4th international conference on Supercomputing
A model of a microprogrammed functional-oriented computing unit
MICRO 23 Proceedings of the 23rd annual workshop and symposium on Microprogramming and microarchitecture
Compiling APL for parallel execution on an FFP machine
APL '85 Proceedings of the international conference on APL: APL and the future
Design: a financial modelling system
APL '85 Proceedings of the international conference on APL: APL and the future
Combining object-oriented and functional paradigms in a design methodology for Ada
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Holistic design of a programming system
ACM SIGSOFT Software Engineering Notes
Programming with Divide-and-Conquer Skeletons: A Case Study of FFT
The Journal of Supercomputing
Formal specification and verification of hardware: a comparative case study
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Retrospective: a preliminary architecture for a basic data flow processor
25 years of the international symposia on Computer architecture (selected papers)
Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
Advanced programming aids in PROGRAPH
Proceedings of the 1985 ACM SIGSMALL symposium on Small systems
Compiling the graphical functional language PROGRAPH
Proceedings of the 1985 ACM SIGSMALL symposium on Small systems
A functional language for description and design of digital systems: sequential constructs
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Denotational semantics and rewrite rules for FP
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The aggregate update problem in functional programming systems
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
ICSE '85 Proceedings of the 8th international conference on Software engineering
The causes and effects of infeasible paths in computer programs
ICSE '85 Proceedings of the 8th international conference on Software engineering
An implementation technique for database query languages
ACM Transactions on Database Systems (TODS)
Integrating functional and imperative programming
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
An architecture for mostly functional languages
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Connection Machine Lisp: fine-grained parallel symbolic processing
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions
Journal of the ACM (JACM)
Abstract Implementations and Their Correctness Proofs
Journal of the ACM (JACM)
Expansions in the algebra of FP
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
A differentiation primitive for extended &lgr;-calculus
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
CSC '87 Proceedings of the 15th annual conference on Computer Science
A functional language architecture that supports fine-grain parallelism (extended abstract)
CSC '87 Proceedings of the 15th annual conference on Computer Science
A data flow approach to the evaluation of FP programs
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Concurrent programming for the masses (invited address)
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
An overview of actor languages
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Optimal granularity of parallel evaluation of AND trees
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
A relational database machine based on functional programming concepts
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Grammars for functional languages
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Guest Editor Introduction: Functional Approach to Intelligent Information Systems
Journal of Intelligent Information Systems - Special issue on functional approach to intelligent information systems
PIPE: a VLSI decoupled architecture
ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture
From recursion to iteration: what are the optimizations?
PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
A Design Methodology for Data-Parallel Applications
IEEE Transactions on Software Engineering - Special issue on architecture-independent languages and software tools parallel processing
Data-Driven and Demand-Driven Computer Architecture
ACM Computing Surveys (CSUR)
Nonsequentiality and Concrete Activity Phases in Discrete-Event Simulation Languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
The VAL Language: Description and Analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Error Data Values in the Data-Flow Language VAL
ACM Transactions on Programming Languages and Systems (TOPLAS)
Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the Development of the Algebra of Functional Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
The operational versus the conventional approach to software development
Communications of the ACM
Predicative programming Part I
Communications of the ACM
Design of a LISP-based microprocessor
Communications of the ACM
What Do You Know about Mail?Knowledge Representation in the SINIX Consultant
Artificial Intelligence Review - special issue on intelligent help systems for Unix part II: planning and knowledge representation
Letters to the editor: A protection model and its implementation in a dataflow system
Communications of the ACM
Why I do declare!: declarative programming in the undergraduate curriculum
Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
The Sisal project: real world functional programming
Compiler optimizations for scalable parallel systems
Primitive string transformations as reductions to normal form
ACM SIGPLAN Notices
Efficient compilation of lazy evaluation
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
A data-driven execution paradigm for distributed fault-tolerance
EW 4 Proceedings of the 4th workshop on ACM SIGOPS European workshop
Asynchrony in parallel computing: from dataflow to multithreading
Progress in computer research
Transfinite interpolation of surfaces with integral constraints using a design language
From geometric modeling to shape modeling
Making variables abstract: an equational theory for Russell
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Experience with an applicative string processing language
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
"Type-completeness" as a language principle
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An indeterminate constructor for applicative programming
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An interpreter generator using tree pattern matching
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Asynchrony in parallel computing: from dataflow to multithreading
Progress in computer research
FQL: a functional query language
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Descriptological Foundations of Programming
Cybernetics and Systems Analysis
A new calculus for multidimensional arrays
APL '02 Proceedings of the 2002 conference on APL: array processing languages: lore, problems, and applications
Relational algebras, logic, and functional programming
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Functional programming, and where you can put it
ACM SIGPLAN Notices
The History of Computing in the History of Technology
IEEE Annals of the History of Computing
A History of Data-Flow Languages
IEEE Annals of the History of Computing
IEEE Annals of the History of Computing
Splitting the Difference: The Historical Necessity of Synthesis in Software Engineering
IEEE Annals of the History of Computing
The History of Fortran I, II, and III
IEEE Annals of the History of Computing
The power of languages for the manipulation of complex values
The VLDB Journal — The International Journal on Very Large Data Bases
The Data-Driven Microprocessor
IEEE Micro
Improving Quality With a Manufacturing Process
IEEE Software
A FAD for Data Intensive Applications
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Parallel and Distributed Systems
Exception Handlers in Functional Programming Languages
IEEE Transactions on Software Engineering
UNIBASE - An Integrated Access to Databases
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Translating Aggregate Queries into Iterative Programs
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Categorical Programming with Abstract Data Types
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Invited Talk: Pointwise Relational Programming
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Lifestyles - An Algebraic Approach to Change in Identity
STDBM '99 Proceedings of the International Workshop on Spatio-Temporal Database Management
Directions in Functional Programming for Real(-Time) Applications
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
A Logical Approach to Specification of Hybrid Systems
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Abstract Computability of Non-deterministic Programs over Various Data Structures
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Component Architecture of the Tecolote Framework
ISCOPE '98 Proceedings of the Second International Symposium on Computing in Object-Oriented Parallel Environments
A Functional Data-flow Architecture Dedicated to Real-time Image Processing
PACT '93 Proceedings of the IFIP WG10.3. Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism
DART: A Data-Driven Processor Architecture for Real-Time Computing
PACT '93 Proceedings of the IFIP WG10.3. Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism
An Introduction to Functional Nets
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Facilitating Parallel Programming in PVM Using Condensed Graphs
Proceedings of the 6th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Modeling Stream-Based Applications Using the SBF Model of Computation
Journal of VLSI Signal Processing Systems
Understanding functional programming
Journal of Computing Sciences in Colleges
Parallel ray tracing on a chip
Practical parallel rendering
A response oriented paradigm for software engineering
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
A Multi-Level Transformation Approach to HW/SW Codesign: A Case Study
CODES '96 Proceedings of the 4th International Workshop on Hardware/Software Co-Design
Efficient applicative data types
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Implementation of an interpreter for abstract equations
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
DAC '83 Proceedings of the 20th Design Automation Conference
Data processing and computer science theory
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
APL '84 Proceedings of the international conference on APL
The impact of APL2 on teaching APL
APL '84 Proceedings of the international conference on APL
The future of programming—whither APL?
APL '84 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
A system architecture for the concurrent evaluation of applicative program expressions
ISCA '83 Proceedings of the 10th annual international symposium on Computer architecture
Links-1 - a parallel pipelined multimicrocomputer system for image creation
ISCA '83 Proceedings of the 10th annual international symposium on Computer architecture
A recursive computer architecture for VLSI
ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture
µ3L: An HLL-RISC processor for parallel execution of FP-language programs
ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture
ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture
A heterogeneous multiprocessor design and the distributed scheduling of its task group workload
ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture
ISCA '81 Proceedings of the 8th annual symposium on Computer Architecture
A multi-processor reduction machine for user-defined reduction languages.
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
Listlessness is better than laziness: Lazy evaluation and garbage collection at compile-time
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Rewriting systems on FP expressions that reduce the number of sequences they yield
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Schema recognition for program transformations
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Arctic: A functional language for real-time control
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
muFP, a language for VLSI design
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Busy and lazy FP with infinite objects
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
A fixed-program machine for combinator expression evaluation
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Combinatory foundation of functional programming
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Functional specifications of a text editor
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Logic enhancement: A method for extending logic programming languages
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Data sharing in an FFP machine
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Toward an algebra of nondeterministic programs
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
The semantics of lazy (and industrious) evaluation
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
APL '82 Proceedings of the international conference on APL
Interactive software development tool: ISDT
ICSE '81 Proceedings of the 5th international conference on Software engineering
Executable requirements for embedded systems
ICSE '81 Proceedings of the 5th international conference on Software engineering
HFP: A hierarchical and functional programming based on attribute grammar
ICSE '81 Proceedings of the 5th international conference on Software engineering
The Apiary network architecture for knowledgeable systems
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
HOPE: An experimental applicative language
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Divide and concer: Data structuring in applicative multiprocessing systems
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Compilation techniques for a control-flow concurrent LISP system
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
A concurrent computer architecture and a ring based implementation
ISCA '79 Proceedings of the 6th annual symposium on Computer architecture
Application of hardware description languages to microprogramming: Method, practice, and limitations
MICRO 12 Proceedings of the 12th annual workshop on Microprogramming
The nested rectangular array as a model of data
APL '79 Proceedings of the international conference on APL: part 1
A development system for testing array theory concepts
APL '81 Proceedings of the international conference on APL
Modeling and simulating data flow computations at machine language level
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
Parallelism in algebraic computation and parallel algorithms for symbolic linear systems
SYMSAC '81 Proceedings of the fourth ACM symposium on Symbolic and algebraic computation
Proceedings of the SIGNUM Conference on the Programming Environment for Development of Numerical Software
Testing incomplete specifications of distributed systems
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Function level programs as mathematical objects
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
FP with data abstraction and strong typing
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Applicative style programming, program transformation, and list operators
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
A simple optimizer for FP-like languages
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Transformations of FP program schemes
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Operators and algebraic structures
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
ALICE a multi-processor reduction machine for the parallel evaluation CF applicative languages
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Copying operands versus copying results: A solution to the problem of large operands in FFP'S
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Optimal associative searching on a cellular computer
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Communication along shortest paths in a tree machine
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Implanting FFP trees in binary trees: An architectural proposal
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Proof-oriented and applicative valuations in definitions of algorithms
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Executing functional programs on a virtual tree of processors
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
A practical functional programming system for databases
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
A data-flow language for specifying business data processing applications
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Introduction to relational programming
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Specification of data structures for FP programs
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Dialogues: A basis for constructing programming environments
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Mechanical analysis of program complexity
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
A simple software environment based on objects and relations
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Attribute grammars and data-flow languages
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Decentralised control flow - based on UNIX
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
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 history of FORTRAN I, II, and III
ACM SIGPLAN Notices - Special issue: History of programming languages conference
Hardware support for automatic routing
DAC '82 Proceedings of the 19th Design Automation Conference
Design principles for software manufacturing tools
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Nial: A candidate language for fifth generation computer systems
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Compiling prolog programs for parallel execution on a cellular machine
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Handling of recursion in dataflow model
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
On the scope of static checking in definitional languages
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Operational specification languages
ACM '83 Proceedings of the 1983 annual conference on Computers : Extending the human resource
The Distributed Double-Loop Computer Network (DDLCN)
ACM '80 Proceedings of the ACM 1980 annual conference
FAD, a functional programming language that supports abstract data types
ACM '80 Proceedings of the ACM 1980 annual conference
The MIMOLA design system a computer aided digital processor design method
DAC '79 Proceedings of the 16th Design Automation Conference
Task scheduling with locality consideration for a clustered parallel FL reduction system
PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
The Sisal Model of Functional Programming and its Implementation
PAS '97 Proceedings of the 2nd AIZU International Symposium on Parallel Algorithms / Architecture Synthesis
DESCARTES: An Automatic Programming System for Algorithmically Simple Programs
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
Methodology for designing a computer architecture
ACM SIGARCH Computer Architecture News
ACM SIGARCH Computer Architecture News
On translating geometric solids to functional expressions
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Simplifying ADA by removing limitations
ACM SIGPLAN Notices
On FP languages combining forms
ACM SIGPLAN Notices
ACM SIGPLAN Notices
The data flow programming language CAJOLE - an informal introduction
ACM SIGPLAN Notices
Structured data flow programming
ACM SIGPLAN Notices
Functional programming and the two-pass assembler
ACM SIGPLAN Notices
Beyond PROLOG: software specification by grammar
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 hardware design system based on object-oriented principles
EURO-DAC '91 Proceedings of the conference on European design automation
Declarative specification and declarative programming
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Issues in the specification and design of parallel programs
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Journal of Functional Programming
A tutorial on the universality and expressiveness of fold
Journal of Functional Programming
A Run-Time Reconfigurable Datapath Architecture for Image Processing Applications
Proceedings of the conference on Design, automation and test in Europe - Volume 3
NATURAL EXPERT: a commercial functional programming environment
Journal of Functional Programming
The digital divide of computing
Proceedings of the 1st conference on Computing frontiers
CODACS Prototype: CHIARA Language and Its Compilers
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
Connectionist models: not just a notational variant, not a panacea
TINLAP '87 Proceedings of the 1987 workshop on Theoretical issues in natural language processing
The design of the kernel architecture for the Eurotra software
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
Using λ-calculus to represent meanings in logic grammars
ACL '83 Proceedings of the 21st annual meeting on Association for Computational Linguistics
Proposal for a categorical programming language
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Parallel evolution programming language for data flow machines
ACM SIGPLAN Notices
Values and objects in programming languages
ACM SIGPLAN Notices
Overview of relational programming
ACM SIGPLAN Notices
Programming language assessments using the program profiles
ACM SIGPLAN Notices
A proposed graduate course in automatic software generation
ACM SIGCSE Bulletin
Efficient compilation of lazy evaluation
ACM SIGPLAN Notices - Best of PLDI 1979-1999
An experimental applicative programming language for linguistics and string processing
COLING '80 Proceedings of the 8th conference on Computational linguistics
Small-scale software components
ACM SIGSOFT Software Engineering Notes
Rapid prototyping: in the OBJ executable specification language
Proceedings of the workshop on Rapid prototyping
Approaches to executable specifications
Proceedings of the workshop on Rapid prototyping
We have met the enemy and she is us: a mixup'd search for software engineering
ACM SIGSOFT Software Engineering Notes
An overview of the PAISLey project-1984
ACM SIGSOFT Software Engineering Notes
Advances in dataflow programming languages
ACM Computing Surveys (CSUR)
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
An interpreter for Backus's formal functional programming language
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
A multilevel design architecture for decision support systems
ACM SIGMIS Database
Tutorial: lazy functional programming in Haskell
Proceedings of the 2nd annual conference on Mid-south college computing
ACM SIGCHI Bulletin
CODACS Prototype: A Platform-Processor for CHIARA Programs
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 13 - Volume 14
A preliminary survey of artificial intelligence machines
ACM SIGART Bulletin
An eclectic 5th generation architecture for ultra high speed computing
ACM SIGART Bulletin
ACM SIGPLAN Notices
History of programming languages---II
A parallel SML compiler based on algorithmic skeletons
Journal of Functional Programming
Systems architecture: the empirical way: abstract architectures to 'optimal' systems
Proceedings of the 5th ACM international conference on Embedded software
Functional declarative language design and predicate calculus: a practical approach
ACM Transactions on Programming Languages and Systems (TOPLAS)
Functional Parallel Typified Language and Its Implementation on Clusters
Programming and Computing Software
Subtext: uncovering the simplicity of programming
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
To be, or not to be: is that the question?
ACM SIGSIM Simulation Digest
Programming and Computing Software
DLS '05 Proceedings of the 2005 symposium on Dynamic languages
Eurotra: a multilingual system under development
Computational Linguistics - Special issue on machine translation
Spreadsheet functional programming
Journal of Functional Programming
The history of Fortran I, II, and III
History of programming languages I
Point-free Program Transformation
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Higher order Programming in Java: Introspection, Subsumption and Extraction
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Skeleton-based parallel programming: Functional and parallel semantics in a single shot
Computer Languages, Systems and Structures
Evolving a language in and for the real world: C++ 1991-2006
Proceedings of the third ACM SIGPLAN conference on History of programming languages
The design and development of ZPL
Proceedings of the third ACM SIGPLAN conference on History of programming languages
A history of Haskell: being lazy with class
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Case study on algebraic software methodologies for scientific computing
Scientific Programming
Proceedings of the 2007 ACM symposium on Applied computing
Transformation of structure-shy programs: applied to XPath queries and strategic functions
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Computing in Science and Engineering
Tradeoff between data-, instruction-, and thread-level parallelism in stream processors
Proceedings of the 21st annual international conference on Supercomputing
A conceptual model for semantic integrity checking
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
On the connection between functional programming languages and real-time Java scoped memory
JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
Google's MapReduce programming model — Revisited
Science of Computer Programming
Can programming be liberated from the two-level style: multi-level programming with deepjava
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Improved Time and Parallel Processor Bounds for Fortran-Like Loops
IEEE Transactions on Computers
Cost-Performance Bounds for Multimicrocomputer Networks
IEEE Transactions on Computers
Mapping Homogeneous Graphs on Linear Arrays
IEEE Transactions on Computers
Design and Performance Evaluation of EXMAN: An EXtended MANchester Data Flow Computer
IEEE Transactions on Computers
The Binary Tree as an Interconnection Network: Applications to Multiprocessor Systems and VLSI
IEEE Transactions on Computers
Fault Tolerance in Binary Tree Architectures
IEEE Transactions on Computers
Performance of a Simulated Dataflow Computer
IEEE Transactions on Computers
Comparing Serial Computers, Arrays, and Networks Using Measures of "Active Resources"
IEEE Transactions on Computers
Wavefront Array Processor: Language, Architecture, and Applications
IEEE Transactions on Computers
Cooperating Reduction Machines
IEEE Transactions on Computers
Parallelism and Representation Problems in Distributed Systems
IEEE Transactions on Computers
Data Flow Computing Software Development
IEEE Transactions on Computers
Google's MapReduce programming model – Revisited
Science of Computer Programming
Executing stream joins on the cell processor
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Normalize, transpose, and distribute: An automatic approach for handling nonscalars
ACM Transactions on Programming Languages and Systems (TOPLAS)
Image and video indexing using networks of operators
Journal on Image and Video Processing
Image and video indexing using networks of operators
Journal on Image and Video Processing
Note on array-valued functions
ACM SIGPLAN Fortran Forum
Coupled Transformation of Schemas, Documents, Queries, and Constraints
Electronic Notes in Theoretical Computer Science (ENTCS)
'Galculator': functional prototype of a Galois-connection based proof assistant
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Liberate Computer User from Programming
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
SQL TVF Controlling Forms - Express Structured Parallel Data Intensive Computing
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
Transforming Data by Calculation
Generative and Transformational Techniques in Software Engineering II
Logic-Based Program Synthesis and Transformation
Software manufacturing techniques and maintenance
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
Programs = Data + Algorithms + Architecture: Consequences for Interactive Software Engineering
Engineering Interactive Systems
Methods as Parameters: A Preprocessing Approach to Higher Order in Java
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
CellJoin: a parallel stream join operator for the cell processor
The VLDB Journal — The International Journal on Very Large Data Bases
On approximating the ideal random access machine by physical machines
Journal of the ACM (JACM)
SYSP: a new programming language to the next generation
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
Theory of linear equations applied to program transformation
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
CYPRESS-Soar: a case study in search and learning in algorithm design
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
A macro actor/token implementation of production systems on a data-flow multiprocessor
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
A different kind of programming languages course
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
History of IBM's technical contributions to high level programming languages
IBM Journal of Research and Development
Flexibility and coordination in event-based, loosely coupled, distributed systems
Computer Languages, Systems and Structures
An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types
Electronic Notes in Theoretical Computer Science (ENTCS)
SequenceL: transparency and multi-core parallelisms
Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming
Paper: An FP-based tool for the synthesis of regular array algorithms
Parallel Computing
Interaction with geographic information systems via spatial queries
Journal of Visual Languages and Computing
Journal of Visual Languages and Computing
State-of-the-art in heterogeneous computing
Scientific Programming
Action semantics in retrospect
Semantics and algebraic specification
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Empirical modelling and the foundations of artificial intelligence
Computation for metaphors, analogy, and agents
Electronic Notes in Theoretical Computer Science (ENTCS)
Specifying and verifying sparse matrix codes
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
An introduction to Landin's "Getting Rid of Labels"
Higher-Order and Symbolic Computation
ICAISC'10 Proceedings of the 10th international conference on Artifical intelligence and soft computing: Part II
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Pointfree expression and calculation: from quantification to temporal logic
Formal Methods in System Design
Algebraic Specialization of Generic Functions for Recursive Types
Electronic Notes in Theoretical Computer Science (ENTCS)
Transformation of structure-shy programs with application to XPath queries and strategic functions
Science of Computer Programming
CIEL: a universal execution engine for distributed data-flow computing
Proceedings of the 8th USENIX conference on Networked systems design and implementation
A functional programming system for supporting parallel programming
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
Controlled dataflow visual programming languages
Proceedings of the 2011 Visual Information Communication - International Symposium
Computational programming technologies
Programming and Computing Software
A combined arithmetic logic unit and memory element for the design of a parallel computer
ICA3PP'11 Proceedings of the 11th international conference on Algorithms and architectures for parallel processing - Volume Part I
Towards frabjous: a two-level system for functional reactive agent-based epidemic simulation
Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium
Functions in information systems
ACM SIGMIS Database
Data movement optimisation in point-free form
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
A framework for point-free program transformation
IFL'05 Proceedings of the 17th international conference on Implementation and Application of Functional Languages
Extending distributed shared memory for the cell broadband engine to a channel model
PARA'10 Proceedings of the 10th international conference on Applied Parallel and Scientific Computing - Volume Part I
D3AS project: a different approach to the manycore challenges
Proceedings of the 9th conference on Computing Frontiers
ACM SIGARCH Computer Architecture News
A familial specification language for database application systems
Computer Languages
Run-time behavior of SASL programs: A performance study
Computer Languages
An analysis of program execution on a recursive stream-oriented data flow architecture
Journal of Systems and Software
Functional programming analysis
Journal of Systems and Software
Functional high performance financial IT: the hiperfit research center in copenhagen
TFP'11 Proceedings of the 12th international conference on Trends in Functional Programming
Methods as Parameters: A Preprocessing Approach to Higher Order in Java
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
PaCE: a data-flow coordination language for asynchronous network-based applications
SC'12 Proceedings of the 11th international conference on Software Composition
Point-free Program Transformation
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Higher order Programming in Java: Introspection, Subsumption and Extraction
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
CARTESIAN STREAM TRANSFORMER COMPOSITION
Fundamenta Informaticae
Socio-PLT: principles for programming language adoption
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
Molecule: using monadic and streaming I/O to compose process networks on the JVM
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Compass: a scalable simulator for an architecture for cognitive computing
SC '12 Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis
a functional programming system SFP: sisal 3.1 language structures decomposition
PaCT'07 Proceedings of the 9th international conference on Parallel Computing Technologies
Constraint-aware Schema Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Describing and optimising reversible logic using a functional language
IFL'11 Proceedings of the 23rd international conference on Implementation and Application of Functional Languages
Hardware design with generalized arrows
IFL'11 Proceedings of the 23rd international conference on Implementation and Application of Functional Languages
A static cost analysis for a higher-order language
PLPV '13 Proceedings of the 7th workshop on Programming languages meets program verification
Monte Carlo simulation of the Ising model on FPGA
Journal of Computational Physics
The von Neumann architecture is due for retirement
HotOS'13 Proceedings of the 14th USENIX conference on Hot Topics in Operating Systems
Design of a low-energy data processing architecture for WSN nodes
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
A T2 graph-reduction approach to fusion
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing
Synchronous digital circuits as functional programs
ACM Computing Surveys (CSUR)
Hi-index | 48.38 |
Conventional programming languages are growing ever more enormous, but not stronger. Inherent defects at the most basic level cause them to be both fat and weak: their primitive word-at-a-time style of programming inherited from their common ancestor—the von Neumann computer, their close coupling of semantics to state transitions, their division of programming into a world of expressions and a world of statements, their inability to effectively use powerful combining forms for building new programs from existing ones, and their lack of useful mathematical properties for reasoning about programs.An alternative functional style of programming is founded on the use of combining forms for creating programs. Functional programs deal with structured data, are often nonrepetitive and nonrecursive, are hierarchically constructed, do not name their arguments, and do not require the complex machinery of procedure declarations to become generally applicable. Combining forms can use high level programs to build still higher level ones in a style not possible in conventional languages.Associated with the functional style of programming is an algebra of programs whose variables range over programs and whose operations are combining forms. This algebra can be used to transform programs and to solve equations whose “unknowns” are programs in much the same way one transforms equations in high school algebra. These transformations are given by algebraic laws and are carried out in the same language in which programs are written. Combining forms are chosen not only for their programming power but also for the power of their associated algebraic laws. General theorems of the algebra give the detailed behavior and termination conditions for large classes of programs. A new class of computing systems uses the functional programming style both in its programming language and in its state transition rules. Unlike von Neumann languages, these systems have semantics loosely coupled to states—only one state transition occurs per major computation.