Sound regular corecursion in coFJ

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).

Dominio: arxiv.org Leer más

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 ...

Dominio: dl.acm.org Leer más

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

Dominio: etapa.net.ec Leer más

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 ...

Dominio: drops.dagstuhl.de Leer más

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

Dominio: 2020.ecoop.org Leer más

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, ...

Dominio: dl.acm.org Leer más

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

Dominio: ui.adsabs.harvard.edu Leer más

Dominio: youtube.com Leer más

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

Dominio: uniprot.org Leer más

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.

Dominio: pubmed.ncbi.nlm.nih.gov Leer más