Prototyping Processes

Prototyping Processes (1999)

by L.S. Barbosa

Venue:	Proc. of AGP'99 - Joint Conference on Declarative Programming
Citations:	2 - 2 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Prototyping Processes	user correction - Legacy Corrections
AUTHOR NAME	L.S. Barbosa	user correction - Legacy Corrections
ABSTRACT	Construction and observation are two basic notions in Computer Science corresponding to precise dual mathematical concepts: those of algebra and coalgebra. This paper introduces a simple coalgebraic model for concurrent processes and discusses its animation in the declarative language Charity. It is argued that the ability to reason in an uniform way about data and behaviour, provides an unifying approach to functional prototyping of software specifications. Keywords: Coalgebraic models, prototyping, higher-order programming. 1	user correction - Legacy Corrections
YEAR	1999	INFERENCE
VENUE	Proc. of AGP'99 - Joint Conference on Declarative Programming	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	513--527	INFERENCE
TECH	PhD thesis	INFERENCE
CITATIONS	27 found	ParsCit 1.0