Sciweavers

3342 search results - page 12 / 669

» Automating Abstract Interpretation

92

LICS
1999
IEEE

82views Automated Reasoning» more LICS 1999»

A New Approach to Abstract Syntax Involving Binders

15 years 7 months ago

A New Approach to Abstract Syntax Involving Binders

Download www.gabbay.org.uk

Murdoch Gabbay, Andrew M. Pitts

claim paper

Read More »

93

FLOPS
1999
Springer

81views Automated Reasoning» more FLOPS 1999»

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

15 years 7 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 »

83

TIME
1998
IEEE

77views Automated Reasoning» more TIME 1998»

Model-Based Visualization of Temporal Abstractions

15 years 7 months ago

Model-Based Visualization of Temporal Abstractions

Download www.ise.bgu.ac.il

Yuval Shahar, Cleve Cheng

claim paper

Read More »

105

LICS
1997
IEEE

101views Automated Reasoning» more LICS 1997»

A Logic for Reasoning with Higher-Order Abstract Syntax

15 years 7 months ago

A Logic for Reasoning with Higher-Order Abstract Syntax

Download www.lix.polytechnique.fr

Raymond McDowell, Dale Miller

claim paper

Read More »

98

LICS
1996
IEEE

95views Automated Reasoning» more LICS 1996»

Order-Incompleteness and Finite Lambda Models (Extended Abstract)

15 years 7 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 »