923 search results - page 51 / 185 » Factorizing Languages |
POS
1994
Springer
15 years 1 months ago
1994
Springer
We consider some issues in optimizing persistent programming languages. In particular, we show how to express optimizations of object residency checks in strongly typed persistent...
125
click to vote
CEFP
2007
Springer
15 years 3 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
ICSE
2008
IEEE-ACM
15 years 9 months ago
2008
IEEE-ACM
The visualizations of the Whyline are presented, which focus on supporting the exploration a source code and how it executes. The visualization is concise, simple to navigate, and...
ELPUB
2003
ACM
15 years 3 months ago
2003
ACM
Design is a way of communication and expression. Words, shapes and images are a language and all together contribute to an effective communication. Designers and creative media la...
CAV
2012
Springer
13 years 5 days ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...