EPIC - a retargetable, highly optimizing Lisp compiler
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Revised report on the algorithmic language scheme
ACM SIGPLAN Notices
Sometimes an FEXPR is better than a macro
ACM SIGART Bulletin
ACM Transactions on Graphics (TOG)
ACM SIGART Bulletin
Prolog dialects: a deja vu of BASICs
ACM SIGPLAN Notices
ACM SIGSMALL/PC Notes
Object-oriented programming with flavors
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
CommonLoops: merging Lisp and object-oriented programming
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Encapsulation and inheritance in object-oriented programming languages
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Mach and Matchmaker: kernel and language support for object-oriented distributed systems
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Automatic design and implementation of language data types
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
Embedding continuations in procedural objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Tags and type checking in LISP: hardware and software approaches
ASPLOS II Proceedings of the second international conference on Architectual support for programming languages and operating systems
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Environments as first class objects
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A variation of conceptual graphs: an object-oriented approach
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
A concurrent multiple-paradigm list processor TAO/ELIS
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
ACM SIGPLAN Notices
ACM SIGPLAN Notices
A common-LISP implementation of an extended Prolog system
ACM SIGPLAN Notices
ACM SIGPLAN Notices
IEEE Transactions on Software Engineering
Program Translation Via Abstraction and Reimplementation
IEEE Transactions on Software Engineering
Parcel: project for the automatic restructuring and concurrent evaluation of LISP
ICS '88 Proceedings of the 2nd international conference on Supercomputing
FAST: A large scale expert system for application and system software performance tuning
SIGMETRICS '88 Proceedings of the 1988 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Unification: a multidisciplinary survey
ACM Computing Surveys (CSUR)
Fast dispatch mechanisms for stock hardware
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Firmware approach to fast Lisp interpreter
ACM SIGMICRO Newsletter
Clue: a common lisp user interface environment
UIST '88 Proceedings of the 1st annual ACM SIGGRAPH symposium on User Interface Software
Continuations may be unreasonable
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
A variable-arity procedural interface
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
An open-ended data representation model for EU_LISP
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
The common Lisp object system metaobject kernel: a status report
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Knowledge acquisition in a machine fault diagnosis shell
ACM SIGART Bulletin - Special issue on knowledge acquisition
Comments, assertions and pragmas
ACM SIGPLAN Notices
IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Compiling complex database transition triggers
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Recursive Pattern Matching on concrete data types
ACM SIGPLAN Notices
The theory and practice of first-class prompts
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A presentation manager based on application semantics
UIST '89 Proceedings of the 2nd annual ACM SIGGRAPH symposium on User interface software and technology
DeBuMA: description, building and management of applications
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
CEDIF: a data driven EDIF reader
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Massively parallel symbolic computation
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
NLH/E: a natural language help system
ICSE '89 Proceedings of the 11th international conference on Software engineering
Experiences creating a portable cedar
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
The portable common runtime approach to interoperability
SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
Object-oriented programming for linear algebra
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
The use of multimethods and method combination in a CLOS based window interface
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Run-time checking in Lisp by integrating memory addressing and range checking
ISCA '89 Proceedings of the 16th annual international symposium on Computer architecture
Parallel solution of pentadiagonal systems using generalized odd-even elimination
Proceedings of the 1989 ACM/IEEE conference on Supercomputing
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Trap architectures for Lisp systems
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Reasoning with continuations II: full abstraction for models of control
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Representing control in the presence of first-class continuations
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
A formulae-as-type notion of control
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Program transformation in the presence of errors
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Making asynchronous parallelism safe for the world
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Advances and trends in the design and construction of algebraic manipulation systems
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
The A+ programming language, a different APL
APL '90 Conference proceedings on APL 90: for the future
When objects collide experiences with reusing multiple class hierarchies
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Adding relational abstraction to programming languages
Conference proceedings on Formal methods in software development
Verified program support environments
Conference proceedings on Formal methods in software development
Mechanically Verifying Concurrent Programs with the Boyer-Moore Prove
IEEE Transactions on Software Engineering
Processing Poisson series in parallel
Journal of Symbolic Computation
Automatic transformation of series expressions into loops
ACM Transactions on Programming Languages and Systems (TOPLAS)
Models of Software Development Environments
IEEE Transactions on Software Engineering
Denotational semantics of a goal-directed language
ACM Transactions on Programming Languages and Systems (TOPLAS)
Canonical representations in Lisp and applications to computer algebra systems
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Efficient implementation of bit-vector operation in Common Lisp
ACM SIGPLAN Lisp Pointers
ACM SIGMETRICS Performance Evaluation Review
CL/TB an allegro common Lisp programming interface for TransBase
ACM SIGPLAN Notices
A browsing interface for S-expressions
ACM SIGPLAN Notices
Concurrency & object-oriented programming
ACM SIGPLAN Notices
Artificial evolution for computer graphics
Proceedings of the 18th annual conference on Computer graphics and interactive techniques
SKILL: A CAD system extension language
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Proposed standard for a generic package of complex elementary functions
ACM SIGAda Ada Letters - Special issue on Ada numerics standardization and testing
Rationale for the proposed standard for a generic package of complex elementary functions
ACM SIGAda Ada Letters - Special issue on Ada numerics standardization and testing
The Euclidean definition of the functions div and mod
ACM Transactions on Programming Languages and Systems (TOPLAS)
A gentle introduction to Haskell
ACM SIGPLAN Notices - Haskell special issue
Report on the programming language Haskell: a non-strict, purely functional language version 1.2
ACM SIGPLAN Notices - Haskell special issue
CONS should not CONS its arguments, or, a lazy alloc is a smart alloc
ACM SIGPLAN Notices
CONDOR: constraint-based dataflow
SIGGRAPH '92 Proceedings of the 19th annual conference on Computer graphics and interactive techniques
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
Visualizing evaluation in applicative languages
Communications of the ACM
Macro processing in high-level languages
ACM SIGPLAN Notices
Global tagging optimization by type inference
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Tachyon Common Lisp: an efficient and portable implementation of CLtL2
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
A mark-and-sweep collector C++
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Observable sequentiality and full abstraction
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Using *this-method* to plan and execute tasks in CLOS
ACM SIGPLAN Lisp Pointers
dpANS Common Lisp: don't judge a spec by its cover!
ACM SIGPLAN Lisp Pointers
PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
Implementation of a portable nested data-parallel language
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
Unreachable procedures in object-oriented programming
ACM Letters on Programming Languages and Systems (LOPLAS)
Returns to science: computer networks in oceanography
Communications of the ACM - Special issue on internetworking
Equal rights for functional objects or, the more things change, the more they are the same
ACM SIGPLAN OOPS Messenger
Transfinite nesting in array-theoretic figures, changes, rigs, and arms. Part I
APL '93 Proceedings of the international conference on APL
Mechanisms for generic process support
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Macroexpand-All: an example of a simple lisp code walker
ACM SIGPLAN Lisp Pointers
The typed polymorphic label-selective λ-calculus
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
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
EQUAL rights—and wrongs—in Lisp
ACM SIGPLAN Lisp Pointers
Type reconstruction for variable-arity procedures
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Adding performance information to ADT interfaces
IDL '94 Proceedings of the workshop on Interface definition languages
How to make AXIOM into a scratchpad
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Safe: a semantic technique for transforming programs in the presence of errors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Discovering the way programmers think about new programming environments
Communications of the ACM
Signature matching: a tool for using software libraries
ACM Transactions on Software Engineering and Methodology (TOSEM)
A polymorphic record calculus and its compilation
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM SIGPLAN Lisp Pointers
Futures and multiple values in parallel Lisp
ACM SIGPLAN Lisp Pointers
Modularized exception handling
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Integrating legacy systems with modern corporate applications
Communications of the ACM
An Industrial Strength Theorem Prover for a Logic Based on Common Lisp
IEEE Transactions on Software Engineering
Firmware approach to fast Lisp interpreter
MICRO 20 Proceedings of the 20th annual workshop on Microprogramming
Modular implementation of presentations
CHI '87 Proceedings of the SIGCHI/GI Conference on Human Factors in Computing Systems and Graphics Interface
The role of VHDL in the MCC CAD system
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
ATV: an abstract timing verifier
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Versions and change notification in an object-oriented database system
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
A Mechanically Checked Proof of the AMD5K86TM Floating-Point Division Program
IEEE Transactions on Computers
Scripting highly autonomous simulation behavior using case-based reasoning
ANSS '92 Proceedings of the 25th annual symposium on Simulation
A library of generic algorithms in Ada
SIGAda '87 Proceedings of the 1987 annual ACM SIGAda international conference on Ada
A logistics model of Coast Guard buoy tending operations
WSC '88 Proceedings of the 20th conference on Winter simulation
Matchmaker: an interface specification language for distributed processing
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Experience with an uncommon Lisp
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Desiderata for the standardization of LISP
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Reconfigurable, retargetable bignums: a case study in efficient, portable Lisp system building
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
LISP on a reduced-instruction-set-processor
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
XCP: an experimental tool for managing cooperative activity
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
Memory organization and management for linked data structures
CSC '91 Proceedings of the 19th annual conference on Computer Science
Introduction: the first international workshop on self-adaptive software
IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software
Revised report on the algorithmic language scheme
ACM SIGPLAN Lisp Pointers
Strong normalizability of the non-deterministic catch/throw calculi
Theoretical Computer Science - Special issue on theories of types and proofs
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Formal Proofs About Rewriting Using ACL2
Annals of Mathematics and Artificial Intelligence
Reasoning about the Elementary Functions of Complex Analysis
Annals of Mathematics and Artificial Intelligence
A Mechanization of Unity in PC-NQTHM-92
Journal of Automated Reasoning
An Algorithm for Dual Transformation in First-Order Logic
Journal of Automated Reasoning
Minds and Machines
ConClass: A Framework for Real-Time Distributed Knowledge-Based Processing
IEEE Transactions on Knowledge and Data Engineering
IEEE Expert: Intelligent Systems and Their Applications
PREDICTE - An Intelligent System for Indicative Construction Time Estimation
IAAI '90 Proceedings of the The Second Conference on Innovative Applications of Artificial Intelligence
TIES: An Engineering Design Methodology and System
IAAI '90 Proceedings of the The Second Conference on Innovative Applications of Artificial Intelligence
IAAI '90 Proceedings of the The Second Conference on Innovative Applications of Artificial Intelligence
The Common Lisp Object System: An Overview
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
Reversible Object-Oriented Interpreters
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
Reflexive Architecture: From ObjVLisp to CLOS
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Eliminating Dead Code on Recursive Data
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Eliminating dead code on recursive data
Science of Computer Programming - Special issue on static analysis (SAS'99)
The design of an instruction set for common LISP
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Dynamically Extensible Objects in a Class-Based Language
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Rapid prototyping of a RISC architecture for implementation in FPGAs
FCCM '95 Proceedings of the IEEE Symposium on FPGA's for Custom Computing Machines
NATURAL EXPERT: a commercial functional programming environment
Journal of Functional Programming
Logic programming in the context of multiparadigm programming: the Oz experience
Theory and Practice of Logic Programming
How to print floating-point numbers accurately
ACM SIGPLAN Notices - Best of PLDI 1979-1999
Improving the static analysis of embedded languages via partial evaluation
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Supporting incremental and experimental software evolution by runtime method transformations
Science of Computer Programming - Special issue on program transformation
Using the new common Lisp pretty printer
ACM SIGPLAN Lisp Pointers
History of programming languages---II
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Unification-based semantic interpretation in the BBN Spoken Language System
HLT '89 Proceedings of the workshop on Speech and Natural Language
Effective pattern matching of source code using abstract syntax patterns
Software—Practice & Experience
Interlanguage migration: from scripts to programs
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Preliminary report on a practical type inference system for common Lisp
ACM SIGPLAN Lisp Pointers
ZIL: an implementation of Lisp on MVS/XA at C. S. Draper laboratory
ACM SIGPLAN Lisp Pointers
Annotation-based program stepping
ACM SIGPLAN Lisp Pointers
ACM SIGPLAN Lisp Pointers
ACM SIGPLAN Lisp Pointers
The scheme of things: standardization at Snowbird
ACM SIGPLAN Lisp Pointers
Manipulating sets in common Lisp
ACM SIGPLAN Lisp Pointers
The design and implementation of typed scheme
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
AIC'05 Proceedings of the 5th WSEAS International Conference on Applied Informatics and Communications
LUV '94 Papers of the fourth international conference on LISP users and vendors
On the use of metatypes for safe embedded operating system extension
International Journal of Parallel, Emergent and Distributed Systems
Task requirements and media choice in collaborative writing
Human-Computer Interaction
Shallow confluence of conditional term rewriting systems
Journal of Symbolic Computation
Toward a Practical Module System for ACL2
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
A pattern of language evolution
Celebrating the 50th Anniversary of Lisp
Celebrating the 50th Anniversary of Lisp
Making induction manifest in modular ACL2
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
An expert advisor for photolithography
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer?
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 2010 ACM Symposium on Applied Computing
On revival of Algol-concepts in modern programming and specification languages
Formal methods and hybrid real-time systems
XREF: a case study in Common Lisp portability
ACM SIGPLAN Lisp Pointers
ACM SIGPLAN Lisp Pointers
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Language virtualization for heterogeneous parallel computing
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Algorithms and theory of computation handbook
Detecting knowledge base inconsistencies using automated generation of text and examples
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
ScalaQL: language-integrated database queries for scala
SLE'09 Proceedings of the Second international conference on Software Language Engineering
On trojan horses of thompson-goerigk-type, their generation, intrusion, detection and prevention
Concurrency, Compositionality, and Correctness
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Hi-index | 0.05 |