A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
A formal system for the specification of the syntax and translation of computer languages
1967
Proceedings of the November 14-16, 1967, fall joint computer conference on - AFIPS '67 (Fall)
Preserved Fulltext
Approaches to the formalization of the semantics of computer languages have also been made. 16 -19 Here we present a single, formal method for specifying completely the syntax and translation of a computer ...
We have used canonic systems to present a single method for specifying the syntax and translation of computer languages. ...
~: In addition to pure Backul-Naur Form, we use the brackets [ to designate any number from kl through k Z of occurrences of the enclosed expression. ...
doi:10.1145/1465611.1465685
dblp:conf/afips/DonovanL67
fatcat:l5rbywszpbbr5gwhpgl4yor5jq
The Asf+Sdf Meta-environment documentation tools for free
[chapter]
1995
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The executability of the specifications provides not only a mechanism for rapid prototyping, but also tools that can be connected to a programming environment for the language specified. ...
Introduction Algebraic specifications can be used for the specification of various aspects of programming languages. ...
The main results of this research are: -The algebraic specification formalism ASF+SDF designed especially for defining the syntax and semantics of (programming) languages [1, 4] ; -An interactive Meta-environment ...
doi:10.1007/3-540-59293-8_242
fatcat:67fl5lkaunfsbbtmuzcsvnrvoi
A Component-Based Formal Language Workbench
2019
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
It aims to significantly reduce the effort of formal language specification, and thereby encourage language developers to exploit formal semantics more widely. ...
It also considers the possibility of supporting component-based language specification in other formal language workbenches. ...
The specification includes a grammar for the (concrete and abstract) syntax of the language, and a translation equation for each alternative of the grammar. ...
doi:10.4204/eptcs.310.4
fatcat:cbfszed2p5bixi2k5ugebiocfm
Towards accessible integration and deployment of formal tools and techniques
2013
2013 3rd International Workshop on Developing Tools as Plug-Ins (TOPI)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Computer science researchers in the programming languages and formal verification communities, among others, have produced a variety of automated assistance and verification tools and techniques for formal ...
We describe Aartifact, a supporting infrastructure that makes it possible to quickly and easily assemble interacting collections of small domain-specific languages, as well as translations between those ...
Distributed System Design The aim of the Verificare project [18] is to provide a language and tools for specifying and analyzing real-world, formally disparate properties of distributed systems without ...
doi:10.1109/topi.2013.6597189
dblp:conf/icse/LapetsSBK13
fatcat:kdw5mbdt5ja7nkyjckrekswcjq
Domain-Specific Modelling for Human–Computer Interaction
[chapter]
2017
Human–Computer Interaction Series
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Domain-Specific Modelling (DSM) [12] in particular makes it possible to specify these models in a Domain-Specific Modelling Language (DSML), using concepts and notations of a specific domain. ...
The domain expert, on the other hand, has deep knowledge of the problem domain, but only a limited understanding of computer programs. ...
This work was partly funded by a PhD fellowship from the Research Foundation -Flanders (FWO) and the Agency for Innovation by Science and Technology in Flanders (IWT). ...
doi:10.1007/978-3-319-51838-1_16
fatcat:rgnd6owc4nazfj6apbsn6kgjee
Abstract interpretation
1996
ACM Computing Surveys
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
as a parameter, either that of the program to be analyzed or that of a programming language. ...
We review how the dependence upon semantics has been taken into account in abstract interpretation based program analysis and next propose to design general purpose abstract interpreters taking semantics ...
The only remaining part to be coded is a translator from concrete to abstract syntax: −− Translator −→ A[[P ]] program (abstract syntax) A
abstract
syntax
× A → S[[A]]
concrete
semantics
specification ...
doi:10.1145/234528.234740
fatcat:7sf2zvjdfrcnxmggblh7bgs6mm
Project Abstract: Logic Atlas and Integrator (LATIN)
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Logic representations formalize the syntax, proof theory, and model theory of a logic within the LATIN framework. ...
LATIN aims at developing methods, techniques, and tools for interfacing logics and related formal systems. ...
When browsing it, keep in mind that the logical framework, the formalizations in it, and the whole infrastructure processing them are ongoing work and thus subject to both constant improvement and temporary ...
doi:10.1007/978-3-642-22673-1_24
fatcat:skw4utqpw5bs7cq6wlm4nrj7jq
Abstract interpretation
2014
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
as a parameter, either that of the program to be analyzed or that of a programming language. ...
We review how the dependence upon semantics has been taken into account in abstract interpretation based program analysis and next propose to design general purpose abstract interpreters taking semantics ...
The only remaining part to be coded is a translator from concrete to abstract syntax: −− Translator −→ A[[P ]] program (abstract syntax) A
abstract
syntax
× A → S[[A]]
concrete
semantics
specification ...
doi:10.1145/2603088.2603165
dblp:conf/csl/CousotC14
fatcat:4vwvctw2bbbvhihzx6s3m6yaiy
Formal Design, Implementation and Verification of Blockchain Languages (Invited Talk)
2018
International Conference on Rewriting Techniques and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This invited paper describes recent, ongoing and planned work on the use of the rewrite-based semantic framework K to formally design, implement and verify blockchain languages and virtual machines. ...
ACM Subject Classification Security and privacy → Logic and verification, Software and its engineering → Software verification, Theory of computation → Logic and verification ...
semantics of the original language and a proof of correctness of the translation are needed for increased confidence. ...
doi:10.4230/lipics.fscd.2018.2
dblp:conf/rta/Rosu18
fatcat:nihs2v27gzapdl5gmqnsjkb5nu
Editorial
1998
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Forma1 descriptions of concurrent systems have led to research on forma1 specification languages and a need to have means for describing syntactic, semantic and pragmatic features of these languages. ...
Formal description of natural language has led to the use of proof-theoretic systems and to the investigation of their algebraic foundations. ...
doi:10.1016/s0304-3975(97)00265-x
fatcat:ratwrcnsjjearnpni3snk6da6m
An agile approach to language modelling and development
2010
Innovations in Systems and Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
A language specification consists of an unrestricted context-free grammar for the syntax of programs, together with an analysis of each language construct in terms of fundamental constructs. ...
When supported by appropriate tools, our techniques allow a more agile approach to the design, modelling, and implementation of programming and domain-specific languages. ...
Acknowledgements The authors gratefully acknowledge the useful comments and suggestions of the anonymous referees. ...
doi:10.1007/s11334-009-0111-6
fatcat:2riczavsuzcirhlmjrqiim6cg4
Page 434 of Mathematical Reviews Vol. , Issue 91A
[page]
1991
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
It turns out that ASF is not
68 COMPUTER SCIENCE 434
well suited for the complete definition of the concrete syntax of a language. ...
A similar problem is the specification of a type-checker for Mini-ML in Chapter 7 where a combination of the specification formalisms ASF and SDF is used. ...
Syntax-Tree Regular Expression Based DFA FormalConstruction
2012
Intelligent Information Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
Compiler is a program whose functionality is to translate a computer program written in source language into an equivalent machine code. ...
Formal specification of the procedure is described using Z notation and model analysis is provided using Z/Eves toolset. ...
Introduction A compiler is itself a computer program which translates computer program written in source language into an equivalent machine code. ...
doi:10.4236/iim.2012.44021
fatcat:pnn76dixeffypocegygf5zfwum
Flexible Semantics Communication in Integrated Speech/Language Architectures
[chapter]
1992
Informatik aktuell
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
In an integrated Speech/Language system several components-phonology (intonation), syntax, context model-may express meaning constraints, which the semantics module must flexibly manage and evaluate, in ...
We consider communication between modules in an integrated architecture for Speech and Natural Language (NL), in particular the communication with the semantics module. ...
Semantics in Speech/Language Systems The need for a general translation facility arises particularly in speech/language systems, in which input to the semantics module comes not only from syntax and lexicon ...
doi:10.1007/978-3-642-77809-4_36
dblp:conf/konvens/DiagneN92
fatcat:d2o2bqixqzeaxiht4vygaei3lm
A Formal Implementation Of Database Security
2008
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Formal methods plays an essential role in computer security due to its powerful expressiveness and concise syntax and semantics. ...
of the specification without compromising its originality and expressiveness. ...
The implementation of the high level specification language consists of the following stages: (1) Implementing a parser for syntax checking of the high level specification language L o . ...
doi:10.5281/zenodo.1333147
fatcat:jerrqegdyfgmbdersoa2t5libi
« Previous
Showing results 1 — 15 out of 63,018 results