Facet browsing currently unavailable
Page 3 of 6621 results
Sort by: relevance publication year
Representation independence, confinement and access control [extended abstract] PROCEEDINGS ARTICLE published January 2002 in Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages |
Optimal code selection in DAGs PROCEEDINGS ARTICLE published January 1999 in Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages |
Modular code generation from synchronous block diagrams PROCEEDINGS ARTICLE published 21 January 2009 in Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages |
Views: a way for pattern matching to cohabit with data abstraction PROCEEDINGS ARTICLE published 1987 in Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '87 |
A new method for compiler code generation PROCEEDINGS ARTICLE published 1978 in Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '78 |
Proof-carrying code PROCEEDINGS ARTICLE published 1997 in Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97 |
A new strategy for code generation PROCEEDINGS ARTICLE published 1977 in Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '77 |
Sparse code motion PROCEEDINGS ARTICLE published 5 January 2000 in Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages |
A model and temporal proof system for networks of processes PROCEEDINGS ARTICLE published 1985 in Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '85 |
Space-Efficient Manifest Contracts PROCEEDINGS ARTICLE published 14 January 2015 in Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Research funded by Defense Advanced Research Projects Agency (CRASH FA8650-10-C-7090) | National Science Foundation (TC 0915671, SHF 1016937) |
Defining code-injection attacks PROCEEDINGS ARTICLE published 25 January 2012 in Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages |
Certified assembly programming with embedded code pointers PROCEEDINGS ARTICLE published 11 January 2006 in Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages |
Polymorphic regular tree types and patterns PROCEEDINGS ARTICLE published 11 January 2006 in Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages |
Compiling path expressions into VLSI circuits PROCEEDINGS ARTICLE published 1985 in Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '85 |
Temporal abstract interpretation PROCEEDINGS ARTICLE published 5 January 2000 in Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages |
Termination of probabilistic concurrent programs PROCEEDINGS ARTICLE published 1982 in Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82 |
Compositional dynamic test generation PROCEEDINGS ARTICLE published 17 January 2007 in Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages |
Efficient deductive methods for program analysis PROCEEDINGS ARTICLE published January 2001 in Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages |
Matchmaker PROCEEDINGS ARTICLE published 1985 in Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '85 |
A typed language for distributed mobile processes (extended abstract) PROCEEDINGS ARTICLE published 1998 in Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '98 |