Paper Info
Title
Lambda expressions in casl architectural specifications
Abstract
Casl architectural specifications provide a way to specify the structure of the implementations of software systems. Their semantics has been introduced in two manners: the first is purely model-theoretic and the second attempts to discharge model semantics conditions statically based on a diagram of dependencies between components (extended static semantics). In the case of lambda expressions, which are used to define the way generic units are built, the two semantics do not agree. We present a number of situations of practical importance when the current situation is unsatisfactory and propose a series of changes to the extended static semantics to remedy this.
Year
DOI
Venue
2010
10.1007/978-3-642-28412-0_8
WADT
Keywords
Field
DocType
software system,casl architectural specification,practical importance,generic unit,extended static semantics,lambda expression,current situation,model semantics condition
Operational semantics,Programming language,Expression (mathematics),Computer science,Denotational semantics,Algorithm,Diagram,Theoretical computer science,Software system,Implementation,Semantics,Well-founded semantics
Conference
Citations 
PageRank 
References 
2
0.39
8
Authors
1
Name
Order
Citations
PageRank
Mihai Codescu18912.58