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

TOTAL DOCUMENTS

27
(FIVE YEARS 0)

H-INDEX

13
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540008866, 9783540365754
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Rule Formats for Non Interference

2003 ◽  
pp. 129-143 ◽  
Author(s):  
Simone Tini

scholarly journals A Simple Language for Real-Time Cryptographic Protocol Analysis

2003 ◽  
pp. 114-128 ◽  
Author(s):  
Roberto Gorrieri ◽  
Enrico Locatelli ◽  
Fabio Martinelli
Keyword(s):  
Real Time ◽  
Protocol Analysis ◽  
Cryptographic Protocol ◽  
Simple Language ◽  
Cryptographic Protocol Analysis

scholarly journals Flexible Models for Dynamic Linking

2003 ◽  
pp. 38-53 ◽  
Author(s):  
Sophia Drossopoulou ◽  
Giovanni Lagorio ◽  
Susan Eisenbach
Keyword(s):  
Dynamic Linking ◽  
Flexible Models

scholarly journals Tagging, Encoding, and Jones Optimality

2003 ◽  
pp. 335-347 ◽  
Author(s):  
Olivier Danvy ◽  
Pablo E. Martínez López

scholarly journals Building Certified Libraries for PCC: Dynamic Storage Allocation

2003 ◽  
pp. 363-379 ◽  
Author(s):  
Dachuan Yu ◽  
Nadeem A. Hamid ◽  
Zhong Shao
Keyword(s):  
Storage Allocation ◽  
Dynamic Storage Allocation ◽  
Dynamic Storage

scholarly journals Correction of Functional Logic Programs

2003 ◽  
pp. 54-68 ◽  
Author(s):  
Maria Alpuente ◽  
Demis Ballis ◽  
Francisco J. Correa ◽  
Moreno Falaschi
Keyword(s):  
Logic Programs ◽  
Functional Logic

scholarly journals Requirements on the Execution of Kahn Process Networks

2003 ◽  
pp. 319-334 ◽  
Author(s):  
Marc Geilen ◽  
Twan Basten
Keyword(s):  
Process Networks ◽  
Kahn Process
Load More ...
Sign in / Sign up

Export Citation Format

Share Document