Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540678984, 9783540446163

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Higher-Order Logic and Theorem Proving for Structured Specifications

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-540-44616-3_23 ◽

2000 ◽

pp. 401-418 ◽

Cited By ~ 8

Author(s):

Tomasz Borzyszkowski

Keyword(s):

Theorem Proving ◽

Higher Order ◽

Order Logic ◽

Higher Order Logic

Download Full-text

A General Completeness Result in Refinement

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-540-44616-3_12 ◽

2000 ◽

pp. 201-218 ◽

Cited By ~ 2

Author(s):

Yoshiki Kinoshita ◽

John Power

Keyword(s):

Completeness Result

Download Full-text

A Type-Theoretic Memory Model for Verification of Sequential Java Programs

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-540-44616-3_1 ◽

2000 ◽

pp. 1-21 ◽

Cited By ~ 13

Author(s):

Joachim van den Berg ◽

Marieke Huisman ◽

Bart Jacobs ◽

Erik Poll

Keyword(s):

Memory Model ◽

Java Programs

Download Full-text

The Rôle of Normalisation in Testing from Structured Algebraic Specifications

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-540-44616-3_26 ◽

2000 ◽

pp. 459-476 ◽

Cited By ~ 1

Author(s):

Patricia D. L. Machado

Keyword(s):

Algebraic Specifications

Download Full-text

Towards a Verification Logic for Rewriting Logic

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-540-44616-3_25 ◽

2000 ◽

pp. 438-458 ◽

Cited By ~ 7

Author(s):

José Luis Fiadeiro ◽

Tom Maibaum ◽

Narciso Martí-Oliet ◽

Jose Meseguer ◽

Isabel Pita

Keyword(s):

Rewriting Logic

Download Full-text

From States to Histories

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-540-44616-3_2 ◽

2000 ◽

pp. 22-36 ◽

Cited By ~ 3

Author(s):

Manfred Broy

Download Full-text

Realization of Probabilistic Automata: Categorical Approach

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-540-44616-3_14 ◽

2000 ◽

pp. 237-251 ◽

Cited By ~ 1

Author(s):

Paulo Mateus ◽

Amílcar Sernadas ◽

Cristina Sernadas

Keyword(s):

Categorical Approach ◽

Probabilistic Automata

Download Full-text

Specification Refinement with System F – The Higher-Order Case

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-540-44616-3_10 ◽

2000 ◽

pp. 162-181 ◽

Cited By ~ 1

Author(s):

Jo Erskine Hannay

Keyword(s):

Higher Order ◽

Order Case ◽

System F

Download Full-text

A Uniform Model Theory for the Specification of Data and Process Types

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-540-44616-3_20 ◽

2000 ◽

pp. 348-365 ◽

Cited By ~ 2

Author(s):

Horst Reichel

Keyword(s):

Model Theory ◽

Uniform Model

Download Full-text

Algebraic Specification of Operator-Based Multimedia Scenarios

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-540-44616-3_22 ◽

2000 ◽

pp. 383-400 ◽

Cited By ~ 1

Author(s):

Didier Bert ◽

Stéphane Lo Presti

Keyword(s):

Algebraic Specification

Download Full-text

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Higher-Order Logic and Theorem Proving for Structured Specifications

A General Completeness Result in Refinement

A Type-Theoretic Memory Model for Verification of Sequential Java Programs

The Rôle of Normalisation in Testing from Structured Algebraic Specifications

Towards a Verification Logic for Rewriting Logic

From States to Histories

Realization of Probabilistic Automata: Categorical Approach

Specification Refinement with System F – The Higher-Order Case

A Uniform Model Theory for the Specification of Data and Process Types

Algebraic Specification of Operator-Based Multimedia Scenarios

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science
Latest Publications