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

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540656999, 9783540490999

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Safe and Principled Language Interoperation

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-49099-x_9 ◽

2002 ◽

pp. 128-146 ◽

Author(s):

Valery Trifonov ◽

Zhong Shao

Download Full-text

A Per Model of Secure Information Flow in Sequential Programs

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-49099-x_4 ◽

1999 ◽

pp. 40-58 ◽

Author(s):

Andrei Sabelfeld ◽

David Sands

Keyword(s):

Information Flow ◽

Sequential Programs ◽

Secure Information

Download Full-text

Deterministic Expressions in C

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-49099-x_10 ◽

1999 ◽

pp. 147-161 ◽

Author(s):

Michael Norrish

Download Full-text

Expressing Structural Properties as Language Constructs?

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-49099-x_17 ◽

1999 ◽

pp. 258-272 ◽

Author(s):

Shriram Krishnamurthi ◽

Yan-David Erlich ◽

Matthias Felleisen

Keyword(s):

Structural Properties ◽

Language Constructs

Download Full-text

Functional Reactive Programming

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-49099-x_1 ◽

1999 ◽

pp. 1-1 ◽

Author(s):

Paul Hudak

Keyword(s):

Functional Reactive Programming ◽

Reactive Programming

Download Full-text

Interprocedural Control Flow Analysis

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-49099-x_3 ◽

1999 ◽

pp. 20-39 ◽

Author(s):

Flemming Nielson ◽

Hanne Riis Nielson

Keyword(s):

Flow Analysis ◽

Control Flow ◽

Control Flow Analysis

Download Full-text

A Programming Logic for Sequential Java

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-49099-x_11 ◽

1999 ◽

pp. 162-176 ◽

Author(s):

Arnd Poetzsch-Heffter ◽

Peter Müller

Keyword(s):

Programming Logic

Download Full-text

A Decidable Logic for Describing Linked Data Structures

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-49099-x_2 ◽

1999 ◽

pp. 2-19 ◽

Author(s):

Michael Benedikt ◽

Thomas Reps ◽

Mooly Sagiv

Keyword(s):

Data Structures ◽

Download Full-text

Types and Subtypes for Client-Server Interactions

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-49099-x_6 ◽

1999 ◽

pp. 74-90 ◽

Author(s):

Simon Gay ◽

Malcolm Hole

Keyword(s):

Download Full-text

Types for Safe Locking

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-49099-x_7 ◽

1999 ◽

pp. 91-108 ◽

Author(s):

Cormac Flanagan ◽

Martín Abadi

Download Full-text