Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
This journal aims to publish contributions at the junction of theory and practice. The objective is to disseminate applicable… 
2008
2008
We present a Unifying Theories of Programming (UTP) model of locations, where a location is either shareable or containable… 
2005
2005
Analysing cerebral MRA (magnetic resonance angiography) is a hard task for radiologists, because of the large size of the data… 
2005
2005
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic… 
Highly Cited
2003
Highly Cited
2003
We present and evaluate an automatic tool for extracting algebraic specifications from Java classes. Our tool maps a Java class… 
Highly Cited
2000
Highly Cited
2000
Following earlier models, we lift standard deterministic and nondeterministic semantics of imperative programs to probabilistic… 
1999
1999
The interface specification of a procedure describes the procedure’s behaviour using preand postconditions. These preand… 
1996
1996
Languages with programmer-visible stacks (stack-based languages) are used widely, as intermediate languages (e.g., JavaVM, FCode… 
Highly Cited
1996
Highly Cited
1996
Les systemes communicants mettent en jeu des objets potentiellement infinis (boucles d'interaction, listes de donnees infinies… 
1992
1992
In this thesis, the refinement calculus is extended to support a variety of object-oriented programming styles. The late binding…