Sciweavers

3342 search results - page 12 / 669

» Automating Abstract Interpretation

29

LICS
1999
IEEE

82views Automated Reasoning» more LICS 1999»

A New Approach to Abstract Syntax Involving Binders

14 years 2 months ago

A New Approach to Abstract Syntax Involving Binders

Download www.gabbay.org.uk

Murdoch Gabbay, Andrew M. Pitts

claim paper

Read More »

27

FLOPS
1999
Springer

81views Automated Reasoning» more FLOPS 1999»

The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code

14 years 2 months ago

The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code

Download www.pllab.riec.tohoku.ac.jp

Atsushi Ohori

claim paper

Read More »

27

TIME
1998
IEEE

77views Automated Reasoning» more TIME 1998»

Model-Based Visualization of Temporal Abstractions

14 years 2 months ago

Model-Based Visualization of Temporal Abstractions

Download www.ise.bgu.ac.il

Yuval Shahar, Cleve Cheng

claim paper

Read More »

31

LICS
1997
IEEE

101views Automated Reasoning» more LICS 1997»

A Logic for Reasoning with Higher-Order Abstract Syntax

14 years 2 months ago

A Logic for Reasoning with Higher-Order Abstract Syntax

Download www.lix.polytechnique.fr

Raymond McDowell, Dale Miller

claim paper

Read More »

28

LICS
1996
IEEE

95views Automated Reasoning» more LICS 1996»

Order-Incompleteness and Finite Lambda Models (Extended Abstract)

14 years 2 months ago

Order-Incompleteness and Finite Lambda Models (Extended Abstract)

Download www.mathstat.dal.ca

Peter Selinger

claim paper

Read More »

« Prev « First page 12 / 669 Last » Next »