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

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

13
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540213130, 9783540247258
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Adaptive Pattern Matching on Binary Data

2004 ◽  
pp. 124-139 ◽  
Author(s):  
Per Gustafsson ◽  
Konstantinos Sagonas
Keyword(s):  
Pattern Matching ◽  
Binary Data ◽  
Adaptive Pattern

scholarly journals Extracting a Data Flow Analyser in Constructive Logic

2004 ◽  
pp. 385-400 ◽  
Author(s):  
David Cachera ◽  
Thomas Jensen ◽  
David Pichardie ◽  
Vlad Rusu
Keyword(s):  
Data Flow ◽  
Constructive Logic

scholarly journals System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types

2004 ◽  
pp. 294-309 ◽  
Author(s):  
Sébastien Carlier ◽  
Jeff Polakow ◽  
J. B. Wells ◽  
A. J. Kfoury
Keyword(s):  
Non Linear ◽  
Linear Types ◽  
Intersection Types

scholarly journals A Distributed Abstract Machine for Boxed Ambient Calculi

2004 ◽  
pp. 155-170 ◽  
Author(s):  
Andrew Phillips ◽  
Nobuko Yoshida ◽  
Susan Eisenbach
Keyword(s):  
Abstract Machine

scholarly journals Compositional Analysis of Authentication Protocols

2004 ◽  
pp. 140-154 ◽  
Author(s):  
Michele Bugliesi ◽  
Riccardo Focardi ◽  
Matteo Maffei
Keyword(s):  
Compositional Analysis ◽  
Authentication Protocols

scholarly journals ML-Like Inference for Classifiers

2004 ◽  
pp. 79-93 ◽  
Author(s):  
Cristiano Calcagno ◽  
Eugenio Moggi ◽  
Walid Taha

scholarly journals Just Fast Keying in the Pi Calculus

2004 ◽  
pp. 340-354 ◽  
Author(s):  
Martín Abadi ◽  
Bruno Blanchet ◽  
Cédric Fournet
Keyword(s):  
Pi Calculus

scholarly journals Functors for Proofs and Programs

2004 ◽  
pp. 370-384 ◽  
Author(s):  
Jean-Christophe Filliâtre ◽  
Pierre Letouzey
Load More ...
Sign in / Sign up

Export Citation Format

Share Document