|
4
|
A Calculus for Imperative Programs: Formalization and Implementation
– Tudor Jebelean
|
|
1
|
Verification of Imperative Programs using Symbolic Execution and Forward Reasoning in the Theorema system Extended abstract
– Tudor Jebelean
|
|
|
A System for Assisting Transformation
– Martin S. Feather
|
|
|
Programming Languages
– B. Wegbreit
|
|
533
|
A Transformation System for Developing Recursive Programs
– R. M. Burstall, John Darlington
- 1977
|
|
|
Building Formal Models of Graphical User Interfaces
– Steve Reeves
- 1994
|
|
|
The Challenge of Hyper-Spectral Satellite Imaging and Integer-Valued Fuzzy Sets
– Maria Beltran, Vladik Kreinovich, Scott A. Starks
- 1997
|
|
|
Op'erateurs Bool'eens S'equentiels Et Logique Multivalu'ee
– Michel Billaud Labri, Michel Billaud, Universit'e Bordeaux I
|
|
|
Is The Euclidean Algorithm Optimal Among Its Peers?
– Lou Van, Lou Van Den Dries, Yiannis, Yiannis N. Moschovakis
- 2004
|
|
1
|
A Teaching and Support Tool for Building Formal Models of Graphical User-Interfaces
– Steve Reeves, Steve Reeves, Steve Reeves
- 1995
|
|
1
|
Logic Program Development Based on Typed, Moded Schemata and Data Types
– Emmanouil I. Marakakis
- 1997
|
|
2
|
D.: TerraHS: Integration of Functional Programming and Spatial Databases for GIS Application Development
– Sérgio Souza Costa, Gilberto Câmara, Danilo Palomo
- 1991
|
|
6
|
Towards the Generation of Efficient Code from Verified Programs
– John Mchugh
- 1984
|
|
|
MSc in Logic
– Karel Van Oudheusden, Alias Edgar G. Daylight
- 2009
|
|
3
|
Automatic analysis of functional program style ASWEC'96 IEEE Copyright
– Greg Michaelson
- 1996
|
|
2
|
A Purely Logical Approach to Imperative Program Verification
– Tudor Jebelean
- 2010
|
|
|
A Purely Logical Approach to the Termination of Imperative Loops
– Tudor Jebelean
|
|
|
Error Handling in Structured and Object-Oriented Programming Languages
– Thomas Aglassinger, Thomas Aglassinger
|
|
6
|
Interpreter Prototypes From Formal Language Definitions
– Gregory John Michaelson
- 1993
|
