• Refine your search:
  • 
    Keyword:
    
    • JStar (5)
    • Linda-like languages (5)
    • architecture independence (5)
    • parallel programming models (5)
    • Java (4)
    • datalog (3)
    • performance optimisation (3)
    • 1712 Software (2)
    • Datalog (2)
    • FoR 0803 (Computer Software) (2)
    •   more
  • 
    Creator / Publisher:
    
    • Utting, Mark (9)
    • Weng, Min-Hsien (5)
    • Cleary, John G. (4)
    • Malik, Petra (3)
    • Cleary, J G (1)
    • Cleary, John G (1)
    • Minyi Guo (1)
    • Pavan Balaji (1)
    • Weng, M H (1)
    • Zhiyi Huang (1)
  • 
    Year
  • 
    Medium:
    
    • Online (9)
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 9 of 9 1 The JStar language philosophy Utting, Mark; Weng, Min-Hsien; Cleary, John G. - : Elsevier BV, North-Holland, 2014 BASE Show details 2 The JStar language philosophy Utting, Mark; Weng, Min-Hsien; Cleary, John G.. - : Elsevier, 2014 BASE Show details 3 The JStar language philosophy Utting, Mark; Weng, M H; Cleary, J G. - : Australian Computer Society Inc., 2013 BASE Show details 4 The JStar language philosophy Utting, Mark; Weng, Min-Hsien; Cleary, John G.. - : Association for Computing Machinery (ACM), 2013 BASE Show details 5 The JStar language philosophy Utting, Mark; Weng, Min-Hsien; Cleary, John G.. - : University of Waikato, Department of Computer Science, 2013 BASE Show details 6 The JStar language philosophy Utting, Mark; Weng, Min-Hsien; Cleary, John G.. - : The Association for Computing Machinery, 2013 BASE Show details 7 CZT: A framework for Z tools Malik, Petra; Utting, Mark. - : Springer Berlin Heidelberg, 2005 BASE Show details 8 CZT: A Framework for Z Tools Malik, Petra; Utting, Mark In: ZB 2005 (2005) BASE Show details 9 CZT: a framework for Z tools Malik, Petra; Utting, Mark. - : Springer, 2005 Abstract: The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecking, transforming and printing standard Z specifications in LATEX, Unicode or XML formats. This paper gives an overview of the CZT framework, including an introduction to its visitor design pattern that makes it possible to write new Z transformation tools in just a few lines of Java code. The paper also discusses several problems and challenges that arose when attempting to build tools based on the ISO Standard for Z. Keyword: Inheritance hierarchy; Java interface; Pattern language; Schema text; Visitor pattern URL: https://espace.library.uq.edu.au/view/UQ:8286652 BASE Hide details

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 9 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0