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
1 × Spain
2 × Canada
2 × USA
Collaborated with:
J.Andreoli D.Miller F.A.Fontana F.Formato N.S.Glance D.Pagani T.Castagnetti L.L.Thomsen B.Thomsen
Talks about:
process (3) linear (3) logic (3) structur (2) communic (2) program (2) grammar (2) concurr (2) represent (1) interpret (1)

Person: Remo Pareschi

DBLP DBLP: Pareschi:Remo

Facilitated 1 volumes:

ECOOP 1994Ed

Contributed to:

KEOD 20102010
CSCW 19961996
ILPS 19931993
OOPSLA 19911991
ICLP 19901990
OOPSLA 19901990

Wrote 8 papers:

KEOD-2010-FontanaFP #co-evolution #community #information management #ontology
Ontologies and Communities Co-evolution in Information Systems (FAF, FF, RP), pp. 453–458.
CSCW-1996-GlancePP #flexibility #process
Generalized Process Structure Grammars GPSG for Flexible Representations of Work (NSG, DP, RP), pp. 180–189.
ILPS-1993-AndreoliCP #abstract interpretation #linear #logic programming
Abstract Interpretation of Linear Logic Programming (JMA, TC, RP), pp. 295–314.
OOPSLA-1991-AndreoliP #communication #information management
Communication as Fair Distribution of Knowledge (JMA, RP), pp. 212–229.
CLP-1990-AndreoliP90 #inheritance #linear #logic #process
Linear Objects in a Logic Processes with Built-in Inheritance (JMA, RP), pp. 495–510.
CLP-1990-PareschiM90 #definite clause grammar
Extending Definite Clause Grammars with Scoping Constructs (RP, DM), pp. 373–389.
OOPSLA-ECOOP-1990-AndreoliP #concurrent #exclamation #process
LO and Behold! Concurrent Structured Processes (JMA, RP), pp. 44–56.
TAPSOFT-1993-AndreoliLPT #communication #concurrent #linear #logic programming #programming language #semantics
True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication (JMA, LLT, RP, BT), pp. 182–198.

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.