Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,541,796 papers from all fields of science
Search
Sign In
Create Free Account
Programming Language Design and Implementation
Known as:
Symposium on Compiler Optimization
, Conference on programming language design and implementation
, SIGPLAN Symposium on Compiler Construction
Expand
Programming Language Design and Implementation (PLDI) is one of the ACM SIGPLAN's most important conferences. The precursor of PLDI was the Symposium…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Compiler
Federated Computing Research Conference
International Conference on Functional Programming
Memory management
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Fachbereich Informatik und Mathematik Rewriting of Higher-Order-Meta-Expressions with Recursive Bindings
David Sabel
2017
Corpus ID: 96456166
We introduce rewriting of meta-expressions which stem from a meta-language that uses higher-order abstract syntax augmented by…
Expand
2007
2007
Polynomial Size Analysis of First-Order Functions
O. Shkaravska
,
R. V. Kesteren
,
M. V. Eekelen
International Conference on Typed Lambda Calculus…
2007
Corpus ID: 443275
We present a size-aware type system for first-order shapely function definitions. Here, a function definition is called shapely…
Expand
2007
2007
Automatic Extraction of Bug Localization Benchmarks from History
Valentin Dallmeier
,
Thomas Zimmermann
2007
Corpus ID: 17074940
Researchers have proposed a number of tools for automatic bug localization. Given a program and a description of the failure…
Expand
2003
2003
Data Structure Analysis: An Ecien t Context-Sensitive Heap Analysis
Chris Lattner
,
Vikram S. Adve
2003
Corpus ID: 8793495
This paper presents an efficient context-sensitive heap analysis algorithm called Data Structure Analysis designed to enable…
Expand
2000
2000
An Improved Adaptive Multi-Start Approach to Finding Near-Optimal Solutions to the Euclidean TSP
D. Bonachea
,
Eugene Ingerman
,
Joshua Levy
,
Scott McPeak
Annual Conference on Genetic and Evolutionary…
2000
Corpus ID: 12503625
We present an "adaptive multi-start" genetic algorithm for the Euclidean traveling salesman problem that uses a population of…
Expand
1998
1998
Object-oriented software specification in programming language design and implementation
Barrett R. Bryant
,
V. Vaidyanathan
Annual International Computer Software and…
1998
Corpus ID: 42800724
An object-oriented formal specification workbench is proposed for defining the syntax and semantics of programming languages…
Expand
1997
1997
Applying Mobile Code to Distributed Systems
David Halls
1997
Corpus ID: 53909962
Use of mobile code can make distributed systems and the abstractions they provide more exible to build and use. Richer…
Expand
1996
1996
Implementation of Stack-Based Languages on Register Machines
M. Ertl
1996
Corpus ID: 60157942
Languages with programmer-visible stacks (stack-based languages) are used widely, as intermediate languages (e.g., JavaVM, FCode…
Expand
1992
1992
Compiler-directed storage reclamation using object lifetime analysis
James E. Hicks
,
Arvind
1992
Corpus ID: 59924401
Many heap-oriented languages such as Lisp and Id depend on run-time garbage collection to reclaim storage. Garbage collection can…
Expand
1982
1982
Proceedings of the 1982 SIGPLAN symposium on Compiler construction
John R. White
,
F. Allen
1982
Corpus ID: 61928111
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE