Results 301 to 303 of about 24,130 (303)
Some of the next articles are maybe not open access.

Imperative Specification Programming

2007
openaire   +1 more source

Transforming imperative programs

2015
openaire   +1 more source

Verification of Logic Programs and Imperative Programs.

openaire  
mathematics
computer science - programming languages
fos: computer and information sciences
programming languages cs.pl
functional programming
operational semantics
computer science - logic in computer science
programming languages
previous   29  30  31  

Home - About - Disclaimer - Privacy