Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,389,629 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.
2014
2014
Design of Linear Feedback Controllers for Dynamic Systems With Hysteresis
L. Riccardi
,
D. Naso
,
B. Turchiano
,
H. Janocha
IEEE Transactions on Control Systems Technology
2014
Corpus ID: 30498636
This paper proposes an approach to deal with the control of a class of dynamical systems affected by hysteresis, which is…
Expand
Review
2013
Review
2013
PLDI 2002: Extended static checking for Java
C. Flanagan
,
K. Leino
,
Mark Lillibridge
,
Greg Nelson
,
J. Saxe
,
Raymie Stata
SIGP
2013
Corpus ID: 1487581
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier…
Expand
Highly Cited
2009
Highly Cited
2009
Linear Tracking for a Fixed-Wing UAV Using Nonlinear Model Predictive Control
Yeonsik Kang
,
J. Hedrick
IEEE Transactions on Control Systems Technology
2009
Corpus ID: 33875699
In this paper, a nonlinear model predictive control (NMPC) is used to design a high-level controller for a fixed-wing unmanned…
Expand
Review
2003
Review
2003
A Taxonomy of Execution Replay Systems
Frank Cornelis
,
A. Georges
,
M. Christiaens
,
Michiel Ronsse
,
Tom Ghesquiere
2003
Corpus ID: 15489816
Debugging a faulty program can be very hard and time-consuming. The programmer usually reexecutes his program, while zooming in…
Expand
Highly Cited
1998
Highly Cited
1998
PLAN : A Programming Language for Active Networkssubmitted to PLDI ' 98
J. Hicks
,
P. Kakkar
,
Jonathan T. Moore
,
Carl A. Gunter
1998
Corpus ID: 17273621
PLAN (Programming Language for Active Networks) is a new language for programs that are carried in the packets of a programmable…
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
Synergies Between Object-Oriented Programming Language Design and Implementation Research
C. Chambers
International Symposium on Object Technologies…
1996
Corpus ID: 14624771
By pursuing language design and language implementation research in parallel, interactions between the two research areas can be…
Expand
Highly Cited
1995
Highly Cited
1995
Interprocedural symbolic analysis
P. Havlak
,
K. Kennedy
1995
Corpus ID: 59697358
Compiling for efficient execution on advanced computer architectures requires extensive program analysis and transformation. Most…
Expand
Review
1984
Review
1984
Polymorphic Programming Languages - Design and Implementation
D. Harland
1984
Corpus ID: 59861044
Reviewer: Thomas P. Murtagh. The title suggests that this book discusses existing polymorphic languages. Actually, it describes a…
Expand
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