Programming Languages and Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540672623, 9783540464259

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Correctness of Java Card Method Lookup via Logical Relations

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-46425-5_7 ◽

2000 ◽

pp. 104-118 ◽

Cited By ~ 4

Author(s):

Ewen Denney ◽

Thomas Jensen

Keyword(s):

Java Card

Download Full-text

Alias Types

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-46425-5_24 ◽

2000 ◽

pp. 366-381 ◽

Cited By ~ 47

Author(s):

Frederick Smith ◽

David Walker ◽

Greg Morrisett

Download Full-text

Formalizing Implementation Strategies for First-Class Continuations

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-46425-5_6 ◽

2000 ◽

pp. 88-103 ◽

Cited By ~ 3

Author(s):

Olivier Danvy

Keyword(s):

Implementation Strategies

Download Full-text

A Calculus for Compiling and Linking Classes

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-46425-5_9 ◽

2000 ◽

pp. 135-149 ◽

Cited By ~ 10

Author(s):

Kathleen Fisher ◽

John Reppy ◽

Jon G. Riecke

Download Full-text

Flow-Directed Closure Conversion for Typed Languages

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-46425-5_4 ◽

2000 ◽

pp. 56-71 ◽

Cited By ~ 12

Author(s):

Henry Cejtin ◽

Suresh Jagannathan ◽

Stephen Weeks

Keyword(s):

Closure Conversion ◽

Typed Languages

Download Full-text

First-Class Structures for Standard ML

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-46425-5_22 ◽

2000 ◽

pp. 336-350 ◽

Cited By ~ 10

Author(s):

Claudio V. Russo

Keyword(s):

Standard Ml

Download Full-text

Polyvariant Flow Analysis with Constrained Types

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-46425-5_25 ◽

2000 ◽

pp. 382-396 ◽

Cited By ~ 4

Author(s):

Scott F. Smith ◽

Tiejun Wang

Keyword(s):

Flow Analysis

Download Full-text

Constraint-Based Inter-Procedural Analysis of Parallel Programs

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-46425-5_23 ◽

2000 ◽

pp. 351-365 ◽

Cited By ~ 12

Author(s):

Helmut Seidl ◽

Bernhard Steffen

Keyword(s):

Parallel Programs

Download Full-text

Secure Information Flow as Typed Process Behaviour

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-46425-5_12 ◽

2000 ◽

pp. 180-199 ◽

Cited By ~ 39

Author(s):

Kohei Honda ◽

Vasco Vasconcelos ◽

Nobuko Yoshida

Keyword(s):

Information Flow ◽

Secure Information

Download Full-text

Implementing Groundness Analysis with Definite Boolean Functions

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-46425-5_13 ◽

2000 ◽

pp. 200-214 ◽

Cited By ~ 4

Author(s):

Jacob M. Howe ◽

Andy King

Keyword(s):

Boolean Functions

Download Full-text

Programming Languages and Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Correctness of Java Card Method Lookup via Logical Relations

Alias Types

Formalizing Implementation Strategies for First-Class Continuations

A Calculus for Compiling and Linking Classes

Flow-Directed Closure Conversion for Typed Languages

First-Class Structures for Standard ML

Polyvariant Flow Analysis with Constrained Types

Constraint-Based Inter-Procedural Analysis of Parallel Programs

Secure Information Flow as Typed Process Behaviour

Implementing Groundness Analysis with Definite Boolean Functions

Programming Languages and Systems - Lecture Notes in Computer Science
Latest Publications