Efficiency of a Good But Not Linear Set Union Algorithm
Journal of the ACM (JACM)
A Unified Approach to Path Problems
Journal of the ACM (JACM)
Fast Algorithms for Solving Path Problems
Journal of the ACM (JACM)
Programming by Refinement, as Exemplified by the SETL Representation Sublanguage
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automatic data structure selection: an example and overview
Communications of the ACM
Toward an understanding of data structures
Communications of the ACM
Automatic data structure choice in a language of very high level
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Elements of Software Science (Operating and programming systems series)
Elements of Software Science (Operating and programming systems series)
Flow Analysis of Computer Programs
Flow Analysis of Computer Programs
Automatic data structure selection in SETL
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Proceedings of a symposium on Compiler optimization
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Mechanical translation of set theoretic problem specifications into efficient RAM code-A case study
Journal of Symbolic Computation
Binding performance at language design time
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
ELF: a tool for automatic synthesis of custom physical CAD software
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
Knowledge Representation and Reasoning in a Software Synthesis Architecture
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Global tagging optimization by type inference
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Widening the representation bottleneck: a functional implementation of relational programming
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Towards increased productivity of algorithm implementation
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Abstract interpretation and low-level code optimization
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
A probabilistic approach to the problem of automatic selection of data representations
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Efficiency in the APL environment—a full arsenal for attacking CPU hogs
APL '85 Proceedings of the international conference on APL: APL and the future
Software Reuse by Specialization of Generic Procedures through Views
IEEE Transactions on Software Engineering
Design Wizards and Visual Programming Environments for GenVoca Generators
IEEE Transactions on Software Engineering
Program Transformation Systems
ACM Computing Surveys (CSUR)
Finite Differencing of Computable Expressions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Experience with the SETL Optimizer
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient Implementation of high-level parallel programs
ASPLOS IV Proceedings of the fourth international conference on Architectural support for programming languages and operating systems
Synthesizing abstract data type specifications
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Selection of Indexes to Memory-Resident Entities for Semantic Data
IEEE Transactions on Knowledge and Data Engineering
Design Wizards and Visual Programming Environments for Generators
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Parametric regular path queries
Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
Mappings for rapid prototyping
Proceedings of the workshop on Rapid prototyping
Transformational Derivation of an Improved Alias Analysis Algorithm
Higher-Order and Symbolic Computation
Incrementalization across object abstraction
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
ACM-SE 33 Proceedings of the 33rd annual on Southeast regional conference
Efficient implementation of tuple pattern based retrieval
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Dynamic ADTs: a "don't ask, don't tell" policy for data abstraction
Proceedings of the 2007 International Lisp Conference
An advisory system for developing data representations
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
Brainy: effective selection of data structures
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
CoCo: sound and adaptive replacement of java collections
ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming
Hi-index | 0.00 |