Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
In the actual business world, companies rely more and more on workflows to model the core of their business processes. In this… Expand
  • figure 2.1
  • figure 3.1
  • figure 3.2
  • figure 4.1
  • figure 4.3
2013
2013
This journal aims to publish contributions at the junction of theory and practice. The objective is to disseminate applicable… Expand
2006
2006
Refactorings change the internal structure of code without changing its external behavior. For non-trivial refactorings, the… Expand
  • table 1
2005
2005
Analysing cerebral MRA (magnetic resonance angiography) is a hard task for radiologists, because of the large size of the data… Expand
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… Expand
  • figure 1
  • figure 3
  • figure 4
  • table 1
  • table 2
Highly Cited
2000
Highly Cited
2000
Following earlier models, we lift standard deterministic and nondeterministic semantics of imperative programs to probabilistic… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
1996
1996
Languages with programmer-visible stacks (stack-based languages) are used widely, as intermediate languages (e.g., JavaVM, FCode… Expand
  • figure 3.6
  • figure 4.8
Highly Cited
1996
Highly Cited
1996
Les systemes communicants mettent en jeu des objets potentiellement infinis (boucles d'interaction, listes de donnees infinies… Expand
1991
1991
We extend the real time process algebra of [BB91] to real space-time process algebra, where actions are not just parametrized by… Expand
1989
1989
We formulate a logical description of the functional programming language Miranda. Distinctive features include a full treatment… Expand