Automatic design and implementation of language data types
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Mechanical translation of set theoretic problem specifications into efficient RAM code-A case study
Journal of Symbolic Computation
ACM SIGIR Forum
Type inference and semi-unification
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Efficient high-level iteration with accumulators
ACM Transactions on Programming Languages and Systems (TOPLAS)
Toward reliable reactive systems
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
A top down unification of minimum cost spanning tree algorithms
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Generators and the replicator control structure in the parallel environment of ALLOY
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
A decidable fragment of the elementary theory of relations and some applications
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
ACM SIGACT News
Automatic transformation of series expressions into loops
ACM Transactions on Programming Languages and Systems (TOPLAS)
Intelligent software technology for the new decade
Communications of the ACM - Special issue: Soviet computing
A program analysis tool for evaluating the Ada compiler validation suite
SETA1 Proceedings of the first international symposium on Environments and tools for Ada
SetLog, a tool for experimenting with new semantics
ACM SIGPLAN Notices
Four Dimensions of programming-language independence
ACM SIGPLAN Notices
Proxy: an interpreter for rapid prototyping
ACM SIGPLAN Notices
Assessing Ada 9X OOP: building a reusable components library
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
A pragmatic set operation and its implementation in C
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Fips: a functional-imperative language for explorative programming
ACM SIGPLAN Notices
Implementation of a portable nested data-parallel language
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
Towards increased productivity of algorithm implementation
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Type inference with polymorphic recursion
ACM Transactions on Programming Languages and Systems (TOPLAS)
Call forwarding: a simple interprocedural optimization technique for dynamically typed languages
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Programming with algebraic structures: design of the MAGMA language
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
TimeBench: a CAD tool for real-time system design
SETA2 Proceedings of the second international symposium on Environments and tools for Ada
Provably efficient scheduling for languages with fine-grained parallelism
Proceedings of the seventh annual ACM symposium on Parallel algorithms and architectures
Applying an update method to a set of receivers (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Programming parallel algorithms
Communications of the ACM
Using KIDS as a tool support for VDM
Proceedings of the 18th international conference on Software engineering
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
Search and imperative programming
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Programming with variable functions
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Alma-O: an imperative language that supports declarative programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Discrete mathematics as a precursor to programming
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
Introduction to computer science: an interactive approach using ISETL
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
Toward a theory of correct set algorithms
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
A persistent runtime system using persistent data structures
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Evaluating titanium SPMD programs on the Tera MTA
SC '99 Proceedings of the 1999 ACM/IEEE conference on Supercomputing
Automated development of software for program analysis and transformation
ACM SIGSOFT Software Engineering Notes
Sets and constraint logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
The use of sets as an application programming technique
ACM SIGPLAN Notices
Applying an update method to a set of receivers
ACM Transactions on Database Systems (TODS)
Information and Computation
You'd better set down for this!: creating a set type for CS1 & CS2 in C#
Proceedings of the 7th annual conference on Innovation and technology in computer science education
T-Resolution: Refinements and Model Elimination
Journal of Automated Reasoning
Getting computers to understand
Journal of the ACM (JACM)
IEEE Micro
Verifying Definite Iteration Over Data Structures
IEEE Transactions on Software Engineering
Extensional Set Library for ECLiPSe
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Solving Regular Tree Grammar Based Constraints
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Expressing Irregular Computations in Modern Fortran Dialects
LCR '98 Selected Papers from the 4th International Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computers
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
A Framework for Automating Physical Database Design
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Multi-objective abstract data type refinement for mapping tables in telecom network applications
Proceedings of the 2002 workshop on Memory system performance
From datalog rules to efficient programs with time and space guarantees
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Computer algebra handbook
CLAIRE: combining sets, search and rules to better express algorithms
Theory and Practice of Logic Programming
Jedd: a BDD-based relational extension of Java
Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
Higher-Order and Symbolic Computation
Transformational Derivation of an Improved Alias Analysis Algorithm
Higher-Order and Symbolic Computation
Encyclopedia of Computer Science
Decidability results for sets with atoms
ACM Transactions on Computational Logic (TOCL)
Theory and Practice of Logic Programming
Irregular computations in Fortran - expression and implementation strategies
Scientific Programming
Optimistic parallelism requires abstractions
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
SHIFT and SMART-AHS: a language for hybrid system engineering modeling and simulation
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Security policy analysis using deductive spreadsheets
Proceedings of the 2007 ACM workshop on Formal methods in security engineering
Compiler algorithm language (CAL): an interpreter and compiler
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
Xcellog: A deductive spreadsheet system
The Knowledge Engineering Review
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
ACM Transactions on Computational Logic (TOCL)
Relations as an abstraction for BDD-based program analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Caching and incrementalisation in the java query language
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
From datalog rules to efficient programs with time and space guarantees
ACM Transactions on Programming Languages and Systems (TOPLAS)
The PlusCal Algorithm Language
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Dynamic ADTs: a "don't ask, don't tell" policy for data abstraction
Proceedings of the 2007 International Lisp Conference
Thorn: robust, concurrent, extensible scripting on the JVM
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Orthogonal parallel processing in vector Pascal
Computer Languages, Systems and Structures
Distributed data flow language for multi-party protocols
Proceedings of the Fifth Workshop on Programming Languages and Operating Systems
Pillars of computer science
A property based specification formalism classification
Journal of Systems and Software
Theory-specific automated reasoning
A 25-year perspective on logic programming
Behavioral simulations in MapReduce
Proceedings of the VLDB Endowment
Sal/Svm: an assembly language and virtual machine for computing with non-enumerated sets
Virtual Machines and Intermediate Languages
Finding reductions automatically
Fields of logic and computation
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
The tao of parallelism in algorithms
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Correct code containing containers
TAP'11 Proceedings of the 5th international conference on Tests and proofs
Making time-stepped applications tick in the cloud
Proceedings of the 2nd ACM Symposium on Cloud Computing
Deductive spreadsheets using tabled logic programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Distributed abstract data types
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part II
Control-flow analysis of functional programs
ACM Computing Surveys (CSUR)
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms
Fundamenta Informaticae
High-level data structures: technical perspective
Communications of the ACM
Program extrapolation with jennisys
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
Hi-index | 0.03 |