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

TOTAL DOCUMENTS

29

(FIVE YEARS 0)

H-INDEX

13

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540254355, 9783540319870

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Type System Equivalent to a Model Checker

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31987-0_26 ◽

2005 ◽

pp. 374-388 ◽

Author(s):

Mayur Naik ◽

Jens Palsberg

Keyword(s):

Type System ◽

Download Full-text

Adjoining Declassification and Attack Models by Abstract Interpretation

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31987-0_21 ◽

2005 ◽

pp. 295-310 ◽

Author(s):

Roberto Giacobazzi ◽

Isabella Mastroeni

Keyword(s):

Abstract Interpretation ◽

Download Full-text

A Design for a Security-Typed Language with Certificate-Based Declassification

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31987-0_20 ◽

2005 ◽

pp. 279-294 ◽

Author(s):

Stephen Tse ◽

Steve Zdancewic

Download Full-text

BI Hyperdoctrines and Higher-Order Separation Logic

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31987-0_17 ◽

2005 ◽

pp. 233-247 ◽

Author(s):

Bodil Biering ◽

Lars Birkedal ◽

Noah Torp-Smith

Keyword(s):

Higher Order ◽

Separation Logic ◽

Order Separation

Download Full-text

Subtyping First-Class Polymorphic Components

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31987-0_24 ◽

2005 ◽

pp. 342-356 ◽

Author(s):

João Costa Seco ◽

Luís Caires

Download Full-text

Java JR: Fully Abstract Trace Semantics for a Core Java Language

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31987-0_29 ◽

2005 ◽

pp. 423-438 ◽

Author(s):

Alan Jeffrey ◽

Julian Rathke

Keyword(s):

Java Language ◽

Trace Semantics

Download Full-text

Interprocedural Herbrand Equalities

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31987-0_4 ◽

2005 ◽

pp. 31-45 ◽

Author(s):

Markus Müller-Olm ◽

Helmut Seidl ◽

Bernhard Steffen

Download Full-text

Denotational Semantics for Abadi and Leino’s Logic of Objects

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31987-0_19 ◽

2005 ◽

pp. 263-278 ◽

Author(s):

Bernhard Reus ◽

Jan Schwinghammer

Keyword(s):

Denotational Semantics

Download Full-text

Asserting Bytecode Safety

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31987-0_23 ◽

2005 ◽

pp. 326-341 ◽

Author(s):

Martin Wildmoser ◽

Tobias Nipkow

Download Full-text

Programming with Explicit Security Policies

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31987-0_1 ◽

2005 ◽

pp. 1-4 ◽

Author(s):

Andrew C. Myers

Keyword(s):

Security Policies

Download Full-text