4959 search results - page 145 / 992 » Imperative Functional Programming |
ACMSE
2005
ACM
15 years 4 months ago
2005
ACM
Traditionally, computer science education has considered “objects-first” or “imperative-first” approaches, with the focus of the course on teaching design of programs star...
SIGSOFT
2004
ACM
15 years 4 months ago
2004
ACM
Many software applications have a component based on database management systems in which information is generally handled through SQL queries embedded in the application code. Wh...
ENTCS
2008
14 years 11 months ago
2008
This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infini...
104
click to vote
TCS
2008
14 years 11 months ago
2008
Abstract. Cryptographic operations are essential for many security-critical systems. Reasoning about information flow in such systems is challenging because typical (noninterferenc...
129
click to vote
AMAST
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...