2881 search results - page 443 / 577 » Model Checking for Programming Languages using Verisoft |
134
Voted
IIE
2007
15 years 5 months ago
2007
LOGO has been evolving in incremental steps for 40 years. This has resulted in steady progress but some regions of the space of all programming languages for children cannot be re...
137
click to vote
HICSS
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper describes an architecture for building distributed information systems from existing information resources, based on software agent and distributed object technologies....
140
click to vote
TLCA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
155
Voted
CHI
2007
ACM
15 years 9 months ago
2007
ACM
Software developers must modify their programs to keep up with changing requirements and designs. Often, a conceptually simple change can require numerous edits that are similar b...
151
click to vote
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...