Publication:3046765
From MaRDI portal
zbMath1049.68746MaRDI QIDQ3046765
Davide Ancona, Elena Zucca, Giovanni Lagorio
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2374/23740609.htm
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68N15: Theory of programming languages
68U99: Computing methodologies and applications
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
A flexible model for dynamic linking in Java and C\#, A core calculus for correlation in orchestration languages, Formalising Java RMI with explicit code mobility, Type Inference by Coinductive Logic Programming