Formal Aspects of Computing

Known as: FAC

Formal Aspects of Computing (FAC) is a peer-reviewed scientific journal published by Springer Science+Business Media, covering the area of formal…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2016

2010

We discuss the implementation of a bounded context switching algorithm in the Spin model checker. The algorithm allows us to find…

2005

Analysing cerebral MRA (magnetic resonance angiography) is a hard task for radiologists, because of the large size of the data…

2002

References [1] Martyn Thomas. Development methods for trusted computer systems. Formal Aspects of Computing, 1(1):5–18, 1989. [2…

1996

Languages with programmer-visible stacks (stack-based languages) are used widely, as intermediate languages (e.g., JavaVM, FCode…

1996

We propose an approach to compare descriptions of software architectures based on the CHAM formalism. The need to compare…

1996

Objects can be viewed as entities reacting to their environment through the sending and receiving of messages. In this paper a…

1995

A number of lattice-theoretic fixed point rules are generalised to category theory and applied to the construction of…

1992

1 Introduction

1992

In this thesis, the refinement calculus is extended to support a variety of object-oriented programming styles. The late binding…