Formal Methods in Programming and Their Applications - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

27

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer-Verlag

354057316x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Parsing in Isbes

Formal Methods in Programming and Their Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0039724 ◽

2006 ◽

pp. 423-433

Author(s):

Eerke A. Boiten

Download Full-text

An approach to parameterized first-order specifications: Semantics, correctness, parameter passing

Formal Methods in Programming and Their Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0039701 ◽

2006 ◽

pp. 67-80

Author(s):

Wolfgang Reif

Keyword(s):

First Order ◽

Parameter Passing

Download Full-text

A unique formalism for specifying and designing objects in a parallel environment

Formal Methods in Programming and Their Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0039714 ◽

2006 ◽

pp. 267-280

Author(s):

J. P. Bahsoun ◽

C. Servieres ◽

C. Seguin

Keyword(s):

Parallel Environment

Download Full-text

Algebraic properties of loop invariants

Formal Methods in Programming and Their Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0039700 ◽

2006 ◽

pp. 57-66

Author(s):

Gerald Futschek

Keyword(s):

Algebraic Properties

Download Full-text

Functional development of massively parallel programs

Formal Methods in Programming and Their Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0039710 ◽

2006 ◽

pp. 217-238 ◽

Author(s):

Peter Pepper ◽

Jürgen Exner ◽

Mario Südholt

Keyword(s):

Parallel Programs ◽

Massively Parallel ◽

Functional Development

Download Full-text

Algebraic calculation of graph and sorting algorithms

Formal Methods in Programming and Their Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0039722 ◽

2006 ◽

pp. 394-413 ◽

Author(s):

Bernhard Möller

Keyword(s):

Sorting Algorithms ◽

Algebraic Calculation

Download Full-text

Automatical synthesis of programs with recursions

Formal Methods in Programming and Their Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0039723 ◽

2006 ◽

pp. 414-422

Author(s):

Anatolij P. Beltiukov

Download Full-text

Communication as unification in process algebras: Operational semantics

Formal Methods in Programming and Their Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0039709 ◽

2006 ◽

pp. 190-216

Author(s):

Philippe Jorrand

Keyword(s):

Operational Semantics ◽

Process Algebras

Download Full-text

On the smooth calculation of relational recursive expressions out of first-order non-constructive specifications involving quantifiers

Formal Methods in Programming and Their Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0039715 ◽

2006 ◽

pp. 281-298 ◽

Author(s):

Armando M. Haeberer ◽

Gabriel A. Baum ◽

Gunther Schmidt

Keyword(s):

Download Full-text

Analysis of some semantic properties for programs of the applicative language AL

Formal Methods in Programming and Their Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0039708 ◽

2006 ◽

pp. 181-189

Author(s):

V. Sabelfeld

Keyword(s):

Applicative Language ◽

Semantic Properties

Download Full-text