Filters








63,018 Hits in 6.3 sec

A formal system for the specification of the syntax and translation of computer languages

John J. Donovan, Henry F. Ledgard
1967 Proceedings of the November 14-16, 1967, fall joint computer conference on - AFIPS '67 (Fall)  
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]

M. G. J. Brand, E. Visser
1995 Lecture Notes in Computer Science  
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

Peter D. Mosses
2019 Electronic Proceedings in Theoretical Computer Science  
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

Andrei Lapets, Rick Skowyra, Azer Bestavros, Assaf Kfoury
2013 2013 3rd International Workshop on Developing Tools as Plug-Ins (TOPI)  
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]

Simon Van Mierlo, Yentl Van Tendeloo, Bart Meyers, Hans Vangheluwe
2017 Human–Computer Interaction Series  
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

Patrick Cousot
1996 ACM Computing Surveys  
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]

Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe
2011 Lecture Notes in Computer Science  
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

Patrick Cousot, Radhia Cousot
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  
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)

Grigore Rosu, Michael Wagner
2018 International Conference on Rewriting Techniques and Applications  
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

A. Nijholt, G. Scollo
1998 Theoretical Computer Science  
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

Adrian Johnstone, Peter D. Mosses, Elizabeth Scott
2010 Innovations in Systems and Software Engineering  
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  
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

Nazir Ahmad Zafar, Fawaz Alsaade
2012 Intelligent Information Management  
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]

Abdel Kader Diagne, John Nerbonne
1992 Informatik aktuell  
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

Yun Bai
2008 Zenodo  
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