ENTCS 2007 | Sciweavers

17

ENTCS
2007

99views more ENTCS 2007»

13 years 5 months ago

A model characterising strong normalisation for Klop’s extension of λ-calculus is presented. The main technical tools for this result are an inductive deﬁnition of strongly n...

Mariangiola Dezani-Ciancaglini, Makoto Tatsuta

claim paper

Read More »

12

click to vote

ENTCS
2007

109views more ENTCS 2007»

Hybrid Logics and Ontology Languages

13 years 5 months ago

Download www.comlab.ox.ac.uk

Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications, they are perhaps best known as the basis for ...

Ian Horrocks, Birte Glimm, Ulrike Sattler

claim paper

Read More »

8

click to vote

ENTCS
2007

97views more ENTCS 2007»

A Process Algebra for Reasoning About Quantum Security

13 years 5 months ago

Download www.mscs.dal.ca

Pedro Adão, Paulo Mateus

claim paper

Read More »

11

click to vote

ENTCS
2007

102views more ENTCS 2007»

Selective Data Encryption in Outsourced Dynamic Environments

13 years 5 months ago

Download spdp.dti.unimi.it

The amount of information held by organizations’ databases is increasing very quickly. A recently proposed solution to the problem of data management, which is becoming increasi...

Ernesto Damiani, Sabrina De Capitani di Vimercati,...

claim paper

Read More »

4

click to vote

ENTCS
2007

104views more ENTCS 2007»

Automated Techniques for Surviving (Otherwise) Fatal Software Errors

13 years 5 months ago

Download people.csail.mit.edu

Martin C. Rinard

claim paper

Read More »

12

click to vote

ENTCS
2007

109views more ENTCS 2007»

Modular Structural Operational Semantics with Strategies

13 years 5 months ago

Download www.cse.unsw.edu.au

Strategies are a powerful mechanism to control rule application in rule-based systems. For instance, diﬀerent transition relations can be deﬁned and then combined by means of ...

Christiano Braga, Alberto Verdejo

claim paper

Read More »

13

click to vote

ENTCS
2007

161views more ENTCS 2007»

Bialgebraic Methods in Structural Operational Semantics: Invited Talk

13 years 5 months ago

Download www.cse.unsw.edu.au

Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational speciﬁcations. An extension of alg...

Bartek Klin

claim paper

Read More »

10

click to vote

ENTCS
2007

84views more ENTCS 2007»

An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications

13 years 5 months ago

Download www.cse.unsw.edu.au

Adrian Pop, Peter Fritzson

claim paper

Read More »

4

click to vote

ENTCS
2007

85views more ENTCS 2007»

Model-driven Transformation-based Generation of Java Stress Tests

13 years 5 months ago

Download faculty.ist.unomaha.edu

Victor L. Winter

claim paper

Read More »

9

click to vote

ENTCS
2007

91views more ENTCS 2007»

Rule-Based Operational Semantics for an Imperative Language

13 years 5 months ago

Download www.lix.polytechnique.fr

Operational semantics for programming languages usually come in two ﬂavours: big-step and small-step. Both are deﬁned using deduction rules with a congruence rule allowing redu...

Florent Kirchner, François-Régis Sin...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers