ENTCS 2006 | Sciweavers

14

ENTCS
2006

169views more ENTCS 2006»

Constructing Induction Rules for Deductive Synthesis Proofs

13 years 4 months ago

We describe novel computational techniques for constructing induction rules for deductive synthesis proofs. Deductive synthesis holds out the promise of automated construction of ...

Alan Bundy, Lucas Dixon, Jeremy Gow, Jacques D. Fl...

claim paper

Read More »

5

click to vote

ENTCS
2006

131views more ENTCS 2006»

Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names

13 years 4 months ago

Download www.itu.dk

Mikkel Bundgaard, Thomas T. Hildebrandt

claim paper

Read More »

12

click to vote

ENTCS
2006

89views more ENTCS 2006»

A Type-theoretic Reconstruction of the Visitor Pattern

13 years 4 months ago

Download www.cs.bham.ac.uk

In object-oriented languages, the Visitor pattern can be used to traverse tree-like data structures: a visitor object contains some operations, and the data structure objects allo...

Peter Buchlovsky, Hayo Thielecke

claim paper

Read More »

15

click to vote

ENTCS
2006

189views more ENTCS 2006»

Variables as Resource for Shared-Memory Programs: Semantics and Soundness

13 years 4 months ago

Download www.cs.cmu.edu

Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program variables are treated as resource, generalizing earlier work based on separati...

Stephen D. Brookes

claim paper

Read More »

6

click to vote

ENTCS
2006

89views more ENTCS 2006»

A Grainless Semantics for Parallel Programs with Shared Mutable Data

13 years 4 months ago

Download www.cs.cmu.edu

Stephen Brookes

claim paper

Read More »

8

click to vote

ENTCS
2006

151views more ENTCS 2006»

Stochastic Simulation Methods Applied to a Secure Electronic Voting Model

13 years 4 months ago

Download homepages.inf.ed.ac.uk

We demonstrate a novel simulation technique for analysing large stochastic process algebra models, applying this to a secure electronic voting system example. By approximating the...

Jeremy T. Bradley, Stephen T. Gilmore

claim paper

Read More »

5

click to vote

ENTCS
2006

129views more ENTCS 2006»

From Coalition Logic to STIT

13 years 4 months ago

Download www.irit.fr

Jan Broersen, Andreas Herzig, Nicolas Troquard

claim paper

Read More »

9

click to vote

ENTCS
2006

96views more ENTCS 2006»

Weighted Timed Automata: Model-Checking and Games

13 years 4 months ago

Download www.lsv.ens-cachan.fr

In this paper, we present weighted/priced timed automata, an extension of timed automaton with costs, and solve several interesting problems on that model. Key words: Weighted/pri...

Patricia Bouyer

claim paper

Read More »

16

click to vote

ENTCS
2006

153views more ENTCS 2006»

Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus

13 years 4 months ago

Download www.itu.dk

We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic / linear type theory with fixed points, and show,...

Lars Birkedal, Rasmus Ejlers Møgelberg, Ras...

claim paper

Read More »

15

click to vote

ENTCS
2006

104views more ENTCS 2006»

Using Bytecode Instruction Counting as Portable CPU Consumption Metric

13 years 4 months ago

Download www.inf.usi.ch

Accounting for the CPU consumption of applications is crucial for software development to detect and remove performance bottlenecks (profiling) and to evaluate the performance of ...

Walter Binder, Jarle Hulaas

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers