Filters








29,670 Hits in 6.0 sec

Algebraically specified programming systems and Hoare's logic [chapter]

J. A. Bergstra, J. V. Tucker
1981 Lecture Notes in Computer Science  
An obvious specification for N consists of the operator signature Z = {0~SUCC,PRED} and the set E of axioms PlIED(O) = 0 PRED(SUCC(X)) = X.  ...  semantically equivalent if, and only if, one can formally prove that t = t' from the axioms of E.  ...  Semantically, we model these languages by a pair [A~PROG(A)] wherein A is an algebra of signature E defined by the specification (Z,E), under initial algebra semantics, and PROG(A) is the set of all partial  ... 
doi:10.1007/3-540-10843-2_29 fatcat:qzni27m47zbkpdil5mip3coci4

A tiny constraint functional logic language and its continuation semantics [chapter]

Andy Mück, Thomas Streicher, Hendrik C. R. Lock
1994 Lecture Notes in Computer Science  
We present an extension of k-calculus by logical features and constraints, which yields a minimal core language for constraint functional logic programming.  ...  We prove soundness of the operational semantics w.r.t, the continuation semantics. Finally, we show how pure functional logic programs can be translated to this core language in a sound way.  ...  This work partially has been sponsored by the ESPRIT working group COMPASS.  ... 
doi:10.1007/3-540-57880-3_29 fatcat:4bpml24k4rahrneok64uo6tupq

An Algebraic Treatment of Recursion [article]

Rob van Glabbeek
2017 arXiv   pre-print
I review the three principal methods to assign meaning to recursion in process algebra: the denotational, the operational and the algebraic approach, and I extend the latter to unguarded recursion.  ...  Let guardedness be a criterion on recursive specifications, such that if S is guarded then is has a unique solution, meaning that if ρ i for i = 1, 2 are valuations with ρ 1 (Z) = ρ 2 (Z) for all Z ∈ Var  ...  The semantics of open terms can be dealt with by encoding the process graphs ρ(X ) for X ∈ Var as constants in an appropriate extension of the process algebra.  ... 
arXiv:1702.07838v1 fatcat:5op7xre2xbh4hozeiaewhdopuq

Formal Methods in Requirements Phase of SDLC

S. K.Pandey, Mona Batra
2013 International Journal of Computer Applications  
based on the specific requirements of an organization.  ...  Currently, there is an increasing demand for more rigorous and systematic approaches to develop security critical software systems across the globe.  ...  Algebraic Specification There are two basic languages relating to 'Algebraic Specification', which are given as follows: (a)OBJ OBJ is an algebraic programming and specification languages family introduced  ... 
doi:10.5120/12020-8017 fatcat:jnock2ajcbcgddqwo5nksnijty

The (algebraic) congruence of two programming language definitions

Clement A. Baker-Finch
1990 Science of Computer Programming  
In this paper we demonstrate an alternative proof technique that we believe is much simpler and more direct for cases involving an operational semantics.  ...  semantics of some programming language.  ...  For the language under consideration the base algebra B has signature Z with sorts Bas, Ide, Man, Dya 9 'kxp.  ... 
doi:10.1016/0167-6423(90)90059-m fatcat:uwikcpju6javvnhx5le36o5fkm

A Review of Object-Oriented Approaches in Formal Methods

A. Ruiz-Delgado
1995 Computer journal  
Formal languages such as Z, VDM and Lotos have been used extensively in academic environments and research projects; however, their utilization in the 'real world' is still relatively small.  ...  This paper presents a survey of recent approaches in the application of the object-oriented paradigm to formal specification.  ...  ACKNOWLEDGEMENTS The financial support provided to the first author by the European Commission through the research programme Human Capital and Mobility is acknowledged.  ... 
doi:10.1093/comjnl/38.10.777 fatcat:ls2fzkgannbrhn2qox7mrq2gye

Algebraic Framework for Synchronous Language Semantics

Daniel Gaffe, Annie Ressouche
2013 2013 International Symposium on Theoretical Aspects of Software Engineering  
We study multi-valued algebras as foundation for semantics definition and we show that a 4-valued algebra with a bilattice structure is well suited to our concern.  ...  In this article, we study several relevant algebraic frameworks to define synchronous language semantics. Synchronous languages are quite dedicated to design critical embedded applications.  ...  MULTI-VALUED ALGEBRAS FOR SYNCHRONOUS LANGUAGE SEMANTICS Behavioral semantics was first defined for Esterel.  ... 
doi:10.1109/tase.2013.15 dblp:conf/tase/GaffeR13 fatcat:wvpvv4cepfcrhbr3w3ioxznj5u

