2881 search results - page 225 / 577 » Model Checking for Programming Languages using Verisoft |
152
click to vote
PPDP
2005
Springer
15 years 12 months ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...
192
click to vote
HPCC
2007
Springer
16 years 18 days ago
2007
Springer
Many new Partitioned Global Address Space (PGAS) programming languages have recently emerged and are becoming ubiquitously available on nearly all modern parallel architectures. PG...
173
click to vote
ENTCS
2008
15 years 6 months ago
2008
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
154
click to vote
WWW
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents an end-user-oriented programming environment called Mashroom. Major contributions herein include an end-user programming model with an expressive data structur...
187
click to vote
VC
2002
15 years 6 months ago
2002
Implicit surface modeling systems have been used since the mid-1980s for the generation of cartoon-like characters. Recently implicit models combined with constructive solid geome...