A Calculus for Boxes and Traits in a Java-Like Setting

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-13414-2_4
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Implementing the Π-Calculus in Java.

Journal of Object Technology
Software
2005English

A Machine-Checked Model for a Java-Like Language, Virtual Machine, and Compiler

ACM Transactions on Programming Languages and Systems
Software
2006English

Dag-Calculus: A Calculus for Parallel Computation

2016English

Pseudo-Differential Calculus in Anisotropic Gelfand–Shilov Setting

Integral Equations and Operator Theory
Number TheoryAnalysisAlgebra
2019English

Formal Techniques for Java-Like Programs

English

Java Security Extensions for a Java Server in a Hostile Environment

English

Pi+-Calculus: A Calculus for Concurrent Processes With Constraints

CLEI Electronic Journal
1998English

A Calculus for Local Reversibility

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Is GETUP Helpful and Relevant in a Resource Poor Setting Like Nepal?

Journal of Medical Toxicology
MutagenesisToxicologyHealth
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy