Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Programming Language Design and Implementation

Known as: Symposium on Compiler Optimization, Conference on programming language design and implementation, SIGPLAN Symposium on Compiler Construction 
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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
This paper proposes an approach to deal with the control of a class of dynamical systems affected by hysteresis, which is… Expand
  • figure 1
  • figure 2
  • table I
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2010
Highly Cited
2010
We describe an interpolant-based approach to test generation and model checking for sequential programs The method generates… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 6
Is this relevant?
Highly Cited
2009
Highly Cited
2009
In this paper, a nonlinear model predictive control (NMPC) is used to design a high-level controller for a fixed-wing unmanned… Expand
  • figure 1
  • table I
  • figure 4
  • figure 2
  • figure 3
Is this relevant?
2008
2008
It is our pleasure to welcome you to the Fourth ACM SIGPLAN/SIGOPS Conference on Virtual Execution Environments (VEE 08), in… Expand
Is this relevant?
Highly Cited
2008
Highly Cited
2008
We address the problem of error detection for programs that take recursive data structures and arrays as input. Previously we… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Review
2008
Review
2008
This paper presents a compiler for interaction nets, which, just like term rewriting systems, are user-definable rewrite systems… Expand
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Mismanagement of the persistent state of a system---all the executable files, configuration settings and other data that govern… Expand
  • table 1
  • table 2
  • figure 2
  • figure 1
  • table 3
Is this relevant?
Highly Cited
2001
Highly Cited
2001
The realisation of domain-specific languages ( DSL s) diAers in fundamental ways from that of traditional programming languages… Expand
  • figure 2
  • figure 4
  • figure 6
  • figure 7
  • figure 10
Is this relevant?
1998
1998
An object-oriented formal specification workbench is proposed for defining the syntax and semantics of programming languages… Expand
  • figure 1
Is this relevant?
1996
1996
By pursuing language design and language implementation research in parallel, interactions between the two research areas can be… Expand
Is this relevant?