Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '99
Latest Publications

TOTAL DOCUMENTS

25

(FIVE YEARS 0)

H-INDEX

19

(FIVE YEARS 0)

Published By ACM Press

1581130953

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Constraint systems for useless variable elimination

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '99 ◽

10.1145/292540.292567 ◽

1999 ◽

Author(s):

Mitchell Wand ◽

Igor Siveroni

Keyword(s):

Constraint Systems ◽

Variable Elimination

Download Full-text

AnnoDomini

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '99 ◽

10.1145/292540.292543 ◽

1999 ◽

Author(s):

Peter Harry Eidorff ◽

Fritz Henglein ◽

Christian Mossin ◽

Henning Niss ◽

Morten Heine Sørensen ◽

...

Download Full-text

A compositional account of the Java virtual machine

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '99 ◽

10.1145/292540.292548 ◽

1999 ◽

Author(s):

Phillip M. Yelland

Keyword(s):

Virtual Machine ◽

Java Virtual Machine

Download Full-text

Trust and partial typing in open systems of mobile agents

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '99 ◽

10.1145/292540.292551 ◽

1999 ◽

Author(s):

James Riely ◽

Matthew Hennessy

Keyword(s):

Mobile Agents ◽

Download Full-text

Continuous grammars

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '99 ◽

10.1145/292540.292568 ◽

1999 ◽

Author(s):

Martin Ruckert

Download Full-text

Dependent types in practical programming

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '99 ◽

10.1145/292540.292560 ◽

1999 ◽

Author(s):

Hongwei Xi ◽

Frank Pfenning

Keyword(s):

Dependent Types

Download Full-text

Relevant context inference

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '99 ◽

10.1145/292540.292554 ◽

1999 ◽

Author(s):

Ramkrishna Chatterjee ◽

Barbara G. Ryder ◽

William A. Landi

Keyword(s):

Relevant Context

Download Full-text

Software watermarking

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '99 ◽

10.1145/292540.292569 ◽

1999 ◽

Author(s):

Christian Collberg ◽

Clark Thomborson

Keyword(s):

Software Watermarking

Download Full-text

JFlow

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '99 ◽

10.1145/292540.292561 ◽

1999 ◽

Author(s):

Andrew C. Myers

Download Full-text

Extending the scope of syntactic abstraction

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '99 ◽

10.1145/292540.292559 ◽

1999 ◽

Author(s):

Oscar Waddell ◽

R. Kent Dybvig

Keyword(s):

Syntactic Abstraction

Download Full-text