Sciweavers

959 search results - page 88 / 192
» Fundamental Concepts in Programming Languages
Sort
View
ACSC
2007
IEEE
15 years 10 months ago
Dynamic Measurement of Polymorphism
Measuring "reuse" and "reusability" is difficult because there are so many different facets to these concepts. Before we can effectively measure reuse and reus...
Kelvin Choi, Ewan D. Tempero
121
Voted
ECBS
1997
IEEE
118views Hardware» more  ECBS 1997»
15 years 8 months ago
A generic system for interactive real-time animation
We present a new approach to an interactive design and analysis environment for visual languages. The main components, i.e., editor, animator, and interpreter, are introduced. The...
Marita Dücker, Georg Lehrenfeld, Wolfgang M&u...
ENTCS
2006
114views more  ENTCS 2006»
15 years 4 months ago
Prototyping SOS Meta-theory in Maude
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
Mohammad Reza Mousavi, Michel A. Reniers
SASO
2008
IEEE
15 years 10 months ago
Spatial Computing with Labels
— A reconfigurable robot is a robot that can change shape. Programming reconfigurable robots is complicated by the need to adapt the behavior of each of the individual module t...
Ulrik Pagh Schultz, Mirko Bordignon, David Johan C...
POPL
2005
ACM
16 years 4 months ago
Connecting effects and uniqueness with adoption
Abstract. In a previous paper, we discussed how the concepts of uniqueness and effects are interdependent. In this paper, we show how "Adoption and Focus," a proposal for...
John Tang Boyland, William Retert