Sciweavers

959 search results - page 33 / 192
» Fundamental Concepts in Programming Languages
Sort
View
FCA
2005
Springer
201views Formal Methods» more  FCA 2005»
14 years 2 months ago
A Survey of Formal Concept Analysis Support for Software Engineering Activities
Formal Concept Analysis (FCA) has typically been applied in the field of software engineering to support software maintenance and object-oriented class identification tasks. This...
Thomas Tilley, Richard Cole, Peter Becker 0002, Pe...
ECOOP
2008
Springer
13 years 10 months ago
Runtime Adaptations within the QuaD2-Framework
Abstract The importance of providing integration architectures in every field of application is beyond controversy these days. Unfortunately, existing solutions are focusing mainly...
Steffen Mencke, Martin Kunz, Mario Pukall
JFP
2002
116views more  JFP 2002»
13 years 8 months ago
Recursive subtyping revealed
Algorithms for checking subtyping between recursive types lie at the core of many programming language implementations. But the fundamental theory of these algorithms and how they...
Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pi...
SIGPLAN
2008
13 years 8 months ago
Addressing the disconnect between the good and the popular
For several decades universities have taught programming languages as a fundamental part of their undergraduate curriculum. These courses cover the core topics used in the design ...
Michael Hind
JLP
2007
89views more  JLP 2007»
13 years 8 months ago
Universality and semicomputability for nondeterministic programming languages over abstract algebras
tract Algebras Wei Jiang∗ , Yuan Wang† , and Jeffery Zucker‡ September 11, 2006 The Universal Function Theorem (UFT) originated in 1930s with the work of Alan Turing, who p...
Wei Jiang, Yuan Wang, Jeffery I. Zucker