Programming Languages and Systems — ESOP '96 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540610557, 9783540499428
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Static detection of pointer errors: An axiomatisation and a checking algorithm

1996 ◽  
pp. 125-140 ◽  
Author(s):  
Pascal Fradet ◽  
Ronan Gaugne ◽  
Daniel Le Métayer
Keyword(s):  
Static Detection

scholarly journals A new approach to compiling adaptive programs

1996 ◽  
pp. 280-295 ◽  
Author(s):  
Jens Palsberg ◽  
Boaz Patt-Shamir ◽  
Karl Lieberherr
Keyword(s):  
New Approach

scholarly journals Global analysis of standard Prolog programs

1996 ◽  
pp. 108-124 ◽  
Author(s):  
F. Bueno ◽  
D. Cabeza ◽  
M. Hermenegildo ◽  
G. Puebla
Keyword(s):  
Global Analysis ◽  
Prolog Programs

scholarly journals Flow analysis in the Geometry of Interaction

1996 ◽  
pp. 188-203
Author(s):  
Thomas P. Jensen ◽  
Ian Mackie
Keyword(s):  
Flow Analysis

scholarly journals A rewriting logic for declarative programming

1996 ◽  
pp. 156-172 ◽  
Author(s):  
J. C. González-Moreno ◽  
M. T. Hortalá-González ◽  
F. J. López-Fraguas ◽  
M. Rodríguez-Artalejo
Keyword(s):  
Declarative Programming ◽  
Rewriting Logic

scholarly journals Towards an ML-style polymorphic type system for C

1996 ◽  
pp. 341-355 ◽  
Author(s):  
Geoffrey Smith ◽  
Dennis Volpano
Keyword(s):  
Type System ◽  
Polymorphic Type
Load More ...
Sign in / Sign up

Export Citation Format

Share Document