scientific article
From MaRDI portal
Publication:3046765
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Computing methodologies and applications (68U99) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
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
