Skip header Section
Skip Bibliometrics Section
Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA ProgramsNovember 1990
- Author:
- David C. Luckham
Abstract
No abstract available.
Cited By
Findler R and Felleisen M (2013). ICFP 2002, ACM SIGPLAN Notices, 48:4S, (34-45), Online publication date: 9-Jul-2013.- Hatcliff J, Leavens G, Leino K, Müller P and Parkinson M (2012). Behavioral interface specification languages, ACM Computing Surveys (CSUR), 44:3, (1-58), Online publication date: 1-Jun-2012.
- Urban S, Courter A, Gao L and Shuman M Supporting data consistency in concurrent process execution with assurance points and invariants Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web, (140-154)
- Knowles K and Flanagan C (2010). Hybrid type checking, ACM Transactions on Programming Languages and Systems, 32:2, (1-34), Online publication date: 1-Jan-2010.
- Briggs D and Alagić S Algebraic specification techniques for parametric types with logic-based constraints Proceedings of the 2009 ACM symposium on Applied Computing, (1890-1897)
- Strickland T and Felleisen M Nested and dynamic contract boundaries Proceedings of the 21st international conference on Implementation and application of functional languages, (141-158)
- Flanagan C Hybrid type checking Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (245-256)
- Flanagan C (2006). Hybrid type checking, ACM SIGPLAN Notices, 41:1, (245-256), Online publication date: 12-Jan-2006.
- Clarke L and Rosenblum D (2006). A historical perspective on runtime assertion checking in software development, ACM SIGSOFT Software Engineering Notes, 31:3, (25-37), Online publication date: 1-May-2006.
- Perry F, Jia L and Walker D Expressing heap-shape contracts in linear logic Proceedings of the 5th international conference on Generative programming and component engineering, (101-110)
- Baresi L and Guinea S Towards dynamic monitoring of WS-BPEL processes Proceedings of the Third international conference on Service-Oriented Computing, (269-282)
- Baresi L, Guinea S and Plebani P WS-Policy for service monitoring Proceedings of the 6th international conference on Technologies for E-Services, (72-83)
- Baresi L, Ghezzi C and Guinea S Smart monitors for composed services Proceedings of the 2nd international conference on Service oriented computing, (193-202)
- Barnett M, Leino K and Schulte W The spec# programming system Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, (49-69)
- Findler R and Felleisen M Contracts for higher-order functions Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, (48-59)
- Findler R and Felleisen M (2002). Contracts for higher-order functions, ACM SIGPLAN Notices, 37:9, (48-59), Online publication date: 17-Sep-2002.
- Webber A What is a class invariant? Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, (86-89)
- Antoy S and Hamlet D (2000). Automatically Checking an Implementation against Its Formal Specification, IEEE Transactions on Software Engineering, 26:1, (55-69), Online publication date: 1-Jan-2000.
- Cook J and Dage J Highly reliable upgrading of components Proceedings of the 21st international conference on Software engineering, (203-212)
- Cook J Assertions for the Tcl language Proceedings of the 5th conference on Annual Tcl/Tk Workshop 1997 - Volume 5, (10-10)
- Luckham D, Kenney J, Augustin L, Vera J, Bryan D and Mann W (1995). Specification and Analysis of System Architecture Using Rapide, IEEE Transactions on Software Engineering, 21:4, (336-355), Online publication date: 1-Apr-1995.
- Luckham D and Vera J (1995). An Event-Based Architecture Definition Language, IEEE Transactions on Software Engineering, 21:9, (717-734), Online publication date: 1-Sep-1995.
- Bloom B Structured operational semantics as a specification language Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (107-117)
- Howden W and Wieand B (2019). QDA - A Method for Systematic Informal Program Analysis, IEEE Transactions on Software Engineering, 20:6, (445-462), Online publication date: 1-Jun-1994.
- Sankar S and Mandal M (2019). Concurrent Runtime Monitoring of Formally Specified Programs, Computer, 26:3, (32-41), Online publication date: 1-Mar-1993.
- Tracz W Parametrized programming in LILEANNA Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice, (77-86)
- Rosenblum D Towards a method of programming with assertions Proceedings of the 14th international conference on Software engineering, (92-104)
- Sankar S, Luckham D and Mann W The use of anna specification technology in ada software development Introduction to Ada: Tri-Ada '91 Tutorial, (153-246)
- Jackson D Aspect Proceedings of the 13th international conference on Software engineering, (13-22)
- Belz F and Luckham D A new approach to prototyping Ada-based hardware/software systems Proceedings of the conference on TRI-ADA '90, (141-155)
Recommendations
Executing Formal Specifications with Concurrent Constraint Programming
We have implemented a technique for execution of formal, model-based specifications. The specifications we can execute are written at a level of abstraction that is close to that used in nonexecutable specifications. The specification abstractions ...
Protective Interface Specifications
Abstract.The interface specification of a procedure describes the procedure's behaviour using pre- and postconditions. These pre- and postconditions are written using various functions. If some of these functions are partial, or underspecified, then the ...