Sciweavers

153 search results - page 9 / 31

» entcs 2002

107

ENTCS
2002

80views more ENTCS 2002»

Strong Normalization with Singleton Types

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

128

ENTCS
2002

93views more ENTCS 2002»

A Tool for Abstraction in Model Checking

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

71

ENTCS
2002

60views more ENTCS 2002»

Heuristic-driven Techniques for Test Case Selection

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

125

ENTCS
2002

85views more ENTCS 2002»

Dynamic Event Generation for Runtime Checking using the JDI

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

95

ENTCS
2002

66views more ENTCS 2002»

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

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