6174 search results - page 244 / 1235 » The language of social software |
197
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
NaturalJava is a prototype for an intelligent natural-languagebased user interface for creating, modifying, and examining Java programs. The interface exploits three subsystems. T...
160
click to vote
TAPSOFT
1997
Springer
15 years 10 months ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...
167
click to vote
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
In quantitative verification, system states/transitions have associated costs, and these are used to associate mean-payoff costs with infinite behaviors. In this paper, we propose ...
188
click to vote
TIC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both te...
203
click to vote
LCPC
1995
Springer
15 years 10 months ago
1995
Springer
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...