Sciweavers

45 search results - page 3 / 9

» fac 2006

9

FAC
2006

67views more FAC 2006»

Tank monitoring: a pAMN case study

13 years 4 months ago

Tank monitoring: a pAMN case study

Download www.computing.surrey.ac.uk

Steve Schneider, Thai Son Hoang, Ken Robinson, Hel...

claim paper

Read More »

10

FAC
1998

68views more FAC 1998»

Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning

13 years 4 months ago

Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning

Download www.cs.cmu.edu

Jürgen Dingel, David Garlan, Somesh Jha, Davi...

claim paper

Read More »

11

FAC
2000

76views more FAC 2000»

Natural Semantics-Directed Generation of Compilers and Abstract Machines

13 years 4 months ago

Natural Semantics-Directed Generation of Compilers and Abstract Machines

Download rw4.cs.uni-sb.de

s and Abstract Machines Stephan Diehl Universit

Stephan Diehl

claim paper

Read More »

17

FAC
2007

121views more FAC 2007»

On assertion-based encapsulation for object invariants and simulations

13 years 4 months ago

On assertion-based encapsulation for object invariants and simulations

Download www.cs.stevens.edu

In object-oriented programming, reentrant method invocations and shared references make it difﬁcult to achieve adequate encapsulation for sound modular reasoning. This tutorial p...

David A. Naumann

claim paper

Read More »

13

FAC
2002

79views more FAC 2002»

A New Approach to Abstract Syntax with Variable Binding

13 years 4 months ago

A New Approach to Abstract Syntax with Variable Binding

Download www.cl.cam.ac.uk

proach to Abstract Syntax with Variable Binding1 Murdoch J. Gabbay and Andrew M. Pitts Cambridge University Computer Laboratory, Cambridge, UK

Murdoch Gabbay, Andrew M. Pitts

claim paper

Read More »

« Prev « First page 3 / 9 Last » Next »