ACM Letters on Programming Languages and Systems (LOPLAS) (No Longer Published)

Recent Papers/Articles

Explaining type errors in polymorphic languages

and 

READ
Implementing multiple locks using Lamport's mutual exclusion algorithm

and 

READ
An efficient representation for sparse sets

and 

READ
RE2C: a more versatile scanner generator

and 

READ
Unified compilation of Fortran 77D and 90D

and 

READ
References to remote mobile objects in Thor

and 

READ
On the conversion of indirect to direct recursion

and 

READ
Semantics of constraint logic programs with optimization

and 

READ
Interprocedural constant propagation: an empirical study

and 

READ
Referential opacity in nondeterministic data refinement

and 

READ
 
 
For support, write to support@knimbus.com
Copyright 2011-2016, Knimbus. All rights reserved.