Matrix code
Abstract
References
Recommendations
Discovering algorithms with Matrix Code
WCCCE '12: Proceedings of the Seventeenth Western Canadian Conference on Computing EducationIn first-year programming courses it is often difficult to show students how an algorithm can be discovered. In this paper we present a program format that supports the development from specification to code in small and obvious steps; that is, a ...
Inductive Completeness of Logics of Programs
We propose a new approach to delineating logics of programs, based directly on inductive definition of program semantics. The ingredients are elementary and well-known, but their fusion yields a simple yet powerful approach, surprisingly overlooked for ...
Certified assembly programming with embedded code pointers
POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languagesEmbedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known to be very hard to support well in Hoare-logic style verification systems. ...
Comments
Information & Contributors
Information
Published In
![cover image ACM Other conferences](/cms/asset/18bd4dac-ff5f-4d31-bdda-bce4d98b5caf/2370776.cover.jpg)
- General Chairs:
- Danny De Schreye,
- Gerda Janssens,
- Program Chair:
- Andy King
Sponsors
- Kuleuven Belgium: Kuleuven Belgium
In-Cooperation
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
- Kuleuven Belgium
Acceptance Rates
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 57Total Downloads
- Downloads (Last 12 months)2
- Downloads (Last 6 weeks)1
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in