OBJ3

OBJ3 is a program specification and proof system based on order sorted equational logic. It has been successfully used for research and teaching in software design and specification, rapid prototyping, theorem proving, user interface design, and hardware verification, among other things. It was the first language to implement parameterized programming and its module system influenced the designs of the Ada, C++, and ML module systems. (Source: http://freecode.com/)


References in zbMATH (referenced in 121 articles )

Showing results 1 to 20 of 121.
Sorted by year (citations)

1 2 3 ... 5 6 7 next

  1. Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José: A modular order-sorted equational generalization algorithm (2014)
  2. Bertolissi, Clara; Fernández, Maribel: A metamodel of access control for distributed environments: applications and properties (2014)
  3. Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luís S.: The role of logical interpretations in program development (2014)
  4. Ţuţu, Ionuţ: Parameterisation for abstract structured specifications (2014)
  5. Rabe, Florian; Kohlhase, Michael: A scalable module system (2013)
  6. Diaconescu, Răzvan: An axiomatic approach to structuring specifications (2012)
  7. Futatsugi, Kokichi; Găină, Daniel; Ogata, Kazuhiro: Principles of proof scores in CafeOBJ (2012)
  8. Meseguer, José: Twenty years of rewriting logic (2012)
  9. Diaconescu, Răzvan; Ţuţu, Ionuţ: On the algebra of structured specifications (2011)
  10. Alarcón, Beatriz; Gutiérrez, Raúl; Lucas, Salvador: Context-sensitive dependency pairs (2010)
  11. Alpuente, M.; Escobar, S.; Gramlich, B.; Lucas, S.: On-demand strategy annotations revisited: an improved on-demand evaluation strategy (2010)
  12. Diaconescu, Răzvan: Quasi-Boolean encodings and conditionals in algebraic specification (2010)
  13. Durán, Francisco; Meseguer, José: A Church-Rosser checker tool for conditional order-sorted equational Maude specifications (2010)
  14. Roşu, Grigore; Şerbănuţă, Traian Florin: An overview of the K semantic framework (2010)
  15. Shankar, Natarajan: Rewriting, inference, and proof (2010)
  16. Alarcón, Beatriz; Lucas, Salvador: Using context-sensitive rewriting for proving innermost termination of rewriting (2009)
  17. Alarcón, Beatriz; Lucas, Salvador: Using context-sensitive rewriting for proving innermost termination of rewriting (2009)
  18. Alpuente, María; Escobar, Santiago; Meseguer, José; Ojeda, Pedro: Order-sorted generalization (2009)
  19. Diaconescu, Răzvan: An encoding of partial algebras as total algebras (2009)
  20. Durán, Francisco; Lucas, Salvador; Meseguer, José: Methods for proving termination of rewriting-based programming languages by transformation (2009)

1 2 3 ... 5 6 7 next