BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Israel
4 × USA
Collaborated with:
P.G.Bosco C.Cecchi E.Giovannetti G.Martini A.Martelli G.Rossi M.Porta G.Sofi G.Levi C.Palamidessi
Talks about:
function (3) logic (3) semant (2) unif (2) tina (2) architectur (1) programmin (1) distribut (1) character (1) algorithm (1)

Person: Corrado Moiso

DBLP DBLP: Moiso:Corrado

Contributed to:

ICSE 19971997
ICLP 19901990
ICLP/SPL 19881988
SLP 19871987
SLP 19861986
TAPSOFT, Vol.2: CFLP 19871987

Wrote 6 papers:

ICSE-1997-BoscoMM #generative #specification
TINA ACE: An Environment for Specifying, Developing and Generating TINA Services (PGB, GM, CM), pp. 620–621.
CLP-1990-BoscoCMPS90 #architecture #distributed #functional #logic #memory management
Logic and Functional Programmin on Distributed Memory Architectures (PGB, CC, CM, MP, GS), pp. 325–339.
JICSCP-1988-BoscoCM88 #functional #logic #power of #programming
Exploiting the Full Power of Logic Plus Functional Programming (PGB, CC, CM), pp. 3–17.
SLP-1987-LeviPBGM87 #logic #semantics
A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions (GL, CP, PGB, EG, CM), pp. 318–327.
SLP-1986-MartelliMR86 #algorithm #equation #unification
An Algorithm for Unification in Equational Theories (AM, CM, GR), pp. 180–186.
CFLP-1987-BoscoGM #semantics #unification
Refined Strategies for Semantic Unification (PGB, EG, CM), pp. 276–290.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.