CORR 2010 | Sciweavers

38

CORR
2010
Springer

116views Education» more CORR 2010»

Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis

13 years 11 months ago

Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...

Musab AlTurki, José Meseguer

claim paper

Read More »

13

click to vote

CORR
2010
Springer

60views Education» more CORR 2010»

Contracting the Facebook API

13 years 11 months ago

Download www.cs.ucsb.edu

Ben Rubinger, Tevfik Bultan

claim paper

Read More »

12

click to vote

CORR
2010
Springer

55views Education» more CORR 2010»

Structural Learning of Attack Vectors for Generating Mutated XSS Attacks

13 years 11 months ago

Download www.chmao.idv.tw

Yi-Hsun Wang, Ching-Hao Mao, Hahn-Ming Lee

claim paper

Read More »

12

click to vote

CORR
2010
Springer

56views Education» more CORR 2010»

A Monadic Formalization of ML5

13 years 11 months ago

Download www.cs.cmu.edu

Daniel R. Licata, Robert Harper

claim paper

Read More »

32

click to vote

CORR
2010
Springer

99views Education» more CORR 2010»

Pure Type Systems without Explicit Contexts

13 years 11 months ago

Download www.cs.ru.nl

We present an approach to type theory in which the typing judgments do not have explicit contexts. Instead of judgments of the shape A : B, our systems just have judgments of the ...

Herman Geuvers, Robbert Krebbers, James McKinna, F...

claim paper

Read More »

29

click to vote

CORR
2010
Springer

89views Education» more CORR 2010»

Closed nominal rewriting and efficiently computable nominal algebra equality

13 years 11 months ago