Sciweavers

153 search results - page 9 / 31

» entcs 2002

68

ENTCS
2002

80views more ENTCS 2002»

Strong Normalization with Singleton Types

14 years 10 months ago

Strong Normalization with Singleton Types

Download www.doc.ic.ac.uk

This paper presents a new lambda-calculus with singleton types, called {}. The main novelty of

Judicaël Courant

claim paper

Read More »

86

ENTCS
2002

93views more ENTCS 2002»

A Tool for Abstraction in Model Checking

14 years 10 months ago

A Tool for Abstraction in Model Checking

Download www.lcc.uma.es

or Abstraction in Model Checking Mar

María-del-Mar Gallardo, Jesús Mart&i...

claim paper

Read More »

44

ENTCS
2002

60views more ENTCS 2002»

Heuristic-driven Techniques for Test Case Selection

14 years 10 months ago

Heuristic-driven Techniques for Test Case Selection

Download www-gti.det.uvigo.es

Juan C. Burguillo-Rial, Martín Llamas Nista...

claim paper

Read More »

71

ENTCS
2002

85views more ENTCS 2002»

Dynamic Event Generation for Runtime Checking using the JDI

14 years 10 months ago

Dynamic Event Generation for Runtime Checking using the JDI

Download csd.informatik.uni-oldenburg.de

Approaches to runtime checking have to track the execution of a software system and therefore have to deal with generating and processing execution events. Often these techniques ...

Mark Brörkens, Michael Möller

claim paper

Read More »

54

ENTCS
2002

66views more ENTCS 2002»

Unique, guarded fixed points in an additive setting: Extended Abstract

14 years 10 months ago

Unique, guarded fixed points in an additive setting: Extended Abstract

Download www.cs.stevens.edu

Abstract Stephen L. Bloom Department of Computer Science Stevens Institute of Technology Hoboken, NJ 07030 and Zolt

Stephen L. Bloom, Zoltán Ésik

claim paper

Read More »

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