166 search results - page 18 / 34 » Formal Methods: Theory Becoming Practice |
ENTCS
2008
14 years 9 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...
74
Voted
CHI
2009
ACM
15 years 10 months ago
2009
ACM
The development of computer-based devices for music control has created a need to study how spectators understand new performance technologies and practices. As a part of a larger...
107
click to vote
DALT
2007
Springer
14 years 11 months ago
2007
Springer
Online dispute resolution is becoming the main method when dealing with a conflict in e-commerce. A family of defeasible reasoning patterns is used to provide a useful link betwee...
186
Voted
POPL
2008
ACM
15 years 10 months ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
CADE
2001
Springer
15 years 10 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...