458 search results - page 46 / 92 » A Dependently Typed Assembly Language |
CTCS
1989
Springer
13 years 11 months ago
1989
Springer
The type-theoretic explanation of modules proposed to date (for programming languages like ML) is unsatisfactory, because it does not capture that evaluation of type-expressions i...
SEMCO
2009
IEEE
14 years 2 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
ECSQARU
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
ISSTA
2010
ACM
13 years 11 months ago
2010
ACM
Program control dependence has substantial impact on applications such as dynamic information flow tracking and data lineage tracing (a technique tracking the set of inputs that ...
TSE
2008
13 years 7 months ago
2008
Web applications are widely adopted and their correct functioning is mission critical for many businesses. At the same time, Web applications tend to be error prone and implementat...