397 search results - page 39 / 80 » The Kell Calculus: Operational Semantics and Type System |
PODS
2008
ACM
14 years 7 months ago
2008
ACM
We present a formal framework for capturing the provenance of data appearing in XQuery views of XML. Building on previous work on relations and their (positive) query languages, w...
ICFP
2003
ACM
14 years 7 months ago
2003
ACM
This paper presents a static type system for JAVA Virtual Machine (JVM) code that enforces an access control mechanism similar to the one found, for example, in a JAVA implementat...
ICFP
2009
ACM
14 years 8 months ago
2009
ACM
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...
LICS
1994
IEEE
13 years 11 months ago
1994
IEEE
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
Next-generation software engineering is envisioned as a computational discipline that complements human capability through automated computation of software behavior and propertie...