Making asynchronous parallelism safe for the world
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Implementation of a “Lisp comprehension” macro
ACM SIGPLAN Lisp Pointers
A Lisp environment at IBM T J Watson Research
ACM SIGPLAN Lisp Pointers
UnicStep-a visual stepper for COMMON LISP: portability and language aspects
ACM SIGPLAN Lisp Pointers
Shallow binding makes functional arrays fast
ACM SIGPLAN Notices
Inlining semantics for subroutines which are recursive
ACM SIGPLAN Notices
Speeding up the “Puzzle” Benchmark a “bit”
ACM SIGPLAN Lisp Pointers
Strategies for the lossless encoding of strings as Ada identifiers
ACM SIGAda Ada Letters
Equal rights for functional objects or, the more things change, the more they are the same
ACM SIGPLAN OOPS Messenger
Macroexpand-All: an example of a simple lisp code walker
ACM SIGPLAN Lisp Pointers
Adventures in multiprocessing: controlling multiple windows within a single application
LUV '93 Proceedings of the third international conference on Lisp users and vendors
Building common Lisp applications with reasonable performance
LUV '93 Proceedings of the third international conference on Lisp users and vendors
LUV '93 Proceedings of the third international conference on Lisp users and vendors
SKILL: a Lisp based extension language
LUV '93 Proceedings of the third international conference on Lisp users and vendors
Sleeping with the enemy: Lisp and C in a large, profitable real-time application
LUV '92 Proceedings of the 1992 conference on Lisp users and vendors
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
A brief look at extension programming before and now
ACM SIGPLAN Notices
An algebraic semantics of subobjects
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Introducing a CPS style optimizer into an existing compiler
ACM SIGPLAN Notices
FramerD: representing knowledge in the large
IBM Systems Journal
Structured Theory Development for a Mechanized Logic
Journal of Automated Reasoning
Minds and Machines
A Syntactic Theory of Dynamic Binding
Higher-Order and Symbolic Computation
On Exceptions Versus Continuations in the Presence of State
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Accurately Detecting Source Code of Attacks That Increase Privilege
RAID '00 Proceedings of the 4th International Symposium on Recent Advances in Intrusion Detection
Modular Statically Typed Multimethods
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Reasoning about the Elementary Functions of Complex Analysis
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Formalizing Rewriting in the ACL2 Theorem Prover
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Journal of Automated Reasoning
The Process Interchange Format and Framework
The Knowledge Engineering Review
A New Architecture for Transformation-Based Generators
IEEE Transactions on Software Engineering
History of programming languages---II
Computer-Assisted Composition at IRCAM: From PatchWork to OpenMusic
Computer Music Journal
Traits: A mechanism for fine-grained reuse
ACM Transactions on Programming Languages and Systems (TOPLAS)
PTDOM: a schema-aware XML database system for MPEG-7 media descriptions
Software—Practice & Experience - Research Articles
Languages and tools for hybrid systems design
Foundations and Trends in Electronic Design Automation
A new general parser for extensible languages
MS'06 Proceedings of the 17th IASTED international conference on Modelling and simulation
Using OWL to model biological knowledge
International Journal of Human-Computer Studies
Incremental Maintenance of Software Artifacts
IEEE Transactions on Software Engineering
Design and semantics of quantum: a language to control resource consumption in distributed computing
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
DiSTiL: a transformation library for data structures
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Applications = Components + GLoo
Electronic Notes in Theoretical Computer Science (ENTCS)
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Google's MapReduce programming model — Revisited
Science of Computer Programming
A language for specifying type contracts in erlang and its interaction with success typings
ERLANG '07 Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop
ACM SIGPLAN Lisp Pointers
Google's MapReduce programming model – Revisited
Science of Computer Programming
Efficient execution in an automated reasoning environment
Journal of Functional Programming
Dynamic intention structures I: a theory of intention representation
Autonomous Agents and Multi-Agent Systems
A graphical variant approach to object-oriented modeling of dynamic systems
Proceedings of the 2007 Summer Computer Simulation Conference
LUV '94 Papers of the fourth international conference on LISP users and vendors
Perfect hashing as an almost perfect subtype test
ACM Transactions on Programming Languages and Systems (TOPLAS)
DLS '08 Proceedings of the 2008 symposium on Dynamic languages
UpgradeJ: Incremental Typechecking for Class Upgrades
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
A Tutorial on Object-Oriented Functional Programming
Central European Functional Programming School
A process-oriented approach to design rationale
Human-Computer Interaction
TPHOLs '08 Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics
Expressive and modular predicate dispatch for Java
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software Manipulation with Annotations in Java
Advances in Software Engineering
An overview of pwgl, a visual programming environment for music
Computer Music Journal
A proposal for error handling in OpenMP
International Journal of Parallel Programming
Meta-circularity and MOP in common Lisp for OWL full
Proceedings of the 6th European Lisp Workshop
Automated deduction for verification
ACM Computing Surveys (CSUR)
Simple and efficient compilation of list comprehension in common Lisp
Proceedings of the 2007 International Lisp Conference
User-extensible sequences in common Lisp
Proceedings of the 2007 International Lisp Conference
A verified Common Lisp implementation of Buchberger's algorithm in ACL2
Journal of Symbolic Computation
Revised6 report on the algorithmic language scheme
Journal of Functional Programming
Sorting and searching using lisp, functional programming, and recursion
ACM SIGCSE Bulletin
Visual Lisp/CLOS programming in OpenMusic
Higher-Order and Symbolic Computation
Design and evaluation of C++ open multi-methods
Science of Computer Programming
Software transactional memory for implicitly parallel functional language
Proceedings of the 2010 ACM Symposium on Applied Computing
Practical conflict resolution for the composition of program transformations
SC'08 Proceedings of the 7th international conference on Software composition
Modular aspect-oriented design with XPIs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Dynamic code evolution for Java
Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java
New abstractions for data parallel programming
HotPar'09 Proceedings of the First USENIX conference on Hot topics in parallelism
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Objects of the people, by the people, and for the people
Proceedings of the 11th annual international conference on Aspect-oriented Software Development Companion
A functional approach to generic programming using adaptive traversals
Higher-Order and Symbolic Computation
Towards Automated Consistency Checking of Module Interface Specifications
Fundamenta Informaticae
Object-oriented programming with gradual abstraction
Proceedings of the 8th symposium on Dynamic languages
MOST-flexiPL: modular, statically typed, flexibly extensible programming language
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
Managed data: modular strategies for data abstraction
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
Functional requirements of a model for kitting plans
Proceedings of the Workshop on Performance Metrics for Intelligent Systems
Data flow fusion with series expressions in Haskell
Proceedings of the 2013 ACM SIGPLAN symposium on Haskell
Hi-index | 0.00 |