Search Sciweavers | Sciweavers

21 search results - page 1 / 5

» lisp 2007

click to vote

LISP
2007

45views more LISP 2007»

State-transition machines, revisited

13 years 4 months ago

Download santos.cis.ksu.edu

David A. Schmidt

claim paper

Read More »

click to vote

LISP
2007

73views more LISP 2007»

A call-by-name lambda-calculus machine

13 years 4 months ago

Download www.pps.jussieu.fr

Jean-Louis Krivine

claim paper

Read More »

click to vote

LISP
2007

54views more LISP 2007»

Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols

13 years 4 months ago

Download osl.cs.uiuc.edu

José Meseguer, Prasanna Thati

claim paper

Read More »

click to vote

LISP
2007

52views more LISP 2007»

Semantics and pragmatics of Real-Time Maude

13 years 4 months ago

Download www.ifi.uio.no

Peter Csaba Ölveczky, José Meseguer

claim paper

Read More »

click to vote

LISP
2007

59views more LISP 2007»

A proof-theoretic foundation of abortive continuations

13 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers