Sciweavers

10575 search results - page 21 / 2115

» T2Script Programming Language

67

POPL
2001
ACM

104views Programming Languages» more POPL 2001»

Stratified operational semantics for safety and correctness of the region calculus

14 years 8 months ago

Stratified operational semantics for safety and correctness of the region calculus

Download www.doc.ic.ac.uk

Cristiano Calcagno

claim paper

Read More »

68

POPL
2001
ACM

120views Programming Languages» more POPL 2001»

Modules, abstract types, and distributed versioning

14 years 8 months ago

Modules, abstract types, and distributed versioning

Download www.cl.cam.ac.uk

Peter Sewell

claim paper

Read More »

23

ICFP
2008
ACM

114views Programming Languages» more ICFP 2008»

Parametric higher-order abstract syntax for mechanized semantics

14 years 8 months ago

Parametric higher-order abstract syntax for mechanized semantics

Download adam.chlipala.net

Adam J. Chlipala

claim paper

Read More »

16

ICFP
2008
ACM

116views Programming Languages» more ICFP 2008»

Deciding kCFA is complete for EXPTIME

14 years 8 months ago

Deciding kCFA is complete for EXPTIME

Download www.ccs.neu.edu

David Van Horn, Harry G. Mairson

claim paper

Read More »

29

ICFP
2007
ACM

149views Programming Languages» more ICFP 2007»

Compiling with continuations, continued

14 years 8 months ago

Compiling with continuations, continued

Download research.microsoft.com

Andrew Kennedy

claim paper

Read More »

« Prev « First page 21 / 2115 Last » Next »