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

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540418627, 9783540453093
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Programming the Web with High-Level Programming Languages

2001 ◽  
pp. 122-136 ◽  
Author(s):  
Paul Graunke ◽  
Shriram Krishnamurthi ◽  
Steve Van Der Hoeven ◽  
Matthias Felleisen
Keyword(s):  
Programming Languages ◽  
High Level ◽  
The Web

scholarly journals A Formal Executable Semantics of the JavaCard Platform

2001 ◽  
pp. 302-319 ◽  
Author(s):  
Gilles Barthe ◽  
Guillaume Dufay ◽  
Line Jakubiec ◽  
Bernard Serpette ◽  
Simão Melo de Sousa
Load More ...
Sign in / Sign up

Export Citation Format

Share Document