Search Sciweavers | Sciweavers

177 search results - page 2 / 36

» Higher-Order Abstract Non-interference

click to vote

POPL
1992
ACM

194views Programming Languages» more POPL 1992»

Abstract Semantics for a Higher-Order Functional Language with Logic Variables

13 years 9 months ago

Download iss.ices.utexas.edu

Semantics for a Higher-Order Functional Language with Logic Variables Radha Jagadeesan Imperial College, London, UK SW7 2BZ. Keshav Pingali Cornell University, Ithaca, NY 14853. A...

Radha Jagadeesan, Keshav Pingali

claim paper

Read More »

click to vote

ITP
2010

152views Mathematics» more ITP 2010»

Higher-Order Abstract Syntax in Isabelle/HOL

13 years 3 months ago

Download www.cs.utexas.edu

rder Abstract Syntax in Isabelle/HOL Douglas J. Howe Carleton University July 13, 2010 Douglas J. Howe (Carleton University) HOAS in Isabelle/HOL July 13, 2010 1 / 8

Douglas J. Howe

claim paper

Read More »

click to vote

ICFP
2003
ACM

102views Programming Languages» more ICFP 2003»

Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax

14 years 4 months ago