Home
Catalogue search
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
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
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. © Springer-Verlag Berlin Heidelberg 2005.
Keyword:
community Z tools (CZT)
;
FoR 0803 (Computer Software)
URL:
https://doi.org/10.1007/11415787_5
BASE
Hide 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
BASE
Show 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
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern