Sciweavers

CORR
2010
Springer
116views Education» more  CORR 2010»
13 years 3 months ago
Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis
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
CORR
2010
Springer
60views Education» more  CORR 2010»
13 years 3 months ago
Contracting the Facebook API
Ben Rubinger, Tevfik Bultan
CORR
2010
Springer
55views Education» more  CORR 2010»
13 years 3 months ago
Structural Learning of Attack Vectors for Generating Mutated XSS Attacks
Yi-Hsun Wang, Ching-Hao Mao, Hahn-Ming Lee
CORR
2010
Springer
56views Education» more  CORR 2010»
13 years 3 months ago
A Monadic Formalization of ML5
Daniel R. Licata, Robert Harper
CORR
2010
Springer
99views Education» more  CORR 2010»
13 years 3 months ago
Pure Type Systems without Explicit Contexts
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...
CORR
2010
Springer
89views Education» more  CORR 2010»
13 years 3 months ago
Closed nominal rewriting and efficiently computable nominal algebra equality
Maribel Fernández, Murdoch James Gabbay
CORR
2010
Springer
43views Education» more  CORR 2010»
13 years 3 months ago
Explicit Substitutions for Contextual Type Theory
Andreas Abel, Brigitte Pientka