114 search results - page 9 / 23 » Specialized Aspect Languages Preserving Classes of Propertie... |
104
Voted
ACTA
2007
15 years 1 months ago
2007
Abstract This paper introduces the notion of well-structured language. A wellstructured language can be defined by a labelled well-structured transition system, equipped with an u...
109
click to vote
HIPS
1998
IEEE
15 years 6 months ago
1998
IEEE
The NPAC kernel runtime, developed in the PCRC Parallel Compiler Runtime Consortium project, is a runtime library with special support for the High Performance Fortran data model....
FDL
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract. The paper proposes a simulation-based method for validating analog and mixed-signal circuits, using the hybrid systems methodology. This method builds upon RRT (Rapidly-e...
131
click to vote
SCP
1998
15 years 1 months ago
1998
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...
200
click to vote
POPL
2004
ACM
16 years 2 months ago
2004
ACM
We present a formalization of the implementation of generics in the .NET Common Language Runtime (CLR), focusing on two novel aspects of the implementation: mixed specialization a...