Sciweavers

4139 search results - page 235 / 828
» Designing and Implementing Combinator Languages
Sort
View
ICFP
2006
ACM
16 years 4 months ago
From structures and functors to modules and units
t programming techniques encourage abstraction and reuse through external linking. Some parts of a program, however, must use concrete, internally specified references, so a pure ...
Scott Owens, Matthew Flatt
ESOP
2007
Springer
15 years 10 months ago
A Calculus for Orchestration of Web Services
We introduce COWS (Calculus for Orchestration of Web Services), a new foundational language for SOC whose design has been influenced by WS-BPEL, the de facto standard language for...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
DBPL
1991
Springer
66views Database» more  DBPL 1991»
15 years 8 months ago
Rationale and Design of BULK
BULK is a very-high-level persistent programming language and environment for prototyping and implementing database applications. BULK provides sets and sequences as primitive typ...
Steve Rozen, Dennis Shasha
128
Voted
EWCBR
2004
Springer
15 years 8 months ago
Using CBR for Semantic Analysis of Software Specifications
Abstract. Helping software designers in their task implies the development of tools with intelligent capabilities. One such capability is the integration of natural language unders...
Nuno Seco, Paulo Gomes, Francisco C. Pereira
ICWE
2004
Springer
15 years 10 months ago
A Framework for the Simulation of Web Applications
Abstract. In recent years numerous Web application modeling languages have been developed and others improved. There has, however, been little research on how these languages may b...
Pedro Peixoto, K. K. Fung, David Lowe