5 citations · 12 across the 14 of their papers we have counts for
11 papers · 1 filter
A Framework for Creating Natural Language User Interfaces for Action-Based Applications
Stephen Chong, Riccardo Pucella
In this paper we present a framework for creating natural language interfaces to action-based applications. Our framework uses a number of reusable application-independent componen…
Logic Column 10: Specifying Confidentiality
Riccardo Pucella
This article illustrates the use of a logical specification language to capture various forms of confidentiality properties used in the security literature.
A Coalgebraic Approach to Kleene Algebra with Tests
Hubie Chen, Riccardo Pucella
Kleene algebra with tests is an extension of Kleene algebra, the algebra of regular expressions, which can be used to reason about programs. We develop a coalgebraic theory of Klee…
On the Expressive Power of First-Order Boolean Functions in PCF
Riccardo Pucella, Prakash Panangaden
Recent results of Bucciarelli show that the semilattice of degrees of parallelism of first-order boolean functions in PCF has both infinite chains and infinite antichains. By consi…
A Framework for Interoperability
Kathleen Fisher, Riccardo Pucella, John Reppy
Practical implementations of high-level languages must provide access to libraries and system services that have APIs specified in a low-level language (usually C). An important ch…
Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel
Riccardo Pucella, Erik Meijer, Dino Oliva
A useful programming language needs to support writing programs that take advantage of services and communication mechanisms supplied by the operating system. We examine the proble…