Preliminary report: international algebraic language
Communications of the ACM
Communications of the ACM
Incremental incrementally compacting garbage collection
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
A view of the origins and development of Prolog
Communications of the ACM
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
Tenuring policies for generation-based storage reclamation
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Conception, evolution, and application of functional programming languages
ACM Computing Surveys (CSUR)
An Adventure with a Sad Ending: The SEA
IEEE Annals of the History of Computing
Comparing mark-and sweep and stop-and-copy garbage collection
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
The A+ programming language, a different APL
APL '90 Conference proceedings on APL 90: for the future
Denotational semantics of a goal-directed language
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
An adaptive tenuring policy for generation scavengers
ACM Transactions on Programming Languages and Systems (TOPLAS)
Report on the programming language Haskell: a non-strict, purely functional language version 1.2
ACM SIGPLAN Notices - Haskell special issue
M-LISP: a representation-independent dialect of LISP with reduction semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
The derivation of distributed termination detection algorithms from garbage collection schemes
ACM Transactions on Programming Languages and Systems (TOPLAS)
A concurrent copying garbage collector for languages that distinguish (im)mutable data
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
The early history of Smalltalk
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Journal of Symbolic Computation - Special issue on automatic programming
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
A bibliography on garbage collection and related topics
ACM SIGPLAN Notices
Objects in real-time systems: issues for language implementors
ACM SIGPLAN OOPS Messenger - Special issue: object-oriented real-time systems
Indirect distributed garbage collection: handling object migration
ACM Transactions on Programming Languages and Systems (TOPLAS)
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Generational stack collection and profile-driven pretenuring
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Very concurrent mark-&-sweep garbage collection without fine-grain synchronization
Proceedings of the 1st international symposium on Memory management
Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Garbage collecting the Internet: a survey of distributed garbage collection
ACM Computing Surveys (CSUR)
Programming languages as operating systems (or revenge of the son of the lisp machine)
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
A General Translation Program for Phrase Structure Languages
Journal of the ACM (JACM)
Algebra of Polynomials in Several Variables for a Digital Computer
Journal of the ACM (JACM)
A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus
Journal of the ACM (JACM)
SNOBOL , A String Manipulation Language
Journal of the ACM (JACM)
An Abstract Machine for Symbolic Computation
Journal of the ACM (JACM)
Tree-Manipulating Systems and Church-Rosser Theorems
Journal of the ACM (JACM)
Operational and Semantic Equivalence Between Recursive Programs
Journal of the ACM (JACM)
Abstract Implementations and Their Correctness Proofs
Journal of the ACM (JACM)
A differentiation primitive for extended &lgr;-calculus
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Reducing sweep time for a nearly empty heap
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A proposal for valuing information and instrumental goods
ICIS '99 Proceedings of the 20th international conference on Information Systems
ACM Computing Surveys (CSUR)
Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
Programming Style: Examples and Counterexamples
ACM Computing Surveys (CSUR)
The VAL Language: Description and Analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Some Techniques for Recursion Removal from Recursive Functions
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)
A fast algorithm for copying list structures
Communications of the ACM
Proving the correctness of heuristically optimized code
Communications of the ACM
Communications of the ACM
Computer science as empirical inquiry: symbols and search
Communications of the ACM
An efficient list-moving algorithm using constant workspace
Communications of the ACM
The denotational semantics of programming languages
Communications of the ACM
Analysis of an algorithm for real time garbage collection
Communications of the ACM
Multiprocessing compactifying garbage collection
Communications of the ACM
Communications of the ACM
Requirements for advanced programming systems for list processing
Communications of the ACM
GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
Communications of the ACM
List tracing in systems allowing multiple cell-types
Communications of the ACM
Toward an understanding of data structures
Communications of the ACM
Recovery of reentrant list structures in SLIP
Communications of the ACM
A LISP garbage-collector for virtual-memory computer systems
Communications of the ACM
An efficient machine-independent procedure for garbage collection in various list structures
Communications of the ACM
CHAMP—character manipulation procedures
Communications of the ACM
An extension to ALGOL for manipulating formulae
Communications of the ACM
Mechanical languages: a course specification
Communications of the ACM
A note on the formation of free list
Communications of the ACM
Constraint-type statements in programming languages
Communications of the ACM
Communications of the ACM
Computer experiments in finite algebra
Communications of the ACM
Communications of the ACM
A generalized technique for symbol manipulation and numerical calculation
Communications of the ACM
Communications of the ACM
A method for overlapping and erasure of lists
Communications of the ACM
Experience with memory management in open Linda systems
Proceedings of the 2001 ACM symposium on Applied computing
Java without the coffee breaks: a nonintrusive multiprocessor garbage collector
Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
A parallel, real-time garbage collector
Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
MPACT: microprocessor application to control-firmware translator
ACM SIGDA Newsletter
A self interpreter for BaLinda Lisp
ACM SIGPLAN Notices
The programming languages REC and convert
ACM SIGPLAN Notices
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
Readings in hardware/software co-design
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
An interpreter generator using tree pattern matching
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
ACM SIGPLAN Notices
A real-time version of SequenceL
Annals of Software Engineering
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Induction Proofs with Partial Functions
Journal of Automated Reasoning
Context-sensitive rewriting strategies
Information and Computation
Keep it clean: a unique approach to functional programming.
ACM SIGPLAN Notices
A Syntactic Theory of Dynamic Binding
Higher-Order and Symbolic Computation
Definitional Interpreters for Higher-Order Programming Languages
Higher-Order and Symbolic Computation
A History of Data-Flow Languages
IEEE Annals of the History of Computing
A Hybrid Scheme for Processing Data Structures in a Dataflow Environment
IEEE Transactions on Parallel and Distributed Systems
ACM SIGSOFT Software Engineering Notes
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Garbage Collection Algorithms for Java-Based Prolog Engines
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
A New Termination Approach for Specialization
SAIG '00 Proceedings of the International Workshop on Semantics, Applications, and Implementation of Program Generation
Abstraction, concurrency, and communal computing in SequenceL
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Concurrent Cycle Collection in Reference Counted Systems
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Term Graph Rewriting and Mobile Expressions in Functional Languages
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Projection in Adaptive Constraint Handling
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Combining Semantics with Non-standard Interpreter Hierarchies
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Theory of Judgments and Derivations
Progress in Discovery Science, Final Report of the Japanese Discovery Science Project
A recursive list paradigm with Java and C++ implementations
Journal of Computing Sciences in Colleges
Term rewriting for normalization by evaluation
Information and Computation - Special issue: ICC '99
Implementation of an interpreter for abstract equations
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
µ3L: An HLL-RISC processor for parallel execution of FP-language programs
ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture
Busy and lazy FP with infinite objects
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Early LISP history (1956 - 1959)
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Highlights of the history of the lambda-calculus
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
LISP - notes on its past and future
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
A semantic comparison of LISP and SCHEME
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Computing with text-graphic forms
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
On the theory of programming logics
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Recursive data structures and related control mechanisms in APL
APL '76 Proceedings of the eighth international conference on APL
Operational and semantic equivalence between recursive programs.
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
The nested rectangular array as a model of data
APL '79 Proceedings of the international conference on APL: part 1
Tree-manipulating systems and Church-Rosser Theorems
STOC '70 Proceedings of the second annual ACM symposium on Theory of computing
Compiler testing via symbolic interpretation
ACM '76 Proceedings of the 1976 annual conference
Definitional interpreters for higher-order programming languages
ACM '72 Proceedings of the ACM annual conference - Volume 2
Invited papers—1: basic concepts of automata theory
ACM '65 Proceedings of the 1965 20th national conference
Programming languages for non-numeric processing—2: An introduction to the COGENT programming system
ACM '65 Proceedings of the 1965 20th national conference
Artificial languages: Computers, connector systems, and data descriptions
ACM '62 Proceedings of the 1962 ACM national conference on Digest of technical papers
List-tracing in systems allowing multiple cell-types
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Recursive programming through table look-up
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
A normal form for compiler testing
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
The design of a procedureless programming language
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Generation Scavenging: A non-disruptive high performance storage reclamation algorithm
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Aspects of applicative programming for file systems (Preliminary Version)
Proceedings of an ACM conference on Language design for reliable software
ACM SIGPLAN Notices - Special issue: History of programming languages conference
ACM '61 Proceedings of the 1961 16th ACM national meeting
The evaluation, classification and interpretation of expressions
ACM '64 Proceedings of the 1964 19th ACM national conference
Proving properties of shared data structures application to functional programming
ACM '82 Proceedings of the ACM '82 conference
FAD, a functional programming language that supports abstract data types
ACM '80 Proceedings of the ACM 1980 annual conference
ACM '77 Proceedings of the 1977 annual conference
A view of artificial intelligence
ACM '66 Proceedings of the 1966 21st national conference
Primitive recursive program transformation
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
Garbage Collector Memory Accounting in Language-Based Systems
SP '03 Proceedings of the 2003 IEEE Symposium on Security and Privacy
A brief history of just-in-time
ACM Computing Surveys (CSUR)
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Log Compaction and Garbage Collection: What could they Bring to Each Other?
IWOOOS '95 Proceedings of the 4th International Workshop on Object-Orientation in Operating Systems
ACM SIGPLAN Notices
An on-the-fly mark and sweep garbage collector based on sliding views
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
An end-to-end domain-driven software development framework
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
RepWeb: replicated Web with referential integrity
Proceedings of the 2003 ACM symposium on Applied computing
NATURAL EXPERT: a commercial functional programming environment
Journal of Functional Programming
A survey of control structures in programming languages
ACM SIGPLAN Notices - Special issue on control structures in programming languages
Proposal for a categorical programming language
ACM SIGPLAN Notices
Recursive definitions for iterative algorithms
ACM SIGPLAN Notices
Real-time concurrent collection on stock multiprocessors
ACM SIGPLAN Notices - Best of PLDI 1979-1999
An efficient parser generator for natural language
COLING '94 Proceedings of the 15th conference on Computational linguistics - Volume 1
Approaches to executable specifications
Proceedings of the workshop on Rapid prototyping
Garbage collection for embedded systems
Proceedings of the 4th ACM international conference on Embedded software
A unified theory of garbage collection
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
MC2: high-performance garbage collection for memory-constrained environments
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The early history of Smalltalk
History of programming languages---II
Software—Practice & Experience
Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments
Using page residency to balance tradeoffs in tracing garbage collection
Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments
Relational analysis of algebraic datatypes
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Skribe: a functional authoring language
Journal of Functional Programming
Functional Parallel Typified Language and Its Implementation on Clusters
Programming and Computing Software
Quantifying the performance of garbage collection vs. explicit memory management
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Modelling of storage properties of higher level languages
ACM SIGPLAN Notices
Proceedings of the 5th international symposium on Memory management
Task-aware garbage collection in a multi-tasking virtual machine
Proceedings of the 5th international symposium on Memory management
Visualising dynamic memory allocators
Proceedings of the 5th international symposium on Memory management
IBM Journal of Research and Development
Conception of adaptive programming languages
MS'06 Proceedings of the 17th IASTED international conference on Modelling and simulation
Exact roots for a real-time garbage collector
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
PPPJ '06 Proceedings of the 4th international symposium on Principles and practice of programming in Java
Yaccscript: a platform for intersecting high-level languages
Proceedings of the 44th annual Southeast regional conference
History of programming languages I
Queue - Security
Fundamenta Informaticae - Typed Lambda Calculi and Applications (TLCA'99)
Proving termination of context-sensitive rewriting by transformation
Information and Computation
A syntactic correspondence between context-sensitive calculi and abstract machines
Theoretical Computer Science
A history of Haskell: being lazy with class
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Programming style: examples and counterexamples
Classics in software engineering
Structured programming with go to statements
Classics in software engineering
Designing Interdisciplinary Approaches To Problem Solving Into Computer Languages
Journal of Integrated Design & Process Science
Bigtable: a distributed storage system for structured data
OSDI '06 Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation - Volume 7
A simple and efficient algorithm for cycle collection
ACM SIGPLAN Notices
Approaches for semantic interoperability between domain ontologies
AOW '06 Proceedings of the second Australasian workshop on Advances in ontologies - Volume 72
Computer science as empirical inquiry: symbols and search
ACM Turing award lectures
ACM Turing award lectures
Three Paradigms of Computer Science
Minds and Machines
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
Effective prefetch for mark-sweep garbage collection
Proceedings of the 6th international symposium on Memory management
Teaching strategies for reinforcing structural recursion with lists
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
Bigtable: a distributed storage system for structured data
OSDI '06 Proceedings of the 7th symposium on Operating systems design and implementation
Performance of a Simulated Dataflow Computer
IEEE Transactions on Computers
Blues for Gary: Design Abstractions for a Jazz Improvisation Assistant
Electronic Notes in Theoretical Computer Science (ENTCS)
Overview of garbage collection in symbolic computing
ACM SIGPLAN Lisp Pointers
ACM SIGPLAN Lisp Pointers
Object ownership profiling: a technique for finding and fixing memory leaks
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Record of the Project MAC conference on concurrent systems and parallel computation
Garbage collection: Java application servers' Achilles heel
Science of Computer Programming
Bigtable: A Distributed Storage System for Structured Data
ACM Transactions on Computer Systems (TOCS)
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Memory management for self-adjusting computation
Proceedings of the 7th international symposium on Memory management
ACM Lisp Bulletin
Problems in the ontology of computer programs
Applied Ontology
Lisp50: The 50th birthday of lisp at OOPSLA 2008
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Programming a model of human concept formulation
IRE-AIEE-ACM '61 (Western) Papers presented at the May 9-11, 1961, western joint IRE-AIEE-ACM computer conference
A basis for a mathematical theory of computation, preliminary report
IRE-AIEE-ACM '61 (Western) Papers presented at the May 9-11, 1961, western joint IRE-AIEE-ACM computer conference
A screening method for large information retrieval systems
IRE-AIEE-ACM '61 (Western) Papers presented at the May 9-11, 1961, western joint IRE-AIEE-ACM computer conference
Theoretical foundations for the computer-aided design system
AFIPS '63 (Spring) Proceedings of the May 21-23, 1963, spring joint computer conference
MATHLAB: a program for on-line machine assistance in symbolic computations
AFIPS '65 (Fall, part I) Proceedings of the November 30--December 1, 1965, fall joint computer conference, part I
MATHLAB: a program for on-line machine assistance in symbolic computations
AFIPS '65 (Fall, part II) Proceedings of the November 30--December 1, 1965, fall joint computer conference, part II: computers: their impact on society
A heuristic program to solve geometric-analogy problems
AFIPS '64 (Spring) Proceedings of the April 21-23, 1964, spring joint computer conference
LISP A: a lisp-like system for incremental computing
AFIPS '68 (Spring) Proceedings of the April 30--May 2, 1968, spring joint computer conference
Termination of programs represented as interpreted graphs
AFIPS '70 (Spring) Proceedings of the May 5-7, 1970, spring joint computer conference
A language-oriented computer design
AFIPS '70 (Fall) Proceedings of the November 17-19, 1970, fall joint computer conference
A computer model of simple forms of learning in infants
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
Automated verification of practical garbage collectors
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Memoised Garbage Collection for Software Model Checking
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
Online reorganization of databases
ACM Computing Surveys (CSUR)
Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
Extending the loop language with higher-order procedural variables
ACM Transactions on Computational Logic (TOCL)
Flexible reference-counting-based hardware acceleration for garbage collection
Proceedings of the 36th annual international symposium on Computer architecture
Writing an OS Kernel in a Strictly and Statically Typed Language
Formal to Practical Security
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
Gel: A Generic Extensible Language
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
A Groupoid of Isomorphic Data Transformations
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
An embedded declarative data transformation language
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
X-expressions in XMLisp: S-expressions and extensible markup language unite
Proceedings of the 2007 International Lisp Conference
Panel: history of artificial intelligence research, 1956-61
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
The LISP70 pattern matching system
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
A LISP machine with very compact programs
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
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
Allocation wall: a limiting factor of Java applications on emerging multi-core platforms
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Axioms and theorems for a theory of arrays
IBM Journal of Research and Development
Verified just-in-time compiler on x86
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Decision procedures for algebraic data types with abstractions
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The lambda-gamma calculus: A language adequate for defining recursive functions
Information Sciences: an International Journal
Directly reflective meta-programming
Higher-Order and Symbolic Computation
External and internal syntax of the λ-calculus
Journal of Symbolic Computation
Incorporating precise garbage collection in an Ada compiler
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Knowledge acquisition and automatic generation of rules for the inference machine CLIPS
MICAI'07 Proceedings of the artificial intelligence 6th Mexican international conference on Advances in artificial intelligence
Adjunction for garbage collection with application to graph rewriting
RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
Upper and lower recursion schemes in abstract approximation spaces
RSFDGrC'03 Proceedings of the 9th international conference on Rough sets, fuzzy sets, data mining, and granular computing
Context-sensitive dependency pairs
Information and Computation
From reduction-based to reduction-free normalization
AFP'08 Proceedings of the 6th international conference on Advanced functional programming
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
KAL: kernel-assisted non-invasive memory leak tolerance with a general-purpose memory allocator
Software—Practice & Experience
Exploiting memory usage patterns to improve garbage collections in Java
Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java
Hereditarily finite representations of natural numbers and self-delimiting codes
Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming
Machine learning of jazz grammars
Computer Music Journal
Programming with time: cyber-physical programming with impromptu
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
ICAISC'10 Proceedings of the 10th international conference on Artifical intelligence and soft computing: Part II
Algorithms and theory of computation handbook
Formal derivation of concurrent garbage collectors
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
An efficient approach to cyclic reference counting based on a coarse-grained search
Information Processing Letters
Data Linkage Dynamics with Shedding
Fundamenta Informaticae - From Mathematical Beauty to the Truth of Nature: to Jerzy Tiuryn on his 60th Birthday
Evaluation and Usability of Programming Languages and Tools
Index-compact garbage collection
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
A space-efficient list structure tracing algorithm
IEEE Transactions on Computers
Dynamic elimination of overflow tests in a trace 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
Short-term memory for self-collecting mutators
Proceedings of the international symposium on Memory management
Language-independent sandboxing of just-in-time compilation and self-modifying code
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
A verified runtime for a verified theorem prover
ITP'11 Proceedings of the Second international conference on Interactive theorem proving
An efficient non-moving garbage collector for functional languages
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Teaching garbage collection with open source virtual machine
Proceedings of the 2011 conference on Information technology education
Improve google android user experience with regional garbage collection
NPC'11 Proceedings of the 8th IFIP international conference on Network and parallel computing
Open, extensible composition models
Proceedings of the 1st International Workshop on Free Composition
Artificial intelligence arrives to the 21st century
MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
Functions in information systems
ACM SIGMIS Database
Incremental algorithms for inter-procedural analysis of safety properties
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
New algorithms and applications of cyclic reference counting
ICGT'06 Proceedings of the Third international conference on Graph Transformations
A lightweight cyclic reference counting algorithm
GPC'06 Proceedings of the First international conference on Advances in Grid and Pervasive Computing
In memoriam: John McCarthy, 1927-2011
Artificial Intelligence in Medicine
RATA: rapid atomic type analysis by abstract interpretation – application to javascript optimization
CC'10/ETAPS'10 Proceedings of the 19th joint European conference on Theory and Practice of Software, international conference on Compiler Construction
An agentspeak meta-interpreter and its applications
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
A declarative specification of tree-based symbolic arithmetic computations
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Dynamic learning agents and enhanced presence on the grid
3LeGE-WG'03 Proceedings of the 3rd international LeGE-WG conference on GRID Infrastructure to Support Future Technology Enhanced Learning
A familial specification language for database application systems
Computer Languages
Deep and shallow binding: The assignment operation
Computer Languages
SequenceL provides a different way to view programming
Computer Languages
And then there were none: a stall-free real-time garbage collector for reconfigurable hardware
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
Down for the count? Getting reference counting back in the ring
Proceedings of the 2012 international symposium on Memory Management
Autonomous garbage collection: resolving memory leaks in long-running server applications
Computer Communications
Unified selection from lists, arrays, and objects
Computer Languages, Systems and Structures
Survey: A survey of state vectors
Computer Science Review
Problems in the ontology of computer programs
Applied Ontology
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
SSGIP'10 Proceedings of the 2010 international spring school conference on Generic and Indexed Programming
Fundamenta Informaticae - Typed Lambda Calculi and Applications (TLCA'99)
A hybrid just-in-time compiler for android: comparing JIT types and the result of cooperation
Proceedings of the 2012 international conference on Compilers, architectures and synthesis for embedded systems
An example of the manipulation of directed graphs in the AMBIT/G programming language
Symposium on Interactive Systems for Experimental Applied Mathematics: Proceedings of the Association for Computing Machinery Inc. Symposium
Using domain specific language for modeling and simulation: scalation as a case study
Proceedings of the Winter Simulation Conference
Science of Computer Programming
Engineering definitional interpreters
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
Taking off the gloves with reference counting Immix
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Non-blocking garbage collection for real-time Android
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems
Reversible representation and manipulation of constructor terms in the heap
RC'13 Proceedings of the 5th international conference on Reversible Computation
Formal program optimization in nuprl using computational equivalence and partial types
ITP'13 Proceedings of the 4th international conference on Interactive Theorem Proving
Alan Turing and the development of Artificial Intelligence
AI Communications - ECAI 2012 Turing and Anniversary Track
Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting
Fundamenta Informaticae
Hi-index | 48.69 |