1147 search results - page 116 / 230 » Termination in language-based systems |
104
click to vote
ENTCS
2006
15 years 23 days ago
2006
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...
192
Voted
POPL
2001
ACM
16 years 1 months ago
2001
ACM
We present a type system for a language based on F, which allows certain type annotations to be elided in actual programs. Local type inference determines types by a combination o...
74
Voted
OOPSLA
2007
Springer
15 years 7 months ago
2007
Springer
The advent of domain-specific modeling in enterprise systems development has given rise to new tool requirements. Existing tools do not offer sufficient modeling guidance or inc...
89
Voted
SOCO
2005
Springer
15 years 6 months ago
2005
Springer
The programming languages of today are stuck in a deep rut that has developed over the past 50 years. Although we are faced with new challenges posed by enormous advances in hardwa...
107
Voted
COORDINATION
2004
Springer
15 years 6 months ago
2004
Springer
A development environment for applications specified in an extended version of a previously developed coordination model based on associatively broadcast interactions is presented....