Sciweavers

636 search results - page 35 / 128
» Operational Semantics for Functional Logic Languages
Sort
View
INFORMATICALT
2000
108views more  INFORMATICALT 2000»
15 years 3 months ago
Theoretical Foundations of an Environment-Based Multiparadigm Language
The paper presents a simple programming language and rewriting system called GENS. It is based on an extension of the -calculus called E-calculus. GENS is a multiparadigm language:...
Mario Blazevic, Zoran Budimac, Mirjana Ivanovic
KBS
2007
85views more  KBS 2007»
15 years 3 months ago
DR-BROKERING: A semantic brokering system
In this paper we study the brokering and matchmaking problem, that is, how a requester’s requirements and preferences can be matched against a set of offerings collected by a bro...
Grigoris Antoniou, Thomas Skylogiannis, Antonis Bi...
116
Voted
PPDP
2007
Springer
15 years 9 months ago
Real-time rewriting semantics of orc
Orc is a language proposed by Jayadev Misra [19] for orchestration of distributed services. Orc is very simple and elegant, based on a few basic constructs, and allows succinct an...
Musab AlTurki, José Meseguer
255
Voted
ICFP
2009
ACM
16 years 4 months ago
Safe functional reactive programming through dependent types
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchr...
Neil Sculthorpe, Henrik Nilsson
156
Voted
POPL
2012
ACM
13 years 11 months ago
Higher-order functional reactive programming in bounded space
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...
Neelakantan R. Krishnaswami, Nick Benton, Jan Hoff...