by D Ancona · 2020 · Cited by 9 — We describe coFJ, a Java-like calculus where objects can be infinite and methods are equipped with a codefinition (an alternative body).

Domein: arxiv.org Bekijk meer

by D Ancona · 2013 · Cited by 10 — The coFJ language supports cyclic objects and regularly corecursive methods, that is, methods whose invocation terminates not only when the corresponding ...

Domein: dl.acm.org Bekijk meer

by CODELAF JUDICIAL · Cited by 55 — CÓDIGO ORGÁNICO DE LA FUNCIÓN JUDICIAL. (Ley s/n). Notas: - La Ley Orgánica de la Función Judicial, norma que regulaba esta materia, puede ser consultada en ...53 pages

Domein: etapa.net.ec Bekijk meer

by D Ancona · 2020 · Cited by 9 — To this end, we describe coFJ, a Java-like calculus where objects can be infinite and methods are equipped with a codefinition (an alternative ...

Domein: drops.dagstuhl.de Bekijk meer

The aim of the paper is to provide solid foundations for a programming paradigm natively supporting the creation and manipulation of cyclic data structures.

Domein: 2020.ecoop.org Bekijk meer

by P Barbieri · 2020 · Cited by 1 — We describe an inductive abstract semantics for coFJ, a Java-like calculus where, when the same method call is encountered twice, ...

Domein: dl.acm.org Bekijk meer

We describe coFJ, a Java-like calculus where objects can be infinite and methods are equipped with a codefinition (an alternative body).

Domein: ui.adsabs.harvard.edu Bekijk meer

Domein: youtube.com Bekijk meer

Protein. Uncharacterized protein ; Gene. cofJ ; Status. UniProtKB unreviewed (TrEMBL) ; Organism. Escherichia coli O169:H41 ; Protein existence. Predicted.

Domein: uniprot.org Bekijk meer

by ASW Yuen · 2013 · Cited by 24 — We present a 2.6 Å resolution crystal structure of CofJ, revealing a large β-sandwich protein that bears no sequence or structural homology to TcpF.

Domein: pubmed.ncbi.nlm.nih.gov Bekijk meer