Preliminary Report on the Specification and Programming Language Abel (original) (raw)
Related papers
A language-independent approach to specification construction
ACM SIGSOFT Software Engineering Notes, 1994
Spectur--A Specification Language for the Programmer
1990
Lecture Notes in Computer Science, 1991
On the Development of Correct Specified Programs
IEEE Transactions on Software Engineering, 2000
Programming with Specifications
1990
Ensuring specification correctness by construction
2006
A case study in specifying the semantics of a programming language
Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '80, 1980
From English to Formal Specifications
The Computer Journal, 1994
Building specifications in an arbitrary institution
Lecture Notes in Computer Science, 1984
An Approach to Formal Human-Oriented Specifications of Programming Languages
Formal semantics and the logical structure of programming languages
Programming in a wide spectrum language: a collection of examples
Science of Computer Programming, 1981
IJERT-Z Formal Specification Language -An Overview
International Journal of Engineering Research and Technology (IJERT), 2014
COMPUTABILITY IN SPECIFICATION
LEX: a case study in development and validation of formal specifications
2005
CAMILA: Prototyping and Refinement of Constructive Specifications
1997
Science of Computer Programming, 1989
A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages
Electronic Proceedings in Theoretical Computer Science
Developing Specifications by using Operators: a Process to guarantee correctness by construction
2006
The formal semantics of programming languages: an introduction
Choice Reviews Online
Comparing Formal Specification
Semantics of Programming Languages
2016
Definitive principles and the specification of software
Mind the gap! Abstract versus concrete models of specifications
Lecture Notes in Computer Science, 1996
Towards a method of programming with assertions
Proceedings of the 14th international conference on Software engineering - ICSE '92, 1992
Wiley Encyclopedia of Computer Science and Engineering, 2009
A Program Design Language for software engineering
Sigplan Notices, 1984
Introduction: Development of Computer Languages and Software
Computer Languages
A Logical Programming Language
2012