Semantic Specifications for Domain-Specific Modeling Languages

Gabor Simko
2013 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
In this paper, I propose an infrastructure based on a logic-based language called FORMULA [1] for the semantic specification of DSMLs.  ...  In this paper, I propose a logic-based infrastructure for the specification of Domain-Specific Modeling Languages (DSML).  ...  While Z is not executable, the formal specification provides an unambiguous guideline for automated code generation for their models.  ... 
dblp:conf/models/Simko13 fatcat:qhkocyssczezfc7h2qk3abikae

Page 5383 of Mathematical Reviews Vol. , Issue 94i [page]

1994 Mathematical Reviews  
Proofs for the clauses of the operational semantics are sketched citing the laws of the algebraic semantics of these languages.  ...  This paper con- centrates on the derivation of an operational semantics from an algebraic semantics.  ... 

Page 264 of Mathematical Reviews Vol. , Issue 85a [page]

1985 Mathematical Reviews  
(D-BRNS) An operational semantics for specifications of abstract data types with error handling. Acta Inform. 19 (1983), no. 3, 235-253.  ...  algebra semantics.  ... 

Page 7818 of Mathematical Reviews Vol. , Issue 97M [page]

1997 Mathematical Reviews  
The algebraic semantics described in this book comes from the development of algebraic specifications for abstract data types.  ...  The next step in the development of algebraic specifications for abstract data types was to consider the “loose” semantics, namely the class of all models of a given algebraic specification.  ... 

Integration of Formal Datatypes within State Diagrams [chapter]

Christian Attiogbé, Pascal Poizat, Gwen Salaün
2003 Lecture Notes in Computer Science  
It also may take into account different semantics for the state diagrams.  ...  The dynamic aspects may be expressed using state diagrams (such as UML or SDL ones) and the static aspects may be expressed using either algebraic specifications or state oriented specifications (such  ...  However, a strong mix of constructs from several languages (such as importing a Z module within an algebraic specification, or using algebraic specification variables in a Z operation application) is prohibited  ... 
doi:10.1007/3-540-36578-8_24 fatcat:36474wa3wfcwzaizexvn22h5eq

A framework for geometric constraint satisfaction problem

Julien Wintz, Pascal Schreck, Pascal Mathis
2006 Proceedings of the 2006 ACM symposium on Applied computing - SAC '06  
In the spirit of algebraic specifications, it constitutes a framework to accompany a geometric problem from its expression to its solution.  ...  Pragmatically, this metalanguage is based upon XML which is a language of terminology description, and allows to embed other terminologies to express different semantics.  ...  For instance, one can provide an algebraic semantic like equations or a symbolic one like degrees of freedom of sorts for unknown variables and degrees of restriction of relational symbols for constraints  ... 
doi:10.1145/1141277.1141509 dblp:conf/sac/WintzSM06 fatcat:4eikc3ghmbc4znzzkd3r6hoy2i

A case study of abstract implementations and their correctness [chapter]

H. Ehrig, H. -J. Kreowski, P. Padawitz
1980 Lecture Notes in Computer Science  
A new implementation concept for algebraic specification languages supports hierarchical programming mainly because it provides a semantical basis for correctness proofs.  ...  Although the syntax of such an implementation always supplies a "freely generated" semantics, the concept also admits the use of other (algebraic) models which often ease correctness proofs.  ...  Nevertheless specification languages have a precise syntax and thus provide the basis for an unambiguous semantics of specifications.  ... 
doi:10.1007/3-540-09981-6_8 fatcat:ks274mtmezbtjam2ls3tsdadjq

Structured algebraic specifications: A Kernel language

Martin Wirsing
1986 Theoretical Computer Science  
A language called ASL for describing structured algebraic specifications is presented. ASL is a declarative higher-order language.  ...  The presentation semantics is used for showing the existence of a complete (semiformal) proof system for specifications, whereas the model class semantics is fully abstract with respect to specification  ...  I am also indebted to all my other academic teachers, particularly to Kurt Schiitte, for their often stimulating lectures and for showing me the right way through the difficulties of mathematics.  ... 
doi:10.1016/0304-3975(86)90051-4 fatcat:kowsnd4ngfhelfoxxr7nn5l6za
« Previous Showing results 1 — 15 out of 29,670 